Philippe Ledent

According to our database, Philippe Ledent authored at least 5 papers between 2013 and 2024.

Collaborative distances:

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

2024

Testing Resource Isolation for System-on-Chip Architectures.

Philippe Ledent, Radu Mateescu, Wendelin Serwe

Proceedings of the Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, 2024

Improving PSS Test Generation Using Model Checking and Conformance Testing.

Philippe Ledent, Radu Mateescu, Wendelin Serwe

Proceedings of the Forum on Specification & Design Languages, 2024

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

2019

Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving.

Philippe Ledent, Anshul Paigwar, Alessandro Renzaglia, Radu Mateescu, Christian Laugier

Proceedings of the 2019 IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, 2019

2013

Environmental Information System and Odour Monitoring based on Citizen and Technology Innovative Sensors.

Philippe Ledent, Bernard Stevenot, Julien Delva, Wolfgang Kunz, Anne-Claude Romain, Ulrich Uhrner, Philippe Valoggia, Yannick Arnaud, Arnaud De Groof, Virginie Hutsemekers, Giovanna Grosso, Laurence Johannsen

Proceedings of the 27th International Conference on Environmental Informatics for Environmental Protection, 2013