Publications

Stefan Schupp, Erika Ábrahám, Ibtissem Ben Makhlouf, Stefan Kowalewski (2017). HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. NFM.

Erika Ábrahám, Johanna Nellen, Stefan Schupp (2017). Techniques and Tools for Hybrid Systems Reachability Analysis.

Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám (2017). Analyzing Hybrid Petri Nets with Multiple Stochastic Firings Using Hypro. Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools.

Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski (2015). Current Challenges in the Verification of Hybrid Systems. Cyber physical systems : design, modeling, and evaluation ; 5th international workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015 ; proceedings / Christian Berger … (eds.).

Florian Corzilius, Gereon Kremer, Sebastian Junges, Stefan Schupp, Erika Ábrahám (2015). Smt-Rat: An Open Source C++ Toolbox for Strategic and Parallel Smt Solving. Theory and Applications of Satisfiability Testing : SAT 2015 ; 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / Marijn Heule ; Sean Weaver [Hrsg.].

Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Ábrahám, Goran Frehse, Stefan Kowalewski (2015). A Benchmark Suite for Hybrid Systems Reachability Analysis. NASA Formal Methods Symposium.

Stefan Schupp, Erika Ábrahám, Peter Rossmanith, Dipl-Inform Ulrich Loup (2013). Interval Constraint Propagation in Smt Compliant Decision Procedures.

Jó Agila Bitsch, Christoph Wollgarten, Stefan Schupp (2011). Perfect Difference Sets for Neighbor Discovery.