Publications

(2023). Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. Application and Theory of Petri Nets and Concurrency. PETRI NETS 2023. Lecture Notes in Computer Science, vol 13929. Springer, Cham.

(2022). Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2022, Auckland, New Zealand, 7 December 2022.