Staff - Computing Science - Newcastle University

Dr Carlos Molina-Jimenez
Senior Research Associate

Email: carlos.molina@ncl.ac.uk
Telephone: +44 (0) 191 222 5149

Publications

Molina-Jimenez C, Shrivastava S, Strano M. A Model for Checking Contractual Compliance of Business Interactions. IEEE Transactions on Services Computing 2012, (epub ahead of print).
Frantz RZ, Corchuelo R, Molina-Jimenez C. A proposal to detect errors in Enterprise Application Integration solutions. Journal of Systems and Software 2012, 85(3), 480-497.
Mihoob A, Molina-Jimenez C, Shrivastava S. Consumer-centric Resource Accounting in the Cloud. Newcastle upon Tyne: School of Computing Science, University of Newcastle, 2012. School of Computing Science Technical Report Series 1318.
Abdelsadiq A, Molina-Jimenez C, Shrivastava SK. A High–Level Model–Checking Tool for Verifying Service Agreements. In: The 6th IEEE International Symposium on Service-Oriented System Engineering (SOSE 2011). 2011, Irvine, CA: IEEE Computer Society.
Molina-Jimenez C, Shrivastava SK, Wheater SM. An Architecture for Negotiation and Enforcement of Resource Usage Policies. In: IEEE International Conference on Service Oriented Computing & Applications (SOCA). 2011, Irvine, California, USA: IEEE.
Mihoob A, Molina-Jimenez C, Shrivastava SK. Consumer Side Resource Accounting in the Cloud. In: 11th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2011. 2011, Kaunas, Lithuania: Springer.
Mihoob A, Molina-Jimenez C, Shrivastava S. A case for consumer-centric resource accounting models. In: 3rd International Conference on Cloud Computing (CLOUD). 2010, Miami, Florida, USA: IEEE.
Abdelsadiq A, Molina-Jimenez C, Shrivastava S. On Model Checker Based Testing of Electronic Contracting Systems. In: IEEE International Conference on Commerce and Enterprise Computing (CEC 2010). 2010, Shanghai, China: IEEE.
Molina-Jimenez C, Shrivastava S, Strano M. Exception Handling in Electronic Contracting. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1149.
Strano M, Molina-Jimenez C, Shrivastava S. Implementing a Rule-Based Contract Compliance Checker. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2009. School of Computing Science Technical Report Series 1150.
Strano M, Molina-Jimenez C, Shrivastava S. Implementing a Rule-Based Contract Compliance Checker. In: Software Services for e-Business and e-Society: 9th IFIP WG 6.1 Conference on e-Business, e-Services and e-Society (I3E). 2009, Nancy, France: Springer.
Molina-Jimenez C, Cook N, Shrivastava S. On the feasibility of bilaterally agreed accounting of resource consumption. In: Service-Oriented Computing: International Workshops. 2009, Sydney, Australia: Springer.
Frantz R, Corchuelo R, Molina-Jimenez C. Towards a fault-tolerant architecture for enterprise application integration solutions. In: On the Move to Meaningful Internet Systems: OTM. 2009, Springer.
Strano M, Molina-Jimenez C, Shrivastava S. A Model for Checking Contractual Compliance of Business Operations. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1094.
Strano M, Molina-Jimenez C, Shrivastava S. A Rule-Based Notation to Specify Executable Electronic Contracts. In: Rule Representation, Interchange and Reasoning on the Web. International Symposium (RuleML). 2008, Orlando, Florida, USA: Springer-Verlag.
Strano M, Molina-Jimenez C, Shrivastava S. A Rule-based Notation to Specify Executable Electronic Contracts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2008. School of Computing Science Technical Report Series 1115.
Molina-Jimenez C, Shrivastava S, Cook N. Implementing business conversations with consistency guarantees using message-oriented middleware. In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007). 2007, Annapolis, Maryland, USA: IEEE Computer Society.
Molina-Jimenez C, Shrivastava S. On Contract Compliant Business Process Coordination. In: NWPT'07/FLACOS'07 Workshop Proceedings. 2007, Oslo, Norway: Universitetet i Oslo, Institutt for informatikk.
Molina-Jimenez C, Shrivastava S. Maintaining consistency between loosely coupled services in the presence of timing constraints and validation errors. In: Fourth IEEE European Conference on Web Services (ECOWS). 2006, Zurich, Switzerland: IEEE.
Molina-Jimenez C, Shrivastava SK, Woodman SJ. On State Synchronization of Business Conversations. In: 8th IEEE International Conference on E-Commerce and Technology (CEC). 2006, San Francisco, California: IEEE Computer Society.
Molina-Jimenez C, Shrivastava SK, Warne J. A Method for Specifying Contract Mediated Interactions. In: 9th IEEE International EDOC Enterprise Computing Conference. 2005, Enschede, The Netherlands: IEEE Computer Society.
Molina-Jimenez C, Shrivastava SK, Warne JP. A Method for Specifying Contract Mediated Interactions. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2005. School of Computing Science Technical Report Series 914.
Morgan G, Parkin S, Molina-Jimenez C, Skene J. Monitoring Middleware for Service Level Agreements in Heterogeneous Environments. In: Challenges of Expanding Internet: E-Commerce, E-Business, and E-Government. 5th IFIP Conference on e-Commerce, e-Business, and e-Government (I3E). 2005, Poznan, Poland: Springer.
Molina-Jimenez C, Pruyne J, van Moorsel A. The Role of Agreements in IT Management Software. In: de Lemos, R., Gacek, C., Romanovsky, A., ed. Architecting Dependable Systems III. Berlin: Springer, 2005, pp. 36-58.
Molina-Jimenez C, Shrivastava S, Crowcroft J, Gevros P. On the Monitoring of Contractual Service Level Agreements. In: IEEE Conference on Electronic Commerce CEC\'04, The First IEEE International Workshop on Electronic Contracting (WEC). 2004, San Diego, CA, USA: IEEE Computer Society.
Molina-Jimenez C, Shrivastava SK, Crowcroft J, Gevros P. On the Monitoring of Contractual Service Level Agreements. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2004. School of Computing Science Technical Report Series 835.
Molina-Jimenez C, Shrivastava SK, Solaiman EM, Warne JP. Run-time monitoring and enforcement of electronic contracts. Electronic Commerce Research and Applications 2004, 3(2), 108-125.
Marshall LF, Molina-Jiminez C. Anonymity with Identity Escrow. In: 1st International Workshop on Formal Aspects in Security and Trust. 2003, Pisa: Istituto di Informatica e Telematica.
Molina-Jimenez C, Shrivastava SK, Solaiman E, Warne JP. Contract Representation for Run-time Monitoring and Enforcement. In: 2003 IEEE International Conference on E-Commerce (CEC 2003). 2003, Newport Beach, California, USA: IEEE Computer Society Press.
Molina-Jimenez C, Shrivastava SK, Solaiman E, Warne JP. Contract Representation for Run-time Monitoring and Enforcement. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 810.
Solaiman E, Molina-Jimenez C, Shrivastava SK. Model Checking Correctness Properties of Electronic Contracts. In: International Conference on Service Oriented Computing (ICSOC03). 2003, Trento, Italy: Springer.
Solaiman E, Molina-Jimenez C, Shrivastava SK. Model Checking Correctness Properties of Electronic Contracts. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2003. School of Computing Science Technical Report Series 811.
Molina C, Marshall LF. Anonymous and Confidential Communications from an IP Addressless Computer. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 728.
Molina-Jiménez C, Marshall LF. True Anonymity Without Mixes. In: WIAPP: the Second IEEE Workshop on Internet Applications. 2001, San Jose, CA, USA: IEEE Computer Society Press.
Molina C, Marshall LF. True Anonymity Without Mixes. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 727.
Molina C, Marshall LF. Untraceability of Mobile Internet Users. Newcastle upon Tyne: Department of Computing Science, University of Newcastle upon Tyne, 2001. Department of Computing Science Technical Report Series 742.
Molina-Jiménez C. Anonymous and Confidential Communication using PDAs [PhD Thesis]. Newcastle upon Tyne: University of Newcastle upon Tyne, 2000. Department of Computing Science.
Marshall LF, Molina-Jimenez C. Anonymous and confidential communications from an IP addressless computer. In: Handheld and Ubiquitous Computing: Proceedings of the First International Symposium. 1999, Karlsruhe, Germany: Springer-Verlag.
Molina C, Marshall LF. Anonymous and Confidential Communications from an IP Addressless Computer. In: International Symposium on Handheld and Ubiquitous Computing (HUC '99). 1999, Karlsruhe, Germany: Springer.

Newcastle University

Computing Science

Dr Carlos Molina-Jimenez Senior Research Associate

Dr Carlos Molina-Jimenez
Senior Research Associate