Andreas Müller

According to our database1, Andreas Müller authored at least 10 papers between 2013 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Towards CPS Verification Engineering.
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.
Int. J. Softw. Tools Technol. Transf., 2018

A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration).
Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

2017
Change and Delay Contracts for Hybrid System Component Verification.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

A Benchmark for Component-based Hybrid Systems Safety Verification.
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.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2015
Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015

2014
A tour of BeAware - A situation awareness framework for control centers.
Inf. Fusion, 2014

A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems.
Proceedings of the Knowledge Science, Engineering and Management, 2014

2013
A Survey on Clustering Techniques for Situation Awareness.
Proceedings of the Web Technologies and Applications - 15th Asia-Pacific Web Conference, 2013


  Loading...