Andreas Eggers

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 4

Top Venues

Softw. Syst. Model.

SC-square@SIAM AG

SC-Square@FLOC

Carl von Ossietzky University of Oldenburg (PHD)

Education History

Carl von Ossietzky University of Oldenburg

PHD

Publications

Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans Jürgen Holberg, Tom Bienmüller
Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems. FM (2021)
Karsten Scheibler, Andreas Eggers, Tino Teige, Marius Walz, Tom Bienmüller, Udo Brockmeyer
Solving Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. SC-square@SIAM AG (2019)
Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer
Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. SC-Square@FLOC (2018)
Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods. Softw. Syst. Model. 14 (1) (2015)
Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach
Superposition Modulo Non-linear Arithmetic. FroCoS (2011)
Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle
Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods. SEFM (2011)
Martin Fränzle, Tino Teige, Andreas Eggers
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT. IFM (2010)
Martin Fränzle, Tino Teige, Andreas Eggers
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. J. Log. Algebraic Methods Program. 79 (7) (2010)
Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige
Challenges in Constraint-Based Analysis of Hybrid Systems. CSCLP (2008)
Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige
Analysis of Hybrid Systems Using HySAT. ICONS (2008)
Andreas Eggers, Martin Fränzle, Christian Herde
SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems. ATVA (2008)

Andreas Eggers.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andreas Eggers