Elena Gómez-Martínez

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 16

Top Topics

Coloured Petri Nets

Concurrent Systems

Top Venues

PNSE@Petri Nets

J. Log. Algebraic Methods Program.

Publications

José Ignacio Requeno, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel
Runtime Verification of Timed Petri Nets. PNSE@Petri Nets (2024)
Elena Gómez-Martínez, Esther Guerra, Juan de Lara, Antonio Garmendia
Lifted structural invariant analysis of Petri net product lines. J. Log. Algebraic Methods Program. 130 (2023)
Elena Gómez-Martínez, José Ignacio Requeno
Adaptative Systems Based on Continuous Observation of Petri Net Product Lines. PNSE@Petri Nets (2022)
Elena Gómez-Martínez, Esther Guerra, Juan de Lara
Analysing Product Lines of Concurrent Systems with Coloured Petri Nets. SEKE (2022)
Elena Gómez-Martínez, Juan de Lara, Esther Guerra
Extensible Structural Analysis of Petri Net Product Lines. Trans. Petri Nets Other Model. Concurr. 15 (2021)
Elena Gómez-Martínez, Miguel Marroyo, Silvia T. Acuña
Towards the integration of the GDPR in the Unified Software Development Process (S). SEKE (2021)
Antonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gómez-Martínez, Juan de Lara
Automated variability injection for graphical modelling languages. GPCE (2020)
Elena Gómez-Martínez, Juan de Lara, Esther Guerra
Towards Extensible Structural Analysis of Petri Net Product Lines. PNSE@Petri Nets/ACSD (2019)
Elena Gómez-Martínez, Francisco J. Pérez Blanco, Juan de Lara, Juan Manuel Vara, Esperanza Marcos
Formal support of process chain networks using model-driven engineering and Petri nets. SAC (2019)
Virginia Grande, Clara Benac Earle, Cristina Manresa-Yee, Elena Gómez-Martínez, Laura M. Castro, Patricia Pons, Raúl Corobán
Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion. I3E Workshops (2019)
Barbara Gallina, Elena Gómez-Martínez, Clara Benac Earle
Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer. Comput. Stand. Interfaces 54 (2017)
Barbara Gallina, Elena Gómez-Martínez, Clara Benac Earle
Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128. SPICE (2016)
Gaofeng Zhang, Paolo Falcarin, Elena Gómez-Martínez, Shareeful Islam, Christophe Tartary, Bjorn De Sutter, Jérôme d'Annoville
Attack Simulation based Software Protection Assessment Method with Petri Net. Int. J. Cyber Situational Aware. 1 (1) (2016)
Gaofeng Zhang, Paolo Falcarin, Elena Gómez-Martínez, Shareeful Islam, Christophe Tartary, Bjorn De Sutter, Jérôme d'Annoville
Attack simulation based software protection assessment method. Cyber Security And Protection Of Digital Services (2016)
Elena Gómez-Martínez, Marino Linaje Trigueros, Fernando Sánchez-Figueroa, Andrés Iglesias Pérez, Juan Carlos Preciado, Rafael González-Cabero, José Merseguer
A semantic approach for designing Assistive Software Recommender systems. J. Syst. Softw. 104 (2015)
Clara Benac Earle, Ana María Fernández-Soriano, Lars-Åke Fredlund, Elena Gómez-Martínez
Teaching Software Safety to Master Students. EUROMICRO-SEAA (2015)
Elena Gómez-Martínez, Ricardo J. Rodríguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle
Model-Based Verification of Safety Contracts. SEFM Workshops (2014)
Elena Gómez-Martínez, Álvaro Fernández Díaz
Embedded Systems for People with Special Needs: Insights from a Real Case. EUROMICRO-SEAA (2014)
Ricardo J. Rodríguez, Elena Gómez-Martínez
Model-Based Safety Assessment Using OCL and Petri Nets. EUROMICRO-SEAA (2014)
Elena Gómez-Martínez, Rafael González-Cabero, José Merseguer
Performance assessment of an architecture with adaptative interfaces for people with special needs. Empir. Softw. Eng. 19 (6) (2014)
Ane Murua, Igor González, Elena Gómez-Martínez
Cloud-based Assistive Technology Services. FedCSIS (2011)
Horacio Saggion, Elena Gómez-Martínez, Esteban Etayo, Alberto Anula, Lorena Bourg
Text Simplification in Simplext. Making Text More Accessible. Proces. del Leng. Natural 47 (2011)
Elena Gómez-Martínez, José Merseguer
Performance Modeling and Analysis of the Universal Control Hub. EPEW (2010)
Elena Gómez-Martínez, Sergio Ilarri, José Merseguer
Performance analysis of mobile agents tracking. WOSP (2007)
Elena Gómez-Martínez, José Merseguer
Impact of SOAP Implementations in the Performance of a Web Service-Based Application. ISPA Workshops (2006)
Elena Gómez-Martínez, José Merseguer
ArgoSPE: Model-Based Software Performance Engineering. ICATPN (2006)
Elena Gómez-Martínez, José Merseguer
A Software Performance Engineering Tool based on the UML-SPT. QEST (2005)