| 2022 | SEKE | Analysing Product Lines of Concurrent Systems with Coloured Petri Nets. | Elena Gmez-Martnez, Esther Guerra, Juan de Lara |
| 2021 | SEKE | Towards the integration of the GDPR in the Unified Software Development Process (S). | Elena Gmez-Martnez, Miguel Marroyo, Silvia Teresita Acua |
| 2020 | GPCE | Automated variability injection for graphical modelling languages. | Antonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gmez-Martnez, Juan de Lara |
| 2019 | SAC | Formal support of process chain networks using model-driven engineering and Petri nets. | Elena Gmez-Martnez, Francisco J. Prez-Blanco, Juan de Lara, Juan Manuel Vara, Esperanza Marcos |
| 2016 | SPICE | Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128. | Barbara Gallina, Elena Gmez-Martnez, Clara Benac Earle |
| 2014 | SEFM | Model-Based Verification of Safety Contracts. | Elena Gmez-Martnez, Ricardo J. Rodrguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle |
| 2011 | FedCSIS | Cloud-based Assistive Technology Services. | Ane Murua, Igor Gonzlez, Elena Gmez-Martnez |
| 2006 | ISPA | Impact of SOAP Implementations in the Performance of a Web Service-Based Application. | Elena Gmez-Martnez, Jos Merseguer |