Lucie Muller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2022–2025
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | QRS | Formal Methods for Residual Risk Reduction in Cyber-Physical Systems. | David Kaufmann, Radu Mateescu, Lucie Muller, Wendelin Serwe, Franz Wotawa |
| 2022 | DATE | Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. | Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe |