Publicaciones en las que colabora con Esther Guerra Sánchez (5)

2023

  1. Lifted structural invariant analysis of Petri net product lines

    Journal of Logical and Algebraic Methods in Programming, Vol. 130

2022

  1. Analysing Product Lines of Concurrent Systems with Coloured Petri Nets

    Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

2021

  1. 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

  1. 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

  1. Towards extensible structural analysis of petri net product lines

    CEUR Workshop Proceedings