Carlos Molina-Jiménez

Orcid: 0000-0002-3617-8287

According to our database1, Carlos Molina-Jiménez authored at least 48 papers between 1999 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Fair Exchange - Theory and Practice of Digital Belongings
WorldScientific, ISBN: 9781800615182, 2024

2023
On the Use of Smart Hybrid Contracts to Provide Flexibility in Algorithmic Governance.
CoRR, 2023

On the Use of Blockchain Technology to Improve the Reproducibility of Preclinical Research Experiments.
Proceedings of the 25th International Conference on Enterprise Information Systems, 2023

2022
A Systematic Mapping Study of Search-Based Software Engineering for Enterprise Application Integration.
Int. J. Softw. Eng. Knowl. Eng., 2022

On the use of emerging decentralised technologies for supporting software factories coopetition.
Int. J. Comput. Appl. Technol., 2022

On the Need to Use Smart Contracts in Enterprise Application Integration.
Proceedings of the 25th Iberoamerican Conference on Software Engineering, CIbSE 2022, Cordoba, Argentina, 13 June, 2022

Advances in a DSL to Specify Smart Contracts for Application Integration Processes.
Proceedings of the 25th Iberoamerican Conference on Software Engineering, CIbSE 2022, Cordoba, Argentina, 13 June, 2022

2020
The Benefits of Deploying Smart Contracts on Trusted Third Parties.
CoRR, 2020

A Case for a Currencyless Economy Based on Bartering with Smart Contracts.
CoRR, 2020

2018
Connecting the Edges: A Universal, Mobile-Centric, and Opportunistic Communications Architecture.
IEEE Commun. Mag., 2018

Implementation of Smart Contracts Using Hybrid Architectures with On and Off-Blockchain Components.
Proceedings of the 8th IEEE International Symposium on Cloud and Service Computing, 2018

On and Off-Blockchain Enforcement of Smart Contracts.
Proceedings of the Euro-Par 2018: Parallel Processing Workshops, 2018

2017
PiCasso: A lightweight edge computing platform.
Proceedings of the 6th IEEE International Conference on Cloud Networking, 2017

ICN-based edge service deployment in challenged networks.
Proceedings of the 4th ACM Conference on Information-Centric Networking, 2017

2016
Deploying an Information Centric Smart Lighting System in the Wild.
CoRR, 2016

A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts.
Proceedings of the 18th IEEE Conference on Business Informatics, 2016

Implementation and evaluation of an information centric-based smart lighting controller.
Proceedings of the 12th Asian Internet Engineering Conference, 2016

2015
High Level Model Checker Based Testing of Electronic Contracts.
Proceedings of the Cloud Computing and Services Science - 5th International Conference, 2015

Dynamic Testing and Deployment of a Contract Monitoring Service.
Proceedings of the CLOSER 2015, 2015

A Tool for the Automatic Verification of BPMN Choreographies.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2013
Consumer-centric resource accounting in the cloud.
J. Internet Serv. Appl., 2013

Establishing Conformance between Contracts and Choreographies.
Proceedings of the IEEE 15th Conference on Business Informatics, 2013

2012
A Model for Checking Contractual Compliance of Business Interactions.
IEEE Trans. Serv. Comput., 2012

A proposal to detect errors in Enterprise Application Integration solutions.
J. Syst. Softw., 2012

2011
A high-level model-checking tool for verifying service agreements.
Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

An architecture for negotiation and enforcement of resource usage policies.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Consumer Side Resource Accounting in the Cloud.
Proceedings of the Building the e-World Ecosystem, 2011

Error-Detection in Enterprise Application Integration Solutions.
Proceedings of the ENTERprise Information Systems - International Conference, 2011

2010
On Model Checker Based Testing of Electronic Contracting Systems.
Proceedings of the 12th IEEE Conference on Commerce and Enterprise Computing, 2010

On the Design of a Domain Specific Language for Enterprise Application Integration Solutions.
Proceedings of the 2nd International Workshop on Model-Driven Service Engineering, 2010

A Case for Consumer - centric Resource Accounting Models.
Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009
A Peer to Peer Protocol for Online Dispute Resolution over Storage Consumption
Proceedings of the Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, 2009

Exception Handling in Electronic Contracting.
Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing, 2009

Towards a Fault-Tolerant Architecture for Enterprise Application Integration Solutions.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009 Workshops, 2009

Implementing a Rule-Based Contract Compliance Checker.
Proceedings of the Software Services for e-Business and e-Society, 2009

2008
A Rule-Based Notation to Specify Executable Electronic Contracts.
Proceedings of the Rule Representation, 2008

On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption.
Proceedings of the Service-Oriented Computing - ICSOC 2008 Workshops, 2008

2007
Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

2006
On State Synchronization of Business Conversations.
Proceedings of the Eighth IEEE International Conference on E-Commerce Technology (CEC 2006) / Third IEEE International Conference on Enterprise Computing, 2006

Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors.
Proceedings of the Fourth IEEE European Conference on Web Services (ECOWS 2006), 2006

2005
Monitoring Middleware for Service Level Agreements in Heterogeneous Environments.
Proceedings of the Challenges of Expanding Internet: E-Commerce, 2005

A Method for Specifying Contract Mediated Interactions.
Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

2004
Run-time monitoring and enforcement of electronic contracts.
Electron. Commer. Res. Appl., 2004

The Role of Agreements in IT Management Software.
Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004

2003
Contract Representation for Run-time Monitoring and Enforcement.
Proceedings of the 2003 IEEE International Conference on Electronic Commerce (CEC 2003), 2003

Model Checking Correctness Properties of Electronic Contracts.
Proceedings of the Service-Oriented Computing, 2003

2000
Anonymous and confidential communication using PDAs.
PhD thesis, 2000

1999
Anonymous and Confidential Communications from an IP Addressless Computer.
Proceedings of the Handheld and Ubiquitous Computing, First International Symposium, 1999


  Loading...