19
Publications
480
Citations
13
H-Index
2003
Active since
Affiliations
Carlos Molina-Jiménez is an author at Newcastle University specializing in engineering, systems engineering, and formal verification.
Top concepts
EngineeringSystems EngineeringComputer ScienceFormal VerificationCloud ComputingInformation SecuritySoftware EngineeringVerificationSoftware DesignLaw
Publications per year
2003–2018
19
19
On the monitoring of contractual service level agreements
Carlos Molina-Jiménez, Santosh Shrivastava, Jon Crowcroft et al. · 2004 · 56 citations
Contract representation for run-time monitoring and enforcement
Carlos Molina-Jiménez, Santosh Shrivastava, Ellis Solaiman et al. · 2003 · 51 citations
PiCasso: A lightweight edge computing platform
Adisorn Lertsinsrubtavee, Anwaar Ali, Carlos Molina-Jiménez et al. · 2017 · 48 citations
Rows per page
1–5 of 19