Andreas Eggers

Statistics

Publications

Citations

144

H-Index

Active since

2008

Affiliations

Carl von Ossietzky Universität Oldenburg(Current)

Andreas Eggers is an author at Carl von Ossietzky Universität Oldenburg specializing in computer science, hybrid systems, and model-based systems engineering.

Publications per year

2008–2012

Publications

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

Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov et al. · Software & Systems Modeling · 2012 · 46 citations

Computing, Computer Science, Systems Engineering +6

Engineering constraint solvers for automatic analysis of probabilistic hybrid automata

Martin Fränzle, Tino Teige, Andreas Eggers · The Journal of Logic and Algebraic Programming · 2010 · 39 citations

Computing, Computer Engineering, Computer Science +13

Analysis of Hybrid Systems Using HySAT

Christian Herde, Andreas Eggers, Martin Fr et al. · 2008 · 36 citations

Engineering, Computer Engineering, Computer Science +17

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

Tino Teige, Andreas Eggers, Martin Fränzle · Nonlinear Analysis Hybrid Systems · 2010 · 23 citations

Engineering, Computer Science, Systems Engineering +14

1–4 of 4