| 2015 | ICCS | A Methodology for Designing Energy-aware Systems for Computational Science. | Pablo C. Caizares, Alberto Nez, Manuel Nez, Juan Jos Pardo |
| 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 |
| 2008 | MSWIM | Modelling secure wireless sensor networks routing protocols with timed automata. | Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan Jos Pardo |
| 2007 | ICIW | Using UML Diagrams to Model Real-Time Web Services. | Mara-Emilia Cambronero, Gregorio Daz, Juan Jos Pardo, Valentn Valero |
| 2007 | SAC | Using RT-UML for modelling web services. | Mara-Emilia Cambronero, Juan Jos Pardo, Gregorio Daz, Valentn Valero |
| 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 | SAC | An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol. | Gregorio Daz, Kim Guldstrand Larsen, Juan Jos Pardo, Fernando Cuartero, Valentn Valero |
| 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 |
| 2001 | APSEC | Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. | Juan Jos Pardo, Valentn Valero Ruiz, Fernando Cuartero, Diego Cazorla |