Gómez-Martínez, Elena
~ 19000  results:
Search for persons X
?
1

Lifted structural invariant analysis of Petri net product l..:

Gómez-Martínez, Elena ; Guerra, Esther ; de Lara, Juan.
Journal of Logical and Algebraic Methods in Programming.  130 (2023)  - p. 100824 , 2023
 
?
2

Extensible Structural Analysis of Petri Net Product Lines:

, In: Transactions on Petri Nets and Other Models of Concurrency XV; Lecture Notes in Computer Science,
 
?
3

Everybody Rock Your Equity: Experiences of Organizing a Wom..:

, In: IFIP Advances in Information and Communication Technology; Digital Transformation for a Sustainable Society in the 21st Century,
 
?
4

Automated variability injection for graphical modelling lan..:

, In: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences,
 
?
5

Formal support of process chain networks using model-driven..:

, In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing,
 
?
7

Attack simulation based software protection assessment meth..:

, In: 2016 International Conference On Cyber Security And Protection Of Digital Services (Cyber Security),
 
?
10

Performance analysis of mobile agents tracking:

, In: Proceedings of the 6th international workshop on Software and performance,
 
?
11

Everybody Rock Your Equity: Experiences of Organizing a Wom..:

Grande, Virginia ; Benac Earle, Clara ; Manresa-Yee, Cristina...
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-39634-3_1.  , 2019
 
?
12

Attack simulation based software protection assessment meth..:

Zhang, Gaofeng ; Falcarin, P ; Gomez-Martinez, Elena...
https://repository.uel.ac.uk/download/ab6865b4060a1acddc47204a87f912805cd3acbc020b9d792811270f23962122/1471845/cybersecurity2016.pdf.  , 2016
 
1-15