Andreas Müller

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 6

Top Topics

Formal Verification

Situation Awareness

Reference Model

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger
Towards CPS Verification Engineering. iiWAS (2020)
Andreas Müller, Stefan Mitsch, Wieland Schwinger, André Platzer
A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration). CyPhy/WESE (2018)
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
Tactical contract composition for hybrid system component verification. Int. J. Softw. Tools Technol. Transf. 20 (6) (2018)
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
Change and Delay Contracts for Hybrid System Component Verification. FASE (2017)
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
A Benchmark for Component-based Hybrid Systems Safety Verification. ARCH@CPSWeek (2017)
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger, André Platzer
A Component-Based Approach to Hybrid Systems Safety Verification. IFM (2016)
Andreas Müller, Stefan Mitsch, André Platzer
Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems. ITSC (2015)
Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger
A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems. KSEM (2014)
Norbert Baumgartner, Stefan Mitsch, Andreas Müller, Werner Retschitzegger, Andrea Salfinger, Wieland Schwinger
A tour of BeAware - A situation awareness framework for control centers. Inf. Fusion 20 (2014)
Stefan Mitsch, Andreas Müller, Werner Retschitzegger, Andrea Salfinger, Wieland Schwinger
A Survey on Clustering Techniques for Situation Awareness. APWeb (2013)