M. Sc. Andreas Eggers

Carl von Ossietzky Universität Oldenburg
Department für Informatik
Abteilung Hybride Systeme
Escherweg 2
D - 26121 Oldenburg

Raum: OFFIS D 109

Tel.: + 49-441-9722 533
E-Mail: Andreas.EggersInformatik.Uni-Oldenburg.De

Publications

List of publications in the AVACS database

Presentations

• Andreas Eggers, Natalia Kalinnik, Stefan Kupferschmid, and Tino Teige, Challenges in Constraint-based Analysis of Hybrid Systems, CSCLP 2008 Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming, Rome, 2008-06-19
• Andreas Eggers, Martin Fränzle, and Christian Herde, Slides on "SAT modulo ODE: A Direct SAT Approach to Hybrid Systems", ATVA 2008, Seoul, 2008-10-21
• Talk on the Taylor Model Methods Workshop, Karlsruhe, May 2009, Application of Constraint Solving and ODE Enclosure Methods to the Analysis of Hybrid Systems
• Talk on the Small Workshop on Interval Methods (SWIM), Lausanne, 2009-06-11, SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
• Andreas Eggers, Martin Fränzle, and Christian Herde, Application of Constraint Solving and ODE Enclosure Methods to the Analysis of Hybrid Systems, Minisymposium on Taylor Model Methods and Application, 7th International Conference of Numerical Analysis and Applied Mathematics, Crete, 2009-09-22
• Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, and Martin Fränzle, Recent Progress on the Integration of ODE Enclosure Methods with the iSAT Solver, Small Workshop on Interval Methods (SWIM), Bourges, 2011-06-14