| 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 | SOFSEM | The Simulation Relation for Formal E-Contracts. | Luis Llana, Mara-Emilia Cambronero, Gregorio Daz |
| 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 |
| 2011 | ICSOC | Contractually Compliant Service Compositions. | Enrique Martnez, Gregorio Daz, Mara-Emilia Cambronero |
| 2011 | ICWS | DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems. | Pablo Rabanal, Jos Antonio Mateo, Ismael Rodrguez, Gregorio Daz |
| 2009 | FORTE | Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach. | Gregorio Daz, Ismael Rodrguez |
| 2009 | ICIW | Design and Verification of Web Services Compositions. | Enrique Martnez, Mara-Emilia Cambronero, Gregorio Daz, Valentn Valero |
| 2007 | ICIW | Using UML Diagrams to Model Real-Time Web Services. | Mara-Emilia Cambronero, Gregorio Daz, Juan Jos Pardo, Valentn Valero |
| 2007 | ICIW | Analysis of Web Services Secure Conversation with Formal Methods. | Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Daz |
| 2007 | SAC | Using RT-UML for modelling web services. | Mara-Emilia Cambronero, Juan Jos Pardo, Gregorio Daz, Valentn Valero |
| 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 |
| 2004 | SAC | Automatic verification of the TLS handshake protocol. | Gregorio Daz, Fernando Cuartero, Valentn Valero Ruiz, Fernando L. Pelayo |
| 2001 | ICPP | Performance Issues of Deterministic and Adaptive Ghost-Packet Routers. | Mara del Carmen Carrin, Gregorio Daz, Mara Blanca Caminero |