Elena Gómez-Martínez

28 papers B 2C 4Misc 1Journal 7Unranked 14

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