Felix Neubauer

11 papers B 1Misc 2Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
AI-assisted JSON Schema Creation and Mapping.
MODELS-C
Felix Neubauer, Benjamin Uekermann, Jürgen Pleiss
2025 J jnl
AI-assisted JSON Schema Creation and Mapping.
CoRR
Felix Neubauer, Jürgen Pleiss, Benjamin Uekermann
2025 Misc conf
Data Model Creation with MetaConfigurator.
BTW
Felix Neubauer, Jürgen Pleiss, Benjamin Uekermann
2024 J jnl
MetaConfigurator: A User-Friendly Tool for Editing Structured Data Files.
Datenbank-Spektrum
Felix Neubauer, Paul Bredl, Minye Xu, Keyuriben Patel, Jürgen Pleiss, Benjamin Uekermann
2018 Misc conf
Efficient generation of parametric test conditions for AMS chips with an interval constraint solver.
VTS
Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer
2017 — conf
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.
MBMV
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
2017 J jnl
Evaluating the Effectiveness of D-chains in SAT-based ATPG and Diagnostic TPG.
J. Electron. Test.
Pascal Raiola, Jan Burchard, Felix Neubauer, Dominik Erb, Bernd Becker
2017 — conf
Evaluating the effectiveness of D-chains in SAT-based ATPG.
LATS
Jan Burchard, Felix Neubauer, Pascal Raiola, Dominik Erb, Bernd Becker
2016 — conf
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.
SC²@SYNASC
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
2016 B conf
Accurate ICP-based floating-point reasoning.
FMCAD
Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
2016 — conf
Advancing Software Model Checking Beyond Linear Arithmetic Theories.
Haifa Verification Conference
Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker