Mathias Pfeiffer

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 2

Top Topics

Automated Reasoning

Safety Critical

Support Systems

Top Venues

Software Engineering (Satellite Events)

Software Engineering (Workshops)

Publications

Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe
Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams. Software Engineering (Satellite Events) (2021)
Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe
An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems. Software Engineering (Workshops) (2020)