Folgen
Elena Gómez-Martínez
Elena Gómez-Martínez
Bestätigte E-Mail-Adresse bei ucm.es
Titel
Zitiert von
Zitiert von
Jahr
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
1102011
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
572006
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
232006
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
222016
Performance analysis of mobile agents tracking
E Gomez-Martinez, S Ilarri, J Merseguer
Proceedings of the 6th international workshop on Software and performance …, 2007
222007
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
172014
Model-based safety assessment using OCL and Petri nets
RJ Rodriguez, E Gomez-Martinez
2014 40th EUROMICRO Conference on Software Engineering and Advanced …, 2014
142014
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
142005
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
132011
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
122017
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
102016
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
102015
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
102015
Performance modeling and analysis of the universal control hub
E Gómez-Martínez, J Merseguer
Computer Performance Engineering: 7th European Performance Engineering …, 2010
102010
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
92023
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
82021
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
52020
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
52019
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
42019
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
42018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20