Follow
Carlos Molina-Jimenez
Carlos Molina-Jimenez
Senior Research Associate, Computer Laboratory, University of Cambridge
Verified email at cl.cam.ac.uk - Homepage
Title
Cited by
Cited by
Year
On the monitoring of contractual service level agreements
C Molina-Jimenez, S Shrivastava, J Crowcroft, P Gevros
Proceedings. First IEEE International Workshop on Electronic Contracting …, 2004
902004
Run-time monitoring and enforcement of electronic contracts
C Molina-Jimenez, S Shrivastava, E Solaiman, J Warne
Electronic Commerce Research and Applications 3 (2), 108-125, 2004
722004
Contract representation for run-time monitoring and enforcement
C Molina-Jimenez, S Shrivastava, E Solaiman, J Warne
EEE International Conference on E-Commerce, 2003. CEC 2003., 103-110, 2003
702003
Implementation of smart contracts using hybrid architectures with on and off–blockchain components
C Molina-Jimenez, I Sfyrakis, E Solaiman, I Ng, MW Wong, A Chun, ...
2018 IEEE 8th International Symposium on Cloud and Service Computing (SC2 …, 2018
682018
Picasso: A lightweight edge computing platform
A Lertsinsrubtavee, A Ali, C Molina-Jimenez, A Sathiaseelan, J Crowcroft
2017 IEEE 6th International Conference on Cloud Networking (CloudNet), 1-7, 2017
582017
On and off-blockchain enforcement of smart contracts
C Molina-Jimenez, E Solaiman, I Sfyrakis, I Ng, J Crowcroft
Euro-Par 2018: Parallel Processing Workshops: Euro-Par 2018 International …, 2019
562019
Model checking correctness properties of electronic contracts
E Solaiman, C Molina-Jimenez, S Shrivastav
Service-Oriented Computing-ICSOC 2003: First International Conference …, 2003
482003
A model for checking contractual compliance of business interactions
C Molina-Jimenez, S Shrivastava, M Strano
IEEE Transactions on Services Computing 5 (2), 276-289, 2011
472011
A proposal to detect errors in Enterprise Application Integration solutions
RZ Frantz, R Corchuelo, C Molina-Jiménez
Journal of Systems and Software 85 (3), 480-497, 2012
412012
A case for consumer–centric resource accounting models
A Mihoob, C Molina-Jimenez, S Shrivastava
2010 IEEE 3rd International Conference on Cloud Computing, 506-512, 2010
352010
Connecting the edges: A universal, mobile-centric, and opportunistic communications architecture
CA Sarros, S Diamantopoulos, S Rene, I Psaras, A Lertsinsrubtavee, ...
IEEE Communications Magazine 56 (2), 136-143, 2018
332018
A method for specifying contract mediated interactions
C Molina-Jimenez, S Shrivastava, J Warne
Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05), 106-115, 2005
302005
Implementing a rule-based contract compliance checker
M Strano, C Molina-Jimenez, S Shrivastava
Software Services for e-Business and e-Society: 9th IFIP WG 6.1 Conference …, 2009
272009
Implementing business conversations with consistency guarantees using message-oriented middleware
C Molina-Jimenez, S Shrivastava, N Cook
11th IEEE International Enterprise Distributed Object Computing Conference …, 2007
262007
A rule-based notation to specify executable electronic contracts
M Strano, C Molina-Jimenez, S Shrivastava
Rule Representation, Interchange and Reasoning on the Web: International …, 2008
242008
Cost estimation of service delivery in cloud computing
S Aminullah, C Molina-Jimenez
Internet Technologies and Enterprise Computing, 2012
232012
Maintaining consistency between loosely coupled services in the presence of timing constraints and validation errors
C Molina-Jimenez, S Shrivastava
2006 European Conference on Web Services (ECOWS'06), 148-160, 2006
232006
Monitoring middleware for service level agreements in heterogeneous environments
G Morgan, S Parkin, C Molina-Jimenez, J Skene
Challenges of Expanding Internet: E-Commerce, E-Business, and E-Government …, 2005
232005
A tool for the automatic verification of bpmn choreographies
E Solaiman, W Sun, C Molina-Jimenez
2015 IEEE international conference on services computing, 728-735, 2015
222015
A high-level model-checking tool for verifying service agreements
A Abdelsadiq, C Molina-Jimenez, S Shrivastava
Proceedings of 2011 IEEE 6th international symposium on service oriented …, 2011
192011
The system can't perform the operation now. Try again later.
Articles 1–20