Felix Neubauer

According to our database, Felix Neubauer authored at least 7 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

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, July, 2024

2018

Efficient generation of parametric test conditions for AMS chips with an interval constraint solver.

Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer

Proceedings of the 36th IEEE VLSI Test Symposium, 2018

2017

Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG.

Pascal Raiola, Jan Burchard, Felix Neubauer, Dominik Erb, Bernd Becker

J. Electron. Test., 2017

Evaluating the effectiveness of D-chains in SAT-based ATPG.

Jan Burchard, Felix Neubauer, Pascal Raiola, Dominik Erb, Bernd Becker

Proceedings of the 18th IEEE Latin American Test Symposium, 2017

2016

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.

Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer

Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016

Advancing Software Model Checking Beyond Linear Arithmetic Theories.

Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker

Proceedings of the Hardware and Software: Verification and Testing, 2016

Accurate ICP-based floating-point reasoning.

Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016