| 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 |
| 2023 | IWANN | Designing a Fault Detection System for Wind Turbine Control Monitoring Using CEP. | Enrique Brazlez, Gregorio Daz, Hermenegilda Maci, Valentn Valero |
| 2022 | FNC | greenITS: a proposal to compute low-pollution routes. | Hermenegilda Maci, Gregorio Daz, Valentn Valero, Edelmira Valero, Enrique Brazlez, Juan Boubeta-Puig |
| 2019 | ICCS | Combining Fuzzy Logic and CEP Technology to Improve Air Quality in Cities. | Hermenegilda Maci, Gregorio Daz, Juan Boubeta-Puig, Edelmira Valero, Valentn Valero |
| 2019 | IWANN | An Intelligent System Integrating CEP and Colored Petri Nets for Helping in Decision Making About Pollution Scenarios. | Gregorio Daz, Enrique Brazlez, Hermenegilda Maci, Juan Boubeta-Puig, Valentn Valero |
| 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 |
| 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 | FMICS | Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources. | Valentn Valero, Hermenegilda Maci, Gregorio Daz, Mara-Emilia Cambronero |
| 2015 | SAC | Model-checking verification of publish-subscribe architectures in web service contexts. | Gregorio Daz, Mara-Emilia Cambronero, Hermenegilda Maci, Valentn Valero Ruiz |
| 2014 | SEFM | A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. | Jos Antonio Mateo, Valentn Valero Ruiz, Hermenegilda Maci, Gregorio Daz |
| 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 |
| 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 |