SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. - Andreas Eggers; Martin Fränzle; Christian Herde (ATVA, 2008)

Challenges in Constraint-Based Analysis of Hybrid Systems. - Andreas Eggers; Natalia Kalinnik; Stefan Kupferschmid; Tino Teige (CSCLP, 2008)

Analysis of Hybrid Systems Using HySAT. - Christian Herde; Andreas Eggers; Martin Fränzle; Tino Teige (ICONS, 2008)

Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. - Martin Fränzle; Tino Teige; Andreas Eggers (IFM, 2010)

Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. - Martin Fränzle; Tino Teige; Andreas Eggers (J. Log. Algebraic Methods Program., 2010)

Superposition Modulo Non-linear Arithmetic. - Andreas Eggers; Evgeny Kruglov; Stefan Kupferschmid; Karsten Scheibler; Tino Teige; Christoph Weidenbach (FroCoS, 2011)

Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. - Andreas Eggers; Nacim Ramdani; Nedialko S. Nedialkov; Martin Fränzle (SEFM, 2011)

Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems. - Andreas Eggers (2014)

Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. - Andreas Eggers; Nacim Ramdani; Nedialko S. Nedialkov; Martin Fränzle (Softw. Syst. Model., 2015)

Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. - Andreas Eggers; Matthias Stasch; Tino Teige; Tom Bienmüller; Udo Brockmeyer (SC-Square@FLOC, 2018)

Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. - Karsten Scheibler; Andreas Eggers; Tino Teige; Marius Walz; Tom Bienmüller; Udo Brockmeyer (SC-square@SIAM AG, 2019)

Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems. - Tino Teige; Andreas Eggers; Karsten Scheibler; Matthias Stasch; Udo Brockmeyer; Hans Jürgen Holberg; Tom Bienmüller (FM, 2021)

Providing Evidence for the Validity of the Virtual Verification of Automated Driving Systems. - Birte Neurohr; Thies de Graaff; Andreas Eggers; Tom Bienmüller; Eike Möhlmann (EDCC Workshops, 2024)