Björn Beber

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 1

Top Topics

Search Algorithm

Top Venues

Sci. Comput. Program.

University of Mainz, Germany (PHD)

Education History

University of Mainz, Germany

PHD

Publications

Ernst Althaus, Björn Beber, Werner Damm, Stefan Disch, Willem Hagemann, Astrid Rakow, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement. Sci. Comput. Program. 148 (2017)
Ernst Althaus, Björn Beber, Joschka Kupilas, Christoph Scholl
Improving Interpolants for Linear Arithmetic. ATVA (2015)