VLDB 2026 Research / reviewers in the wild / expert
Andreas Eggers
dblp:92/4864
· DBLP profile ↗
5ranked-venue papers
3as first author
1since 2021 · last 2021
0009-0009-3625-2895ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 5 · 3 first-author · 1 since 2021Theory of computation · 2 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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 |
FM | 2 |
| 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. | 1 |
| 2011 | Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods
Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Martin Fränzle |
SEFM | 1 |
| 2010 | Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
Martin Fränzle, Tino Teige, Andreas Eggers |
IFM | 3 |
| 2008 | SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
Andreas Eggers, Martin Fränzle, Christian Herde |
ATVA | 1 |