Hähnle, Reiner
- Context, Composition, Automation, and Communication -- The C2AC Roadmap for Modeling and Simulation
2023/10/09 by Adelinde M. Uhrmacher, Peter I. Frazier, Uhrmacher, Adelinde +21 · 2 citations
Decision Sciences · #Computational Engineering #FOS: Computer and information sciences #Finance #I.6 #Simulation Techniques and Applications #and Science (cs.CE)
- A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
2022/12/07 by Kamburjan, Eduard, Mitsch, Stefan, Hähnle, Reiner · 1 citation
#Active Objects #Computing methodologies → Distributed programming languages #Computing methodologies → Model verification and validation #Differential Dynamic Logic #Hybrid Systems #Theory of computation → Logic and verification #Theory of computation → Timed and hybrid models