Accurate ICP-based floating-point reasoning. - Karsten Scheibler; Felix Neubauer; Ahmed Mahdi; Martin Fränzle; Tino Teige; Tom Bienmüller; Detlef Fehrer; Bernd Becker 001 (FMCAD, 2016)

Advancing Software Model Checking Beyond Linear Arithmetic Theories. - Ahmed Mahdi; Karsten Scheibler; Felix Neubauer; Martin Fränzle; Bernd Becker 001 (Haifa Verification Conference, 2016)

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. - Felix Neubauer; Karsten Scheibler; Bernd Becker 001; Ahmed Mahdi; Martin Fränzle; Tino Teige; Tom Bienmüller; Detlef Fehrer (SC²@SYNASC, 2016)

Evaluating the effectiveness of D-chains in SAT-based ATPG. - Jan Burchard; Felix Neubauer; Pascal Raiola; Dominik Erb; Bernd Becker 001 (LATS, 2017)

Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG. - Pascal Raiola; Jan Burchard; Felix Neubauer; Dominik Erb; Bernd Becker 001 (J. Electron. Test., 2017)

Efficient generation of parametric test conditions for AMS chips with an interval constraint solver. - Felix Neubauer; Jan Burchard; Pascal Raiola; Jochen Rivoir; Bernd Becker 001; Matthias Sauer 002 (VTS, 2018)

MetaConfigurator: A User-Friendly Tool for Editing Structured Data Files. - Felix Neubauer; Paul Bredl; Minye Xu; Keyuriben Patel; Jürgen Pleiss; Benjamin Uekermann (Datenbank-Spektrum, 2024)

Data Model Creation with MetaConfigurator. - Felix Neubauer; Jürgen Pleiss; Benjamin Uekermann (BTW, 2025)