Felix Neubauer

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 8

Top Topics

Constraint Solver

Bounded Model Checking

Floating Point Arithmetic

Senior Citizens

Top Venues

Datenbank-Spektrum

J. Electron. Test.

Publications

Felix Neubauer, Paul Bredl, Minye Xu, Keyuriben Patel, Jürgen Pleiss, Benjamin Uekermann
MetaConfigurator: A User-Friendly Tool for Editing Structured Data Files. Datenbank-Spektrum 24 (2) (2024)
Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer
Efficient generation of parametric test conditions for AMS chips with an interval constraint solver. VTS (2018)
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. MBMV (2017)
Jan Burchard, Felix Neubauer, Pascal Raiola, Dominik Erb, Bernd Becker
Evaluating the effectiveness of D-chains in SAT-based ATPG. LATS (2017)
Pascal Raiola, Jan Burchard, Felix Neubauer, Dominik Erb, Bernd Becker
Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG. J. Electron. Test. 33 (6) (2017)
Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
Accurate ICP-based floating-point reasoning. FMCAD (2016)
Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker
Advancing Software Model Checking Beyond Linear Arithmetic Theories. Haifa Verification Conference (2016)
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. SC²@SYNASC (2016)