Elena Gómez-Martínez

According to our database, Elena Gómez-Martínez authored at least 27 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Runtime Verification of Timed Petri Nets.

José Ignacio Requeno, Elena Gómez-Martínez, Hannes Kallwies, Melanie Haustein, Martin Leucker, Volker Stolz, Patrick Stünkel

Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24, 2024

2023

Lifted structural invariant analysis of Petri net product lines.

Elena Gómez-Martínez, Esther Guerra, Juan de Lara, Antonio Garmendia

J. Log. Algebraic Methods Program., 2023

2022

Analysing Product Lines of Concurrent Systems with Coloured Petri Nets.

Elena Gómez-Martínez, Esther Guerra, Juan de Lara

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Adaptative Systems Based on Continuous Observation of Petri Net Product Lines.

Elena Gómez-Martínez, José Ignacio Requeno

Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

2021

Extensible Structural Analysis of Petri Net Product Lines.

Elena Gómez-Martínez, Juan de Lara, Esther Guerra

Trans. Petri Nets Other Model. Concurr., 2021

Towards the integration of the GDPR in the Unified Software Development Process (S).

Elena Gómez-Martínez, Miguel Marroyo, Silvia Teresita Acuña

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

2020

Automated variability injection for graphical modelling languages.

Antonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gómez-Martínez, Juan de Lara

Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020

2019

Formal support of process chain networks using model-driven engineering and Petri nets.

Elena Gómez-Martínez, Francisco J. Pérez Blanco, Juan de Lara, Juan Manuel Vara, Esperanza Marcos

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Everybody Rock Your Equity: Experiences of Organizing a Women in Computing Event with Role Models for Diversity and Inclusion.

Virginia Grande, Clara Benac Earle, Cristina Manresa-Yee, Elena Gómez-Martínez, Laura M. Castro, Patricia Pons, Raúl Corobán

Proceedings of the Digital Transformation for a Sustainable Society in the 21st Century, 2019

Towards Extensible Structural Analysis of Petri Net Product Lines.

Elena Gómez-Martínez, Juan de Lara, Esther Guerra

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), 2019

2017

Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer.

Barbara Gallina, Elena Gómez-Martínez, Clara Benac Earle

Comput. Stand. Interfaces, 2017

2016

Attack Simulation based Software Protection Assessment Method with Petri Net.

Gaofeng Zhang, Paolo Falcarin, Elena Gómez-Martínez, Shareeful Islam, Christophe Tartary, Bjorn De Sutter, Jérôme d'Annoville

Int. J. Cyber Situational Aware., 2016

Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128.

Barbara Gallina, Elena Gómez-Martínez, Clara Benac Earle

Proceedings of the Software Process Improvement and Capability Determination, 2016

Attack simulation based software protection assessment method.

Gaofeng Zhang, Paolo Falcarin, Elena Gómez-Martínez, Shareeful Islam, Christophe Tartary, Bjorn De Sutter, Jérôme d'Annoville

Proceedings of the 2016 International Conference On Cyber Security And Protection Of Digital Services (Cyber Security), 2016

2015

A semantic approach for designing Assistive Software Recommender systems.

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

J. Syst. Softw., 2015

Teaching Software Safety to Master Students.

Clara Benac Earle, Ana María Fernández-Soriano, Lars-Åke Fredlund, Elena Gómez-Martínez

Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

2014

Performance assessment of an architecture with adaptative interfaces for people with special needs.

Elena Gómez-Martínez, Rafael González-Cabero, José Merseguer

Empir. Softw. Eng., 2014

Model-Based Verification of Safety Contracts.

Elena Gómez-Martínez, Ricardo J. Rodríguez, Leire Etxeberria Elorza, Miren Illarramendi Rezabal, Clara Benac Earle

Proceedings of the Software Engineering and Formal Methods, 2014

Model-Based Safety Assessment Using OCL and Petri Nets.

Ricardo J. Rodríguez, Elena Gómez-Martínez

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

Embedded Systems for People with Special Needs: Insights from a Real Case.

Elena Gómez-Martínez, Álvaro Fernández Díaz

Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

2011

Text Simplification in Simplext. Making Text More Accessible.

Horacio Saggion, Elena Gómez-Martínez, Esteban Etayo, Alberto Anula, Lorena Bourg

Proces. del Leng. Natural, 2011

Cloud-based Assistive Technology Services.

Ane Murua, Igor González, Elena Gómez-Martínez

Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

2010

Performance Modeling and Analysis of the Universal Control Hub.

Elena Gómez-Martínez, José Merseguer

Proceedings of the Computer Performance Engineering, 2010

2007

Performance analysis of mobile agents tracking.

Elena Gómez-Martínez, Sergio Ilarri, José Merseguer

Proceedings of the 6th International Workshop on Software and Performance, 2007

2006

Impact of SOAP Implementations in the Performance of a Web Service-Based Application.

Elena Gómez-Martínez, José Merseguer

Proceedings of the Frontiers of High Performance Computing and Networking, 2006

ArgoSPE: Model-Based Software Performance Engineering.

Elena Gómez-Martínez, José Merseguer

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

A Software Performance Engineering Tool based on the UML-SPT.

Elena Gómez-Martínez, José Merseguer

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005