| Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces W Damm, H Dierks, S Disch, W Hagemann, F Pigorsch, C Scholl, ... Science of Computer Programming 77 (10-11), 1122-1150, 2012 | 40 | 2012 |
| Cyber-physical systems Q Liang, S Zhao, J Zhang, H Deng, W Damm, D Hess, M Schweda, ... ACM Transactions on 8 (1), 2024 | 33 | 2024 |
| Reachability analysis of hybrid systems using symbolic orthogonal projections W Hagemann International Conference on Computer Aided Verification, 407-423, 2014 | 20 | 2014 |
| Efficient geometric operations on convex polyhedra, with an application to reachability analysis of hybrid systems W Hagemann Mathematics in Computer Science 9 (3), 283-325, 2015 | 17 | 2015 |
| Verifying a PI controller using SoapBox and Stabhyli: Experiences on establishing properties for a steering controller W Hagemann, E Möhlmann, A Rakow Proceedings of ARCH, 115-125, 2014 | 13 | 2014 |
| Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement E Althaus, B Beber, W Damm, S Disch, W Hagemann, A Rakow, C Scholl, ... Science of Computer Programming 148, 123-160, 2017 | 9 | 2017 |
| Component based design of hybrid systems: A case study on concurrency and coupling. Reports of SFB W Damm, W Hagemann, E Möhlmann, A Rakow TR 14 AVACS 95, SFB/TR 14 AVACS, 2014 | 7 | 2014 |
| Towards a congruent interpretation of traffic rules for automated driving-experiences and challenges L Westhofen, I Stierand, JS Becker, E Möhlmann, W Hagemann Proceedings of the International Workshop on Methodologies for Translating …, 2022 | 6 | 2022 |
| Towards formal concepts for explanation timing and justifications A Bairy, W Hagemann, A Rakow, M Schwammberger 2022 IEEE 30th International Requirements Engineering Conference Workshops …, 2022 | 5 | 2022 |
| Inscribing H-Polyhedra in Quadrics Using a Projective Generalization of Closed Sets. W Hagemann, E Möhlmann CCCG, 2015 | 4 | 2015 |
| Hybrid tools for hybrid systems: Proving stability and safety at once W Hagemann, E Möhlmann, OE Theel Formal Modeling and Analysis of Timed Systems, 2015 | 4 | 2015 |
| Hybrid tools for hybrid systems–proving stability and safety at once E Möhlmann, W Hagemann, O Theel Formal Modeling and Analysis of Timed Systems: 13th International Conference …, 2015 | 3 | 2015 |
| A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction K Bengler, W Damm, A Luedtke, R Jochem, B Austel, B Biebl, M Fränzle, ... ACM Transactions on Cyber-Physical Systems 8 (1), 1-27, 2024 | 2 | 2024 |
| Verification of Sigmoidal Artificial Neural Networks using iSAT D Grundt, SL Jurj, W Hagemann, P Kröger, M Fränzle arXiv preprint arXiv:2207.06755, 2022 | 2 | 2022 |
| Verifying a PI Controller using SoapBox and Stabhyli. E Möhlmann, W Hagemann, A Rakow ARCH@ CPSWeek, 115-125, 2016 | 2 | 2016 |
| A Reference Architecture of Human Cyber-Physical Systems–Part I: Fundamental Concepts W Damm, D Hess, M Schweda, J Sztipanovits, K Bengler, B Biebl, ... ACM Transactions on Cyber-Physical Systems 8 (1), 1-32, 2024 | 1 | 2024 |
| Towards safe and sustainable autonomous vehicles using environmentally-friendly criticality metrics SL Jurj, T Werner, D Grundt, W Hagemann, E Möhlmann Sustainability 14 (12), 6988, 2022 | 1 | 2022 |
| Dynamic Conflict Resolution Using Justification Based Reasoning W Damm, M Fränzle, W Hagemann, P Kröger, A Rakow arXiv preprint arXiv:1911.07290, 2019 | 1 | 2019 |
| Symbolic orthogonal projections: a new polyhedral representation for reachability analysis of hybrid systems W Hagemann | 1 | 2014 |
| Integrating incremental flow pipes into a symbolic model checker for hybrid systems W Damm, S Disch, W Hagemann, C Scholl, U Waldmann, B Wirtz, ... SFB/TR 14 AVACS, 2011 | 1 | 2011 |
Stefan DischAlbert-Ludwigs-University FreiburgEmail confirmado em informatik.uni-freiburg.de
