Andreas Eggers

13 papers B 4Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2024 — conf
Providing Evidence for the Validity of the Virtual Verification of Automated Driving Systems.
EDCC Workshops
Birte Neurohr, Thies de Graaff, Andreas Eggers, Tom Bienmüller, Eike Möhlmann
2021 B conf
Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems.
FM
Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans Jürgen Holberg, Tom Bienmüller
2019 — conf
Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving.
SC-square@SIAM AG
Karsten Scheibler, Andreas Eggers, Tino Teige, Marius Walz, Tom Bienmüller, Udo Brockmeyer
2018 — conf
Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving.
SC-Square@FLOC
Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer
2015 J jnl
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods.
Softw. Syst. Model.
Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle
2014 — —
Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems.
Andreas Eggers
2011 B conf
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods.
SEFM
Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle
2011 — conf
Superposition Modulo Non-linear Arithmetic.
FroCoS
Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach
2010 J jnl
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata.
J. Log. Algebraic Methods Program.
Martin Fränzle, Tino Teige, Andreas Eggers
2010 B conf
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT.
IFM
Martin Fränzle, Tino Teige, Andreas Eggers
2008 — conf
Analysis of Hybrid Systems Using HySAT.
ICONS
Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige
2008 — conf
Challenges in Constraint-Based Analysis of Hybrid Systems.
CSCLP
Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige
2008 B conf
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems.
ATVA
Andreas Eggers, Martin Fränzle, Christian Herde