Felix Neubauer

According to our database, Felix Neubauer authored at least 6 papers between 2016 and 2018.

Collaborative distances:

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

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

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 Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 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

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