Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Carlos Molina-Jimenez.

Newcastle AuthorsTitleYearFull text
Dr Carlos Molina-Jimenez
Dr Ellis Solaiman
Dr Ioannis Sfyrakis
On and Off-Blockchain Enforcement Of Smart Contracts2019
Dr Carlos Molina-Jimenez
Dr Ioannis Sfyrakis
Dr Ellis Solaiman
Implementation of Smart Contracts Using Hybrid Architectures with On and Off–Blockchain Components2018
Dr Carlos Molina-Jimenez
Dr Ellis Solaiman
Dr Ioannis Sfyrakis
On and Off-Blockchain Enforcement Of SmartContracts2018
Dr Ellis Solaiman
Dr Ioannis Sfyrakis
Dr Carlos Molina-Jimenez
A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts2016
Dr Ellis Solaiman
Dr Ioannis Sfyrakis
Dr Carlos Molina-Jimenez
High Level Model Checker Based Testing Of Electronic Contracts2016
Dr Ellis Solaiman
Dr Ioannis Sfyrakis
Dr Carlos Molina-Jimenez
High Level Model Checker Based Testing Of Electronic Contracts2016
Dr Ellis Solaiman
Dr Carlos Molina-Jimenez
A Tool for the Automatic Verification of BPMN Choreographies2015
Dr Ellis Solaiman
Dr Carlos Molina-Jimenez
A Tool for the Automatic Verification of BPMN Choreographies2015
Dr Ellis Solaiman
Dr Ioannis Sfyrakis
Dr Carlos Molina-Jimenez
Dynamic Testing and Deployment of a Contract Monitoring Service2015
Dr Ellis Solaiman
Dr Ioannis Sfyrakis
Dr Carlos Molina-Jimenez
Dynamic Testing and Deployment of a Contract Monitoring Service2015
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
An Architecture for Negotiation and Enforcement of Resource Usage Policies2013
Ahmed Mihoob
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Consumer-centric resource accounting in the cloud2013
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Establishing Conformance Between Contracts and Choreographies2013
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Establishing Conformance Between Contracts and Choreographies2013
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Massimo Strano
A Model for Checking Contractual Compliance of Business Interactions2012
Dr Carlos Molina-Jimenez
A proposal to detect errors in Enterprise Application Integration solutions2012
Ahmed Mihoob
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Consumer-centric Resource Accounting in the Cloud2012
Abubkr Abdelsadiq
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A High–Level Model–Checking Tool for Verifying Electronic Contracts2011
Abukr Abdelsadiq
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A High–Level Model–Checking Tool for Verifying Service Agreements2011
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Stuart Wheater
An Architecture for Negotiation and Enforcement of Resource Usage Policies2011
Ahmed Mihoob
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Consumer Side Resource Accounting in the Cloud2011
Ahmed Mihoob
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Consumer Side Resource Accounting in the Cloud2011
Ahmed Mihoob
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A case for consumer-centric resource accounting models2010
Ahmed Mihoob
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A Case for Consumer–centric Resource Accounting Models2010
Ahmed Mihoob
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A Case for Consumer–centric Resource Accounting Models2010
Abukr Abdelsadiq
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
On Model Checker Based Testing of Electronic Contracting Systems2010
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Massimo Strano
Exception handling in electronic contracting2009
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Massimo Strano
Exception Handling in Electronic Contracting2009
Dr Massimo Strano
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Implementing a Rule-Based Contract Compliance Checker2009
Dr Massimo Strano
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Implementing a Rule-Based Contract Compliance Checker2009
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Model checking correctness properties of a middleware service for contract compliance2009
Dr Carlos Molina-Jimenez
Dr Nick Cook
Emeritus Professor Santosh Shrivastava
On the feasibility of bilaterally agreed accounting of resource consumption2009
Dr Carlos Molina-Jimenez
Towards a fault-tolerant architecture for enterprise application integration solutions2009
Dr Massimo Strano
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A Model for Checking Contractual Compliance of Business Operations2008
Dr Massimo Strano
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A Rule-based Notation to Specify Executable Electronic Contracts2008
Dr Massimo Strano
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
A Rule-Based Notation to Specify Executable Electronic Contracts2008
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Nick Cook
Implementing business conversations with consistency guarantees using message-oriented middleware2007
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
On Contract Compliant Business Process Coordination2007
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Maintaining consistency between loosely coupled services in the presence of timing constraints and validation errors2006
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Simon Woodman
On State Synchronization of Business Conversations2006
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
John Warne
A Method for Specifying Contract Mediated Interactions2005
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
John Warne
A method for specifying contract mediated interactions2005
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
John Warne
A Method for Specifying Contract Mediated Interactions2005
Dr Graham Morgan
Dr Simon Parkin
Dr Carlos Molina-Jimenez
Monitoring Middleware for Service Level Agreements in Heterogeneous Environments2005
Dr Carlos Molina-Jimenez
Professor Aad van Moorsel
The Role of Agreements in IT Management Software2005
Dr Carlos Molina-Jimenez
Professor Aad van Moorsel
The role of agreements in IT management software2005
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
On the monitoring of contractual service level agreements2004
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
On the Monitoring of Contractual Service Level Agreements2004
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
On the Monitoring of Contractual Service Level Agreements2004
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Ellis Solaiman
John Warne
Run-time monitoring and enforcement of electronic contracts2004
Professor Lindsay Marshall
Dr Carlos Molina-Jimenez
Anonymity with Identity Escrow2003
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Ellis Solaiman
John Warne
Contract Representation for Run-time Monitoring and Enforcement2003
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Ellis Solaiman
John Warne
Contract Representation for Run-time Monitoring and Enforcement2003
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Dr Ellis Solaiman
John Warne
Contract Representation for Run-time Monitoring and Enforcement2003
Dr Ellis Solaiman
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Model Checking Correctness Properties of Electronic Contracts2003
Dr Ellis Solaiman
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Model Checking Correctness Properties of Electronic Contracts2003
Dr Ellis Solaiman
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Model checking correctness properties of electronic contracts2003
Dr Ellis Solaiman
Dr Carlos Molina-Jimenez
Emeritus Professor Santosh Shrivastava
Model Checking Correctness Properties of Electronic Contracts2003
Dr Carlos Molina-Jimenez
Professor Lindsay Marshall
Anonymous and Confidential Communications from an IP Addressless Computer2001
Dr Carlos Molina-Jimenez
Professor Lindsay Marshall
True Anonymity Without Mixes2001
Dr Carlos Molina-Jimenez
Professor Lindsay Marshall
True Anonymity Without Mixes2001
Dr Carlos Molina-Jimenez
Professor Lindsay Marshall
True Anonymity Without Mixes2001
Dr Carlos Molina-Jimenez
Professor Lindsay Marshall
Untraceability of mobile Internet users2001
Dr Carlos Molina-Jimenez
Professor Lindsay Marshall
Untraceability of Mobile Internet Users2001
Dr Carlos Molina-Jimenez
Anonymous and Confidential Communication using PDAs [PhD Thesis]2000
Professor Lindsay Marshall
Dr Carlos Molina-Jimenez
Anonymous and confidential communications from an IP addressless computer1999
Dr Carlos Molina-Jimenez
Professor Lindsay Marshall
Anonymous and Confidential Communications from an IP Addressless Computer1999
Dr Carlos Molina-Jimenez
Professor Lindsay Marshall
Anonymous and confidential communications from an IP addressless computer1999