| 2017 | IWANN | Intelligent Transportation System to Control Air Pollution in Cities Using Complex Event Processing and Colored Petri Nets. | Gregorio Daz, Hermenegilda Maci, Valentn Valero, Fernando Cuartero |
| 2012 | CLEI | CALPE and INDICA. Two tools for calculating the dynamic pantograph/catenary interaction. | Nuria Cuartero, Enrique Arias, Fernando Cuartero, Toms Rojo |
| 2011 | IWANN | Looking for a Cheaper ROSA. | Fernando L. Pelayo, Fernando Cuartero, Diego Cazorla |
| 2008 | MSWIM | Modelling secure wireless sensor networks routing protocols with timed automata. | Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Juan Jos Pardo |
| 2007 | ICIW | Analysis of Web Services Secure Conversation with Formal Methods. | Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Daz |
| 2007 | MASS | Formal Analysis of Sensor Network Encryption Protocol (SNEP). | Llanos Tobarra, Diego Cazorla, Fernando Cuartero |
| 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 | Introducing the Iteration in sPBC. | Hermenegilda Maci, Valentn Valero Ruiz, Diego Cazorla, Fernando Cuartero |
| 2004 | FORTE | A Bounded True Concurrency Process Algebra for Performance Evaluation. | M. Carmen Ruiz, Diego Cazorla, Fernando Cuartero, Juan Jos Pardo, Hermenegilda Maci |
| 2004 | MMM | Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. | Fernando L. Pelayo, Fernando Cuartero, Valentn Valero Ruiz, Hermenegilda Maci, Maria L. Pelayo |
| 2004 | SAC | Automatic verification of the TLS handshake protocol. | Gregorio Daz, Fernando Cuartero, Valentn Valero Ruiz, Fernando L. Pelayo |
| 2001 | APSEC | Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. | Juan Jos Pardo, Valentn Valero Ruiz, Fernando Cuartero, Diego Cazorla |
| 2000 | RTCSA | An example of performance evaluation by using the stochastic process algebra: ROSA. | Fernando L. Pelayo, Fernando Cuartero, Valentn Valero Ruiz, Diego Cazorla |
| 1997 | APSEC | TPAL: A Timed-Probabilistic Model for Concurrent Processes. | Antonio Bueno, Valentn Valero Ruiz, Fernando Cuartero |
| 1995 | ICIP | A simulation tool of parallel architectures for digital image processing applications based on DLX processors. | Valentn Valero Ruiz, Fernando Cuartero, Antonio Jose Garrido del Solo, Francisco J. Quiles |