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
802004
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
652003
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
622004
Model checking correctness properties of electronic contracts
E Solaiman, C Molina-Jimenez, S Shrivastav
International Conference on Service-Oriented Computing, 303-318, 2003
462003
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
362011
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
322010
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
282018
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
282017
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
262005
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
242012
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
242007
Implementing a rule-based contract compliance checker
M Strano, C Molina-Jimenez, S Shrivastava
Conference on e-Business, e-Services and e-Society, 96-111, 2009
232009
A rule-based notation to specify executable electronic contracts
M Strano, C Molina-Jimenez, S Shrivastava
International Workshop on Rules and Rule Markup Languages for the Semantic …, 2008
222008
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
222005
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
212006
On and off-blockchain enforcement of smart contracts
C Molina-Jimenez, E Solaiman, I Sfyrakis, I Ng, J Crowcroft
European Conference on Parallel Processing, 342-354, 2018
202018
Exception handling in electronic contracting
C Molina-Jimenez, S Shrivastava, M Strano
2009 IEEE Conference on Commerce and Enterprise Computing, 65-73, 2009
192009
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
172015
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
132018
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
132011
The system can't perform the operation now. Try again later.
Articles 1–20