Carlos Molina-Jimnez
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
6
Active years
2003–2024
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | MODELSWARD | Jabuti CE: A Tool for Specifying Smart Contracts in the Domain of Enterprise Application Integration. | Mailson Borges Teles, Jos Bocanegra, Eldair F. Dornelles, Sandro Sawicki, Antonia M. Reina Quintero, Carlos Molina-Jimnez, Fabricia Roos-Frantz, Rafael Z. Frantz |
| 2018 | EuroPar | On and Off-Blockchain Enforcement of Smart Contracts. | Carlos Molina-Jimnez, Ellis Solaiman, Ioannis Sfyrakis, Irene C. L. Ng, Jon Crowcroft |
| 2015 | CLOSER | Dynamic Testing and Deployment of a Contract Monitoring Service. | Ellis Solaiman, Ioannis Sfyrakis, Carlos Molina-Jimnez |
| 2015 | CLOSER | High Level Model Checker Based Testing of Electronic Contracts. | Ellis Solaiman, Ioannis Sfyrakis, Carlos Molina-Jimnez |
| 2008 | ICSOC | On the Feasibility of Bilaterally Agreed Accounting of Resource Consumption. | Carlos Molina-Jimnez, Nick Cook, Santosh K. Shrivastava |
| 2007 | EDOC | Implementing Business Conversations with Consistency Guarantees Using Message-Oriented Middleware. | Carlos Molina-Jimnez, Santosh K. Shrivastava, Nick Cook |
| 2005 | EDOC | A Method for Specifying Contract Mediated Interactions. | Carlos Molina-Jimnez, Santosh K. Shrivastava, John P. Warne |
| 2004 | ICSE | The Role of Agreements in IT Management Software. | Carlos Molina-Jimnez, Jim Pruyne, Aad P. A. van Moorsel |
| 2003 | ICSOC | Model Checking Correctness Properties of Electronic Contracts. | Ellis Solaiman, Carlos Molina-Jimnez, Santosh K. Shrivastava |