Felix Neubauer
According to our database1,
Felix Neubauer
authored at least 6 papers
between 2016 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Efficient generation of parametric test conditions for AMS chips with an interval constraint solver.
Proceedings of the 36th IEEE VLSI Test Symposium, 2018
2017
J. Electron. Test., 2017
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017
Proceedings of the 18th IEEE Latin American Test Symposium, 2017
2016
Proceedings of the Hardware and Software: Verification and Testing, 2016
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016