Carlos Molina-Jiménez

61 papers A 1B 6C 5Journal 16Unranked 31

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	An Iot Architecture for Enhancing Safety in Supply Chain Systems. Concurr. Comput. Pract. Exp. Wen Zeng, Nicholas Kit Lam Wan, Vasileios Germanos, Yuqi Jia, Leandros Maglaras, Carlos Molina-Jiménez
2025	—	`conf`	An API for Developing Secure Integration Processes. CIbSE Regis Schuch, Rafael Z. Frantz, Antonia M. Reina Quintero, José Bocanegra, Sandro Sawicki, Fabricia Roos-Frantz, Carlos Molina-Jiménez
2025	—	`conf`	Building a Smart City that Stimulates Innovation Using Open Source and Decentralised Technologies. CIbSE Sandro Sawicki, Rafael Z. Frantz, Gerson Battisti, Fabricia Roos-Frantz, Luiz Antonio Rasia, Odaylson Eder, Carlos Molina-Jiménez, Jon Crowcroft
2025	—	`conf`	Development of San Marcos as a Smart and Sustainable City with the Support of Search-based Software Engineering. CIbSE Arturo Dina Valente, Luciana M. Cardoso, Mateus D. Kuhn, Misael Lorenzo, Higinio Torres Lucena, Sandro Sawicki, Fabricia Roos-Frantz, Rafael Z. Frantz, Carlos Molina-Jiménez
2025	J	`jnl`	Quantitative Risk Assessment for Cloud-Based Software Migration Processes. Concurr. Comput. Pract. Exp. Wen Zeng, Wenjing Yan, Emily Simpson, Carlos Molina-Jiménez
2024	C	`conf`	An IoT Architecture for Enhancing Safety in Supply Chain Systems. ICIS Wen Zeng, Nicholas Kit Lam Wan, Vasileios Germanos, Yuqi Jia, Leandros Maglaras, Carlos Molina-Jiménez
2024	C	`conf`	Design and Implementation of a Desktop Cloud System for Multinational Corporations Operating in the Yangtze River Delta Region. ICIS Wen Zeng, Wenxuan Wang, Yu Qi, Bofeng Zhang, Carlos Molina-Jiménez
2024	—	`conf`	Digital Services Integration in Smart Cities: a Trusted Execution Environment Based Solution. CIbSE Regis Schuch, Rafael Z. Frantz, José Bocanegra, Fabricia Roos-Frantz, Sandro Sawicki, Carlos Molina-Jiménez
2024	—	`book`	Fair Exchange - Theory and Practice of Digital Belongings Fair Exchange Carlos Molina-Jiménez, Dann Toliver, Hazem Danny Al-Nakib, Jon Crowcroft
2024	C	`conf`	Jabuti CE: A Tool for Specifying Smart Contracts in the Domain of Enterprise Application Integration. MODELSWARD Mailson Borges Teles, José Bocanegra, Eldair F. Dornelles, Sandro Sawicki, Antonia M. Reina Quintero, Carlos Molina-Jiménez, Fabricia Roos-Frantz, Rafael Z. Frantz
2024	C	`conf`	Predicting Illnesses from Medical Sensors Readings using Artificial Intelligence Model. ICIS Wen Zeng, Haydar A Jawad, Wenxuan Wang, Vasileios Germanos, François Siewe, Carlos Molina-Jiménez
2024	J	`jnl`	UCFN Net: Ulcerative colitis evaluation based on fine-grained lesion learner and noise suppression gating. Comput. Methods Programs Biomed. Haiyan Li, Zhixin Wang, Zheng Guan, Jiarong Miao, Weihua Li, Pengfei Yu, Carlos Molina-Jiménez
2023	—	`conf`	On the Use of Blockchain Technology to Improve the Reproducibility of Preclinical Research Experiments. ICEIS (1) Eduardo C. Oliveira, Rafael Z. Frantz, Carlos Molina-Jiménez, Thiago Heck, Sandro Sawicki, Fabricia Roos-Frantz
2023	J	`jnl`	On the Use of Smart Hybrid Contracts to Provide Flexibility in Algorithmic Governance. CoRR Carlos Molina-Jiménez, Sandra Milena Felizia
2022	J	`jnl`	A Systematic Mapping Study of Search-Based Software Engineering for Enterprise Application Integration. Int. J. Softw. Eng. Knowl. Eng. Angela Mazzonetto, Rafael Z. Frantz, Fabricia Roos-Frantz, Carlos Molina-Jiménez, Sandro Sawicki
2022	—	`conf`	Advances in a DSL to Specify Smart Contracts for Application Integration Processes. CIBSE Eldair F. Dornelles, Fernando Parahyba, Rafael Z. Frantz, Fabricia Roos-Frantz, Antonia M. Reina Quintero, Carlos Molina-Jiménez, José Bocanegra, Sandro Sawicki
2022	—	`conf`	On the Need to Use Smart Contracts in Enterprise Application Integration. CIBSE Fernando Parahyba, Eldair F. Dornelles, Fabricia Roos-Frantz, Rafael Z. Frantz, Carlos Molina-Jiménez, Antonia M. Reina Quintero, José Bocanegra, Sandro Sawicki
2022	J	`jnl`	On the use of emerging decentralised technologies for supporting software factories coopetition. Int. J. Comput. Appl. Technol. Fábio Paulo Basso, Diego Kreutz, Carlos Molina-Jiménez, Rafael Z. Frantz
2020	J	`jnl`	A Case for a Currencyless Economy Based on Bartering with Smart Contracts. CoRR Carlos Molina-Jiménez, Hazem Danny Al-Nakib, Linmao Song, Ioannis Sfyrakis, Jon Crowcroft
2020	J	`jnl`	The Benefits of Deploying Smart Contracts on Trusted Third Parties. CoRR Carlos Molina-Jiménez, Ioannis Sfyrakis, Linmao Song, Hazem Danny Al-Nakib, Jon Crowcroft
2018	J	`jnl`	Connecting the Edges: A Universal, Mobile-Centric, and Opportunistic Communications Architecture. IEEE Commun. Mag. 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
2018	—	`conf`	Implementation of Smart Contracts Using Hybrid Architectures with On and Off-Blockchain Components. SC² Carlos Molina-Jiménez, Ioannis Sfyrakis, Ellis Solaiman, Irene C. L. Ng, Meng Weng Wong, Alexis Chun, Jon Crowcroft
2018	J	`jnl`	Implementation of Smart Contracts Using Hybrid Architectures with On- and Off-Blockchain Components. CoRR Carlos Molina-Jiménez, Ioannis Sfyrakis, Ellis Solaiman, Irene C. L. Ng, Meng Weng Wong, Alexis Chun, Jon Crowcroft
2018	J	`jnl`	On and Off-Blockchain Enforcement Of Smart Contracts. CoRR Carlos Molina-Jiménez, Ellis Solaiman, Ioannis Sfyrakis, Irene C. L. Ng, Jon Crowcroft
2018	—	`conf`	On and Off-Blockchain Enforcement of Smart Contracts. Euro-Par Workshops Carlos Molina-Jiménez, Ellis Solaiman, Ioannis Sfyrakis, Irene C. L. Ng, Jon Crowcroft
2017	—	`conf`	ICN-based edge service deployment in challenged networks. ICN Christos-Alexandros Sarros, Adisorn Lertsinsrubtavee, Carlos Molina-Jiménez, Konstantinos Prasopoulos, Sotiris Diamantopoulos, Dimitris Vardalis, Arjuna Sathiaseelan
2017	—	`conf`	PiCasso: A lightweight edge computing platform. CloudNet Adisorn Lertsinsrubtavee, Anwaar Ali, Carlos Molina-Jiménez, Arjuna Sathiaseelan, Jon Crowcroft
2016	—	`conf`	A State Aware Model and Architecture for the Monitoring and Enforcement of Electronic Contracts. CBI (1) Ellis Solaiman, Ioannis Sfyrakis, Carlos Molina-Jiménez
2016	J	`jnl`	Deploying an Information Centric Smart Lighting System in the Wild. CoRR Upeka De Silva, Adisorn Lertsinsrubtavee, Arjuna Sathiaseelan, Carlos Molina-Jiménez, Kanchana Kanchanasut
2016	—	`conf`	Implementation and evaluation of an information centric-based smart lighting controller. AINTEC Upeka De Silva, Adisorn Lertsinsrubtavee, Arjuna Sathiaseelan, Carlos Molina-Jiménez, Kanchana Kanchanasut
2015	—	`conf`	A Tool for the Automatic Verification of BPMN Choreographies. SCC Ellis Solaiman, Wenzhong Sun, Carlos Molina-Jiménez
2015	C	`conf`	Dynamic Testing and Deployment of a Contract Monitoring Service. CLOSER Ellis Solaiman, Ioannis Sfyrakis, Carlos Molina-Jiménez
2015	—	`conf`	High Level Model Checker Based Testing of Electronic Contracts. CLOSER (Selected Papers) Ellis Solaiman, Ioannis Sfyrakis, Carlos Molina-Jiménez
2013	J	`jnl`	Consumer-centric resource accounting in the cloud. J. Internet Serv. Appl. Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava
2013	—	`conf`	Establishing Conformance between Contracts and Choreographies. CBI Carlos Molina-Jiménez, Santosh K. Shrivastava
2012	J	`jnl`	A Model for Checking Contractual Compliance of Business Interactions. IEEE Trans. Serv. Comput. Carlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano
2012	J	`jnl`	A proposal to detect errors in Enterprise Application Integration solutions. J. Syst. Softw. Rafael Z. Frantz, Rafael Corchuelo, Carlos Molina-Jiménez
2011	—	`conf`	A high-level model-checking tool for verifying service agreements. SOSE Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava
2011	—	`conf`	An architecture for negotiation and enforcement of resource usage policies. SOCA Carlos Molina-Jiménez, Santosh K. Shrivastava, Stuart M. Wheater
2011	—	`conf`	Consumer Side Resource Accounting in the Cloud. I3E Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava
2011	—	`conf`	Error-Detection in Enterprise Application Integration Solutions. CENTERIS (2) Rafael Z. Frantz, Rafael Corchuelo, Carlos Molina-Jiménez
2010	—	`conf`	A Case for Consumer - centric Resource Accounting Models. IEEE CLOUD Ahmed Mihoob, Carlos Molina-Jiménez, Santosh K. Shrivastava
2010	B	`conf`	On Model Checker Based Testing of Electronic Contracting Systems. CEC Abubkr Abdelsadiq, Carlos Molina-Jiménez, Santosh K. Shrivastava
2010	—	`conf`	On the Design of a Domain Specific Language for Enterprise Application Integration Solutions. MoSE@TOOLS Rafael Z. Frantz, Carlos Molina-Jiménez, Rafael Corchuelo
2009	—	`conf`	A Peer to Peer Protocol for Online Dispute Resolution over Storage Consumption YR-SOC Ahmed Mihoob, Carlos Molina-Jiménez
2009	B	`conf`	Exception Handling in Electronic Contracting. CEC Carlos Molina-Jiménez, Santosh K. Shrivastava, Massimo Strano
2009	—	`conf`	Implementing a Rule-Based Contract Compliance Checker. I3E Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava
2009	—	`conf`	Towards a Fault-Tolerant Architecture for Enterprise Application Integration Solutions. OTM Workshops Rafael Z. Frantz, Rafael Corchuelo, Carlos Molina-Jiménez
2008	—	`conf`	A Rule-Based Notation to Specify Executable Electronic Contracts. RuleML Massimo Strano, Carlos Molina-Jiménez, Santosh K. Shrivastava
2008	—	`conf`	On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption. ICSOC Workshops Carlos Molina-Jiménez, Nick Cook, Santosh K. Shrivastava
2007	B	`conf`	Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. EDOC Carlos Molina-Jiménez, Santosh K. Shrivastava, Nick Cook
2006	—	`conf`	Maintaining Consistency between Loosely Coupled Services in the Presence of Timing Constraints and Validation Errors. ECOWS Carlos Molina-Jiménez, Santosh K. Shrivastava
2006	—	`conf`	On State Synchronization of Business Conversations. CEC/EEE Carlos Molina-Jiménez, Santosh K. Shrivastava, Simon J. Woodman
2005	B	`conf`	A Method for Specifying Contract Mediated Interactions. EDOC Carlos Molina-Jiménez, Santosh K. Shrivastava, John P. Warne
2005	—	`conf`	Monitoring Middleware for Service Level Agreements in Heterogeneous Environments. I3E Graham Morgan, Simon E. Parkin, Carlos Molina-Jiménez, James Skene
2004	J	`jnl`	Run-time monitoring and enforcement of electronic contracts. Electron. Commer. Res. Appl. Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne
2004	B	`conf`	The Role of Agreements in IT Management Software. WADS Carlos Molina-Jiménez, Jim Pruyne, Aad P. A. van Moorsel
2003	B	`conf`	Contract Representation for Run-time Monitoring and Enforcement. CEC Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne
2003	A	`conf`	Model Checking Correctness Properties of Electronic Contracts. ICSOC Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava
2000	—	`—`	Anonymous and confidential communication using PDAs. Carlos Molina-Jiménez
1999	—	`conf`	Anonymous and Confidential Communications from an IP Addressless Computer. HUC Carlos Molina-Jiménez, Lindsay Marshall