According to our database1, Andreas Müller authored at least 10 papers between 2013 and 2020.
Legend:Book In proceedings Article PhD thesis Other
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
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
Proceedings of the Fundamental Approaches to Software Engineering, 2017
Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016
Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015
Inf. Fusion, 2014
A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems.
Proceedings of the Knowledge Science, Engineering and Management, 2014
Proceedings of the Web Technologies and Applications - 15th Asia-Pacific Web Conference, 2013