Publications by Dr Carlos Molina-Jimenez - ePrints

Browsing publications by Dr Carlos Molina-Jimenez.

Newcastle Authors	Title	Year
Dr Carlos Molina-Jimenez Dr Ellis Solaiman Dr Ioannis Sfyrakis	On and Off-Blockchain Enforcement Of Smart Contracts	2019
Dr Carlos Molina-Jimenez Dr Ioannis Sfyrakis Dr Ellis Solaiman	Implementation of Smart Contracts Using Hybrid Architectures with On and Off–Blockchain Components	2018
Dr Carlos Molina-Jimenez Dr Ellis Solaiman Dr Ioannis Sfyrakis	On and Off-Blockchain Enforcement Of SmartContracts	2018
Dr Ellis Solaiman Dr Ioannis Sfyrakis Dr Carlos Molina-Jimenez	A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts	2016
Dr Ellis Solaiman Dr Ioannis Sfyrakis Dr Carlos Molina-Jimenez	High Level Model Checker Based Testing Of Electronic Contracts	2016
Dr Ellis Solaiman Dr Ioannis Sfyrakis Dr Carlos Molina-Jimenez	High Level Model Checker Based Testing Of Electronic Contracts	2016
Dr Ellis Solaiman Dr Carlos Molina-Jimenez	A Tool for the Automatic Verification of BPMN Choreographies	2015
Dr Ellis Solaiman Dr Carlos Molina-Jimenez	A Tool for the Automatic Verification of BPMN Choreographies	2015
Dr Ellis Solaiman Dr Ioannis Sfyrakis Dr Carlos Molina-Jimenez	Dynamic Testing and Deployment of a Contract Monitoring Service	2015
Dr Ellis Solaiman Dr Ioannis Sfyrakis Dr Carlos Molina-Jimenez	Dynamic Testing and Deployment of a Contract Monitoring Service	2015
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	An Architecture for Negotiation and Enforcement of Resource Usage Policies	2013
Ahmed Mihoob Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Consumer-centric resource accounting in the cloud	2013
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Establishing Conformance Between Contracts and Choreographies	2013
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Establishing Conformance Between Contracts and Choreographies	2013
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Massimo Strano	A Model for Checking Contractual Compliance of Business Interactions	2012
Dr Carlos Molina-Jimenez	A proposal to detect errors in Enterprise Application Integration solutions	2012
Ahmed Mihoob Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Consumer-centric Resource Accounting in the Cloud	2012
Abubkr Abdelsadiq Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A High–Level Model–Checking Tool for Verifying Electronic Contracts	2011
Abukr Abdelsadiq Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A High–Level Model–Checking Tool for Verifying Service Agreements	2011
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Stuart Wheater	An Architecture for Negotiation and Enforcement of Resource Usage Policies	2011
Ahmed Mihoob Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Consumer Side Resource Accounting in the Cloud	2011
Ahmed Mihoob Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Consumer Side Resource Accounting in the Cloud	2011
Ahmed Mihoob Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A case for consumer-centric resource accounting models	2010
Ahmed Mihoob Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A Case for Consumer–centric Resource Accounting Models	2010
Ahmed Mihoob Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A Case for Consumer–centric Resource Accounting Models	2010
Abukr Abdelsadiq Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	On Model Checker Based Testing of Electronic Contracting Systems	2010
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Massimo Strano	Exception handling in electronic contracting	2009
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Massimo Strano	Exception Handling in Electronic Contracting	2009
Dr Massimo Strano Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Implementing a Rule-Based Contract Compliance Checker	2009
Dr Massimo Strano Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Implementing a Rule-Based Contract Compliance Checker	2009
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Model checking correctness properties of a middleware service for contract compliance	2009
Dr Carlos Molina-Jimenez Dr Nick Cook Emeritus Professor Santosh Shrivastava	On the feasibility of bilaterally agreed accounting of resource consumption	2009
Dr Carlos Molina-Jimenez	Towards a fault-tolerant architecture for enterprise application integration solutions	2009
Dr Massimo Strano Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A Model for Checking Contractual Compliance of Business Operations	2008
Dr Massimo Strano Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A Rule-based Notation to Specify Executable Electronic Contracts	2008
Dr Massimo Strano Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	A Rule-Based Notation to Specify Executable Electronic Contracts	2008
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Nick Cook	Implementing business conversations with consistency guarantees using message-oriented middleware	2007
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	On Contract Compliant Business Process Coordination	2007
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Maintaining consistency between loosely coupled services in the presence of timing constraints and validation errors	2006
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Simon Woodman	On State Synchronization of Business Conversations	2006
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava John Warne	A Method for Specifying Contract Mediated Interactions	2005
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava John Warne	A method for specifying contract mediated interactions	2005
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava John Warne	A Method for Specifying Contract Mediated Interactions	2005
Professor Graham Morgan Dr Simon Parkin Dr Carlos Molina-Jimenez	Monitoring Middleware for Service Level Agreements in Heterogeneous Environments	2005
Dr Carlos Molina-Jimenez Professor Aad van Moorsel	The Role of Agreements in IT Management Software	2005
Dr Carlos Molina-Jimenez Professor Aad van Moorsel	The role of agreements in IT management software	2005
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	On the monitoring of contractual service level agreements	2004
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	On the Monitoring of Contractual Service Level Agreements	2004
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	On the Monitoring of Contractual Service Level Agreements	2004
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Ellis Solaiman John Warne	Run-time monitoring and enforcement of electronic contracts	2004
Emeritus Professor Lindsay Marshall Dr Carlos Molina-Jimenez	Anonymity with Identity Escrow	2003
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Ellis Solaiman John Warne	Contract Representation for Run-time Monitoring and Enforcement	2003
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Ellis Solaiman John Warne	Contract Representation for Run-time Monitoring and Enforcement	2003
Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava Dr Ellis Solaiman John Warne	Contract Representation for Run-time Monitoring and Enforcement	2003
Dr Ellis Solaiman Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Model Checking Correctness Properties of Electronic Contracts	2003
Dr Ellis Solaiman Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Model Checking Correctness Properties of Electronic Contracts	2003
Dr Ellis Solaiman Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Model checking correctness properties of electronic contracts	2003
Dr Ellis Solaiman Dr Carlos Molina-Jimenez Emeritus Professor Santosh Shrivastava	Model Checking Correctness Properties of Electronic Contracts	2003
Dr Carlos Molina-Jimenez Emeritus Professor Lindsay Marshall	Anonymous and Confidential Communications from an IP Addressless Computer	2001
Dr Carlos Molina-Jimenez Emeritus Professor Lindsay Marshall	True Anonymity Without Mixes	2001
Dr Carlos Molina-Jimenez Emeritus Professor Lindsay Marshall	True Anonymity Without Mixes	2001
Dr Carlos Molina-Jimenez Emeritus Professor Lindsay Marshall	True Anonymity Without Mixes	2001
Dr Carlos Molina-Jimenez Emeritus Professor Lindsay Marshall	Untraceability of mobile Internet users	2001
Dr Carlos Molina-Jimenez Emeritus Professor Lindsay Marshall	Untraceability of Mobile Internet Users	2001
Dr Carlos Molina-Jimenez	Anonymous and Confidential Communication using PDAs [PhD Thesis]	2000
Emeritus Professor Lindsay Marshall Dr Carlos Molina-Jimenez	Anonymous and confidential communications from an IP addressless computer	1999
Dr Carlos Molina-Jimenez Emeritus Professor Lindsay Marshall	Anonymous and Confidential Communications from an IP Addressless Computer	1999
Dr Carlos Molina-Jimenez Emeritus Professor Lindsay Marshall	Anonymous and confidential communications from an IP addressless computer	1999