David Kaufmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2023–2026
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICST | Constraint-Focused Benchmark of Combinatorial Testing Tools: A Practitioner's View. | Sebastian Puck, Alexander Perko, David Kaufmann, Franz Wotawa, Iskra Gasparic |
| 2025 | QRS | Formal Methods for Residual Risk Reduction in Cyber-Physical Systems. | David Kaufmann, Radu Mateescu, Lucie Muller, Wendelin Serwe, Franz Wotawa |
| 2024 | DX | Simulation-Based Diagnosis for Cyber-Physical Systems - A General Approach and Case Study on a Dual Three-Phase E-Machine. | David Kaufmann, Matus Kozovsky, Franz Wotawa |
| 2023 | ICST | Applying CT-FLA for AEB Function Testing: A Virtual Driving Case Study. | Ludwig Kampel, Michael Wagner, Dimitris E. Simos, Mihai Nica, Dino Dodig, David Kaufmann, Franz Wotawa |