Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata. - Jaime Arias 001; Kyungmin Bae; Carlos Olarte; Peter Csaba Ölveczky; Laure Petrucci; Fredrik Rømming (FTSCS, 2022)

Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving. - Jaime Arias 001; Kyungmin Bae; Carlos Olarte; Peter Csaba Ölveczky; Laure Petrucci; Fredrik Rømming (Petri Nets, 2023)

Connections: Markov Decision Processes for Classical, Intuitionistic and Modal Connection Calculi. - Fredrik Rømming; Jens Otten; Sean B. Holden (AReCCa@TABLEAUX, 2023)

Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving. - Jaime Arias 001; Kyungmin Bae; Carlos Olarte; Peter Csaba Ölveczky; Laure Petrucci; Fredrik Rømming (Sci. Comput. Program., 2024)