Andreas Eggers

According to our database, Andreas Eggers authored at least 13 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

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

Proceedings of the Dependable Computing - EDCC 2024 Workshops, 2024

2021

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

Proceedings of the Formal Methods - 24th International Symposium, 2021

2019

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

Proceedings of the 4th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2019

2018

Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving.

Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018

2015

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

2014

Direct handling of ordinary differential equations in constraint-solving-based analysis of hybrid systems.

Andreas Eggers

PhD thesis, 2014

2011

Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods.

Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Superposition Modulo Non-linear Arithmetic.

Andreas Eggers, Evgeny Kruglov, Stefan Kupferschmid, Karsten Scheibler, Tino Teige, Christoph Weidenbach

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

2010

Engineering constraint solvers for automatic analysis of probabilistic hybrid automata.

Martin Fränzle, Tino Teige, Andreas Eggers

J. Log. Algebraic Methods Program., 2010

Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT.

Martin Fränzle, Tino Teige, Andreas Eggers

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

2008

Analysis of Hybrid Systems Using HySAT.

Christian Herde, Andreas Eggers, Martin Fränzle, Tino Teige

Proceedings of the Third International Conference on Systems, 2008

Challenges in Constraint-Based Analysis of Hybrid Systems.

Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, Tino Teige

Proceedings of the Recent Advances in Constraints, 2008

SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems.

Andreas Eggers, Martin Fränzle, Christian Herde

Proceedings of the Automated Technology for Verification and Analysis, 2008