Johann C. Dauer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2018–2026
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Trace Repair for Temporal Behavior Trees. | Sebastian Schirmer, Philipp Schitz, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan |
| 2025 | ICIAP | There is no Model to Beat Them All: Recommendations for Deep Learning Model Selection When Training on Synthetic Images. | Joachim Rter, Johann C. Dauer, Umut Durak |
| 2021 | RV | Monitoring with Verified Guarantees. | Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer |
| 2018 | SAFECOMP | Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft. | Sebastian Schirmer, Christoph Torens, Florian Nikodem, Johann C. Dauer |