Andreas Eggers

发表

SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems

Martin Fränzle, Christian Herde, Andreas Eggers, 2008, ATVA.

Analysis of Hybrid Systems Using HySAT

Martin Fränzle, Christian Herde, Andreas Eggers, 2008, Third International Conference on Systems (icons 2008).

Superposition Modulo Non-linear Arithmetic

Christoph Weidenbach, Evgeny Kruglov, Stefan Kupferschmid, 2011, FroCoS.

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

Andreas Eggers, 2014 .

Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving (Extended Abstract)

Andreas Eggers, Tino Teige, Tom Bienmüller, 2018 .

Challenges in Constraint-Based Analysis of Hybrid Systems

Stefan Kupferschmid, Natalia Kalinnik, Andreas Eggers, 2008, CSCLP.

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

Martin Fränzle, Andreas Eggers, Tino Teige, 2010, IFM.

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

Nedialko S. Nedialkov, Martin Fränzle, Nacim Ramdani, 2011, SEFM.

Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods

Nedialko S. Nedialkov, Martin Fränzle, Nacim Ramdani, 2012, Software & Systems Modeling.

Engineering constraint solvers for automatic analysis of probabilistic hybrid automata

Martin Fränzle, Andreas Eggers, Tino Teige, 2010, J. Log. Algebraic Methods Program..

Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems

Andreas Eggers, Tino Teige, Karsten Scheibler, 2021, FM.

Application of constraint solving and ODE-enclosure methods to the analysis of hybrid systems

Martin Fränzle, Christian Herde, Andreas Eggers, 2009 .

Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems ☆

Martin Fränzle, Andreas Eggers, Tino Teige, 2011 .

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

Andreas Eggers, Tino Teige, Karsten Scheibler, 2019 .

Set-Membership Estimation of Hybrid Systems via SAT Modulo ODE

Nedialko S. Nedialkov, Martin Fränzle, Nacim Ramdani, 2012 .

Modeling Requirements for Quantitative Consistency Analysis and Automatic Test Case Generation (cid:63)

Andreas Eggers, Tino Teige, Tom Bienmüller, 2016 .

A Generalized Two-watched-literal Scheme in a mixed Boolean and Non-linear Arithmetic Constraint Solver ⋆

Martin Fränzle, Christian Herde, Natalia Kalinnik, 2007 .