Elena Gómez-Martínez
Elena Gómez-Martínez
Dirección de correo verificada de
Citado por
Citado por
Text simplification in simplext: Making texts more accessible
H Saggion, E Gómez-Martínez, E Etayo, A Anula, L Bourg
Procesamiento del lenguaje natural, 341-342, 2011
ArgoSPE: Model-based software performance engineering
E Gómez-Martínez, J Merseguer
Petri Nets and Other Models of Concurrency-ICATPN 2006: 27th International …, 2006
Impact of SOAP implementations in the performance of a web service-based application
E Gómez-Martínez, J Merseguer
International Symposium on Parallel and Distributed Processing and …, 2006
Deriving safety case fragments for assessing mbasafe’s compliance with en 50128
B Gallina, E Gómez-Martínez, CB Earle
Software Process Improvement and Capability Determination: 16th …, 2016
Performance analysis of mobile agents tracking
E Gomez-Martinez, S Ilarri, J Merseguer
Proceedings of the 6th international workshop on Software and performance …, 2007
Performance assessment of an architecture with adaptative interfaces for people with special needs
E Gómez-Martínez, R Gonzalez-Cabero, J Merseguer
Empirical Software Engineering 19, 1967-2018, 2014
Model-based safety assessment using OCL and Petri nets
RJ Rodriguez, E Gomez-Martinez
2014 40th EUROMICRO Conference on Software Engineering and Advanced …, 2014
A software performance engineering tool based on the UML-SPT
E Gomez-Martinez, J Merseguer
Second International Conference on the Quantitative Evaluation of Systems …, 2005
Cloud-based assistive technology services
A Murua, I González, E Gómez-Martínez
2011 Federated Conference on Computer Science and Information Systems …, 2011
Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer
B Gallina, E Gómez-Martínez, C Benac-Earle
Computer Standards & Interfaces 54, 119-128, 2017
A semantic approach for designing Assistive Software Recommender systems
E Gómez-Martínez, M Linaje, F Sánchez-Figueroa, A Iglesias-Pérez, ...
Journal of Systems and Software 104, 166-178, 2015
Model-based verification of safety contracts
E Gómez-Martínez, RJ Rodríguez, LE Elorza, MI Rezabal, CB Earle
Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops …, 2015
Performance modeling and analysis of the universal control hub
E Gómez-Martínez, J Merseguer
Computer Performance Engineering: 7th European Performance Engineering …, 2010
Attack simulation based software protection assessment method
G Zhang, P Falcarin, E Gómez-Martínez, S Islam, C Tartary, B De Sutter, ...
2016 International Conference On Cyber Security And Protection Of Digital …, 2016
Extensible structural analysis of Petri net product lines
E Gómez-Martínez, J de Lara, E Guerra
Transactions on Petri Nets and Other Models of Concurrency XV, 27-49, 2021
Formal support of process chain networks using model-driven engineering and petri nets
E Gómez-Martínez, F Pérez-Blanco, J de Lara, JM Vara, E Marcos
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 98-100, 2019
Lifted structural invariant analysis of Petri net product lines
E Gómez-Martínez, E Guerra, J de Lara, A Garmendia
Journal of Logical and Algebraic Methods in Programming 130, 100824, 2023
Automated variability injection for graphical modelling languages
A Garmendia, M Wimmer, E Guerra, E Gómez-Martínez, J de Lara
Proceedings of the 19th ACM SIGPLAN International Conference on Generative …, 2020
A methodology for model-based verification of safety contracts and performance requirements
E Gómez-Martínez, RJ Rodríguez, C Benac-Earle, L Etxeberria, ...
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of …, 2018
Towards Extensible Structural Analysis of Petri Net Product Lines.
E Gómez-Martínez, J de Lara, E Guerra
PNSE@ Petri Nets/ACSD, 37-46, 2019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20