| 2023 | ICCS | An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic. | Gregorio Daz, Hermenegilda Maci, Enrique Brazlez, Juan Boubeta-Puig, M. Carmen Ruiz, Valentn Valero |
| 2019 | ICCS | Security of Low Level IoT Protocols. | Damas P. Gruska, M. Carmen Ruiz |
| 2019 | IWANN | Security Testing for Multi-Agent Systems. | Damas P. Gruska, M. Carmen Ruiz |
| 2016 | ICCS | Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks. | M. Carmen Ruiz, Hermenegilda Maci, Jos Antonio Mateo, Francisco Javier Calleja |
| 2015 | TrustCom | Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff. | M. Carmen Ruiz, Javier L. Calleja, Diego Cazorla |
| 2013 | ICCS | Formal Study of a Novel Network Role-based Routing Intelligent Algorithm. | Jos Antonio Mateo, Hermenegilda Maci, M. Carmen Ruiz, Juan Jos Pardo, A. M. Ortiz |
| 2013 | WorldCIST | Finding the Suitable Number of Resources to Maximize System Throughput. | M. Carmen Ruiz, Diego Prez Lendrez, Juan Jos Pardo, Diego Cazorla |
| 2010 | FORTE | Specification and Testing of E-Commerce Agents Described by Using UIOLTSs. | Juan Jos Pardo, Manuel Nez, M. Carmen Ruiz |
| 2009 | ICCCI | A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems. | Juan Jos Pardo, Manuel Nez, M. Carmen Ruiz |
| 2006 | SAC | Analysis of the SET e-commerce protocol using a true concurrency process algebra. | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan Jos Pardo |
| 2006 | SYNASC | Process Algebra Specification of Flexible Manufacturing Systems. | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan Jos Pardo |
| 2005 | SYNASC | A Formal Specification and Performance Evaluation of the Purchase Phase in the SET Protocol. | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan Jos Pardo |
| 2004 | FORTE | A Bounded True Concurrency Process Algebra for Performance Evaluation. | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan Jos Pardo, Hermenegilda Maci |