Andreas Müller

Proceedings of the iiWAS '20: The 22nd International Conference on Information Integration and Web-based Applications & Services, Virtual Event / Chiang Mai, Thailand, November 30, 2020

2018

Tactical contract composition for hybrid system component verification.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2018

A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration).

[BibT_eX]

[DOI]

Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

2017

Change and Delay Contracts for Hybrid System Component Verification.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2017

A Benchmark for Component-based Hybrid Systems Safety Verification.

[BibT_eX]

[DOI]

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2016

A Component-Based Approach to Hybrid Systems Safety Verification.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015

Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

2014

A tour of BeAware - A situation awareness framework for control centers.

[BibT_eX]

[DOI]

Norbert Baumgartner

Andrea Salfinger

Inf. Fusion, 2014

A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2014

2013

A Survey on Clustering Techniques for Situation Awareness.

[BibT_eX]

[DOI]

Andrea Salfinger