MARÍA ELENA
GÓMEZ MARTÍNEZ
Profesora contratada doctora
Juan de
Lara Jaramillo
Publicaciones en las que colabora con Juan de Lara Jaramillo (6)
2023
-
Lifted structural invariant analysis of Petri net product lines
Journal of Logical and Algebraic Methods in Programming, Vol. 130
2022
-
Analysing Product Lines of Concurrent Systems with Coloured Petri Nets
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE
2021
-
Extensible Structural Analysis of Petri Net Product Lines
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2020
-
Automated variability injection for graphical modelling languages
GPCE 2020 - Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, Co-located with SPLASH 2020
2019
-
Formal support of process chain networks using model-driven engineering and petri nets
Proceedings of the ACM Symposium on Applied Computing
-
Towards extensible structural analysis of petri net product lines
CEUR Workshop Proceedings