Lucie Muller

According to our database, Lucie Muller authored at least 4 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formal Methods for Residual Risk Reduction in Cyber-Physical Systems.

David Kaufmann, Radu Mateescu, Lucie Muller, Wendelin Serwe, Franz Wotawa

Proceedings of the 25th International Conference on Software Quality, 2025

2023

Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model.

Jean-Baptiste Horel, Philippe Ledent, Lina Marsso, Lucie Muller, Christian Laugier, Radu Mateescu, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe

J. Intell. Robotic Syst., April, 2023

2022

Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing.

Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe

Proceedings of the Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, 2022

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

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022