Mathias Pfeiffer

According to our database, Mathias Pfeiffer authored at least 4 papers between 2020 and 2025.

Collaborative distances:

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

2025

Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems, Volume 2.

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe, Sebastian Stüber, Lucas Wollenhaupt

Aachener Informatik-Berichte, Software Engineering 58, Shaker, ISBN: 978-3-8191-0062-8, 2025

Enhancing System Model Quality: Evaluation of the Systems Modeling Language (SysML)-Driven Approach in Avionics.

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe, Andreas Schweiger

J. Aerosp. Inf. Syst., 2025

2021

Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams.

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe

Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22, 2021

2020

An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems.

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe

Proceedings of the Combined Proceedings of the Workshops at Software Engineering 2020 Co-located with the German Software Engineering Conference 2020 (SE 2020), 2020