Papers by Peter Fritzson:

Title: Formal Requirements Modeling for Simulation-Based Verification
Authors: Martin Otter, Nguyen Thuy, Daniel Bouskela, Lena Buffoni, Hilding Elmqvist, Peter Fritzson, Alfredo Garro, Audrey Jardin, Hans Olsson, Maxime Payelleville, Wladimir Schamai, Eric Thomas and Andrea Tundis
Links: Abstract, Full paper

---

Title: Flattening of Modelica State Machines: A Practical Symbolic Representation
Authors: Bernhard Thiele, Adrian Pop and Peter Fritzson
Links: Abstract, Full paper

---

Title: An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica
Authors: Wladimir Schamai, Lena Buffoni, Nicolas Albarello, Pablo Fontes De Miranda and Peter Fritzson
Links: Abstract, Full paper

---

Title: An Open-Source Graphical Composite Modeling Editor and Simulation Tool Based on FMI and TLM Co-Simulation
Authors: Alachew Mengist, Adeel Asghar, Adrian Pop, Peter Fritzson, Willi Braun, Alexander Siemers and Dag Fritzson
Links: Abstract, Full paper

---

Title: Automatic Regression Testing of Simulation Models and Concept for Simulation of Connected FMUs in PySimulator
Authors: Adeel Asghar, Andreas Pfeiffer, Arunkumar Palanisamy, Alachew Mengist, Martin Sjölund, Adrian Pop and Peter Fritzson
Links: Abstract, Full paper