Fredrik Rømming

According to our database, Fredrik Rømming authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving.

Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming

Sci. Comput. Program., 2024

2023

Connections: Markov Decision Processes for Classical, Intuitionistic and Modal Connection Calculi.

Fredrik Rømming, Jens Otten, Sean B. Holden

Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), 2023

Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving.

Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Rewriting Logic Semantics and Symbolic Analysis for Parametric Timed Automata.

Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming

Proceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, 2022