Felix Neubauer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2016–2025
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | BTW | Data Model Creation with MetaConfigurator. | Felix Neubauer, Jrgen Pleiss, Benjamin Uekermann |
| 2025 | MODELS | AI-assisted JSON Schema Creation and Mapping. | Felix Neubauer, Benjamin Uekermann, Jrgen Pleiss |
| 2018 | VTS | 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 |
| 2016 | FMCAD | Accurate ICP-based floating-point reasoning. | Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Frnzle, Tino Teige, Tom Bienmller, Detlef Fehrer, Bernd Becker |
| 2016 | SYNASC | Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. | Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Frnzle, Tino Teige, Tom Bienmller, Detlef Fehrer |