Carlos Molina-Jiménez

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 24

Top Venues

Newcastle University, Newcastle upon Tyne, UK (PHD)

Education History

Newcastle University, Newcastle upon Tyne, UK

PHD

Publications

Haiyan Li, Zhixin Wang, Zheng Guan, Jiarong Miao, Weihua Li, Pengfei Yu, Carlos Molina-Jiménez
UCFN Net: Ulcerative colitis evaluation based on fine-grained lesion learner and noise suppression gating. Comput. Methods Programs Biomed. 247 (2024)
Regis Schuch, Rafael Z. Frantz, José Bocanegra, Fabricia Roos-Frantz, Sandro Sawicki, Carlos Molina-Jiménez
Digital Services Integration in Smart Cities: a Trusted Execution Environment Based Solution. CIbSE (2024)
Mailson Borges Teles, José Bocanegra, Eldair F. Dornelles, Sandro Sawicki, Antonia M. Reina Quintero, Carlos Molina-Jiménez, Fabricia Roos-Frantz, Rafael Z. Frantz
Jabuti CE: A Tool for Specifying Smart Contracts in the Domain of Enterprise Application Integration. MODELSWARD (2024)
Carlos Molina-Jiménez, Sandra Milena Felizia
On the Use of Smart Hybrid Contracts to Provide Flexibility in Algorithmic Governance. CoRR (2023)
Eduardo C. Oliveira, Rafael Z. Frantz, Carlos Molina-Jiménez, Thiago Heck, Sandro Sawicki, Fabricia Roos-Frantz
On the Use of Blockchain Technology to Improve the Reproducibility of Preclinical Research Experiments. ICEIS (1) (2023)
Eldair F. Dornelles, Fernando Parahyba, Rafael Z. Frantz, Fabricia Roos-Frantz, Antonia M. Reina Quintero, Carlos Molina-Jiménez, José Bocanegra, Sandro Sawicki
Advances in a DSL to Specify Smart Contracts for Application Integration Processes. CIBSE (2022)
Fábio Paulo Basso, Diego Kreutz, Carlos Molina-Jiménez, Rafael Z. Frantz
On the use of emerging decentralised technologies for supporting software factories coopetition. Int. J. Comput. Appl. Technol. 69 (2) (2022)
Fernando Parahyba, Eldair F. Dornelles, Fabricia Roos-Frantz, Rafael Z. Frantz, Carlos Molina-Jiménez, Antonia M. Reina Quintero, José Bocanegra, Sandro Sawicki
On the Need to Use Smart Contracts in Enterprise Application Integration. CIBSE (2022)
Angela Mazzonetto, Rafael Z. Frantz, Fabricia Roos-Frantz, Carlos Molina-Jiménez, Sandro Sawicki
A Systematic Mapping Study of Search-Based Software Engineering for Enterprise Application Integration. Int. J. Softw. Eng. Knowl. Eng. 32 (2) (2022)
Carlos Molina-Jiménez, Hazem Danny Al-Nakib, Linmao Song, Ioannis Sfyrakis, Jon Crowcroft
A Case for a Currencyless Economy Based on Bartering with Smart Contracts. CoRR (2020)
Carlos Molina-Jiménez, Ioannis Sfyrakis, Linmao Song, Hazem Danny Al-Nakib, Jon Crowcroft
The Benefits of Deploying Smart Contracts on Trusted Third Parties. CoRR (2020)
Carlos Molina-Jiménez, Ioannis Sfyrakis, Ellis Solaiman, Irene C. L. Ng, Meng Weng Wong, Alexis Chun, Jon Crowcroft
Implementation of Smart Contracts Using Hybrid Architectures with On and Off-Blockchain Components. SC² (2018)
Carlos Molina-Jiménez, Ioannis Sfyrakis, Ellis Solaiman, Irene C. L. Ng, Meng Weng Wong, Alexis Chun, Jon Crowcroft
Implementation of Smart Contracts Using Hybrid Architectures with On- and Off-Blockchain Components. CoRR (2018)
Carlos Molina-Jiménez, Ellis Solaiman, Ioannis Sfyrakis, Irene C. L. Ng, Jon Crowcroft
On and Off-Blockchain Enforcement Of Smart Contracts. CoRR (2018)
Carlos Molina-Jiménez, Ellis Solaiman, Ioannis Sfyrakis, Irene C. L. Ng, Jon Crowcroft
On and Off-Blockchain Enforcement of Smart Contracts. Euro-Par Workshops (2018)
Christos-Alexandros Sarros, Sotiris Diamantopoulos, Sergi Rene, Ioannis Psaras, Adisorn Lertsinsrubtavee, Carlos Molina-Jiménez, Paulo Mendes, Rute C. Sofia, Arjuna Sathiaseelan, George Pavlou, Jon Crowcroft, Vassilis Tsaoussidis
Connecting the Edges: A Universal, Mobile-Centric, and Opportunistic Communications Architecture. IEEE Commun. Mag. 56 (2) (2018)
Adisorn Lertsinsrubtavee, Anwaar Ali, Carlos Molina-Jiménez, Arjuna Sathiaseelan, Jon Crowcroft
PiCasso: A lightweight edge computing platform. CloudNet (2017)
Christos-Alexandros Sarros, Adisorn Lertsinsrubtavee, Carlos Molina-Jiménez, Konstantinos Prasopoulos, Sotiris Diamantopoulos, Dimitris Vardalis, Arjuna Sathiaseelan
ICN-based edge service deployment in challenged networks. ICN (2017)
Upeka De Silva, Adisorn Lertsinsrubtavee, Arjuna Sathiaseelan, Carlos Molina-Jiménez, Kanchana Kanchanasut
Deploying an Information Centric Smart Lighting System in the Wild. CoRR (2016)
Upeka De Silva, Adisorn Lertsinsrubtavee, Arjuna Sathiaseelan, Carlos Molina-Jiménez, Kanchana Kanchanasut
Implementation and evaluation of an information centric-based smart lighting controller. AINTEC (2016)
Ellis Solaiman, Ioannis Sfyrakis, Carlos Molina-Jiménez
A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts. CBI (1) (2016)
Ellis Solaiman, Ioannis Sfyrakis, Carlos Molina-Jiménez
High Level Model Checker Based Testing of Electronic Contracts. CLOSER (Selected Papers) (2015)
Ellis Solaiman, Ioannis Sfyrakis, Carlos Molina-Jiménez
Dynamic Testing and Deployment of a Contract Monitoring Service. CLOSER (2015)
Ellis Solaiman, Wenzhong Sun, Carlos Molina-Jiménez
A Tool for the Automatic Verification of BPMN Choreographies. SCC (2015)
Carlos Molina-Jiménez, Santosh K. Shrivastava
Establishing Conformance between Contracts and Choreographies. CBI (2013)
Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava
Consumer-centric resource accounting in the cloud. J. Internet Serv. Appl. 4 (1) (2013)
Carlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano
A Model for Checking Contractual Compliance of Business Interactions. IEEE Trans. Serv. Comput. 5 (2) (2012)
Rafael Z. Frantz, Rafael Corchuelo, Carlos Molina-Jiménez
A proposal to detect errors in Enterprise Application Integration solutions. J. Syst. Softw. 85 (3) (2012)
Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava
A high-level model-checking tool for verifying service agreements. SOSE (2011)
Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava
Consumer Side Resource Accounting in the Cloud. I3E (2011)
Carlos Molina-Jiménez, Santosh K. Shrivastava, Stuart M. Wheater
An architecture for negotiation and enforcement of resource usage policies. SOCA (2011)
Rafael Z. Frantz, Rafael Corchuelo, Carlos Molina-Jiménez
Error-Detection in Enterprise Application Integration Solutions. CENTERIS (2) (2011)
Rafael Z. Frantz, Carlos Molina-Jiménez, Rafael Corchuelo
On the Design of a Domain Specific Language for Enterprise Application Integration Solutions. MoSE@TOOLS (2010)
Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava
On Model Checker Based Testing of Electronic Contracting Systems. CEC (2010)
Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava
A Case for Consumer - centric Resource Accounting Models. IEEE CLOUD (2010)
Rafael Z. Frantz, Rafael Corchuelo, Carlos Molina-Jiménez
Towards a Fault-Tolerant Architecture for Enterprise Application Integration Solutions. OTM Workshops (2009)
Ahmed Mihoob, Carlos Molina-Jiménez
A Peer to Peer Protocol for Online Dispute Resolution over Storage Consumption YR-SOC (2009)
Carlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano
Exception Handling in Electronic Contracting. CEC (2009)
Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava
Implementing a Rule-Based Contract Compliance Checker. I3E (2009)
Carlos Molina-Jiménez, Nick Cook, Santosh K. Shrivastava
On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption. ICSOC Workshops (2008)
Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava
A Rule-Based Notation to Specify Executable Electronic Contracts. RuleML (2008)
Carlos Molina-Jiménez, Santosh K. Shrivastava, Nick Cook
Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. EDOC (2007)
Carlos Molina-Jiménez, Santosh K. Shrivastava, Simon J. Woodman
On State Synchronization of Business Conversations. CEC/EEE (2006)
Carlos Molina-Jiménez, Santosh K. Shrivastava
Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors. ECOWS (2006)
Carlos Molina-Jiménez, Santosh K. Shrivastava, John P. Warne
A Method for Specifying Contract Mediated Interactions. EDOC (2005)
Graham Morgan, Simon E. Parkin, Carlos Molina-Jiménez, James Skene
Monitoring Middleware for Service Level Agreements in Heterogeneous Environments. I3E (2005)
Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne
Run-time monitoring and enforcement of electronic contracts. Electron. Commer. Res. Appl. 3 (2) (2004)
Carlos Molina-Jiménez, Jim Pruyne, Aad P. A. van Moorsel
The Role of Agreements in IT Management Software. WADS (2004)
Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava
Model Checking Correctness Properties of Electronic Contracts. ICSOC (2003)
Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne
Contract Representation for Run-time Monitoring and Enforcement. CEC (2003)
Carlos Molina-Jiménez, Lindsay Marshall
Anonymous and Confidential Communications from an IP Addressless Computer. HUC (1999)

Carlos Molina-Jiménez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Carlos Molina-Jiménez