Philippe Ledent

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 3

Top Topics

Predicate Calculus

Grand Challenge

Top Venues

J. Intell. Robotic Syst.

Publications

Philippe Ledent, Radu Mateescu, Wendelin Serwe
Testing Resource Isolation for System-on-Chip Architectures. MARS@ETAPS (2024)
Jean-Baptiste Horel, Philippe Ledent, Lina Marsso, Lucie Muller, Christian Laugier, Radu Mateescu, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe
Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model. J. Intell. Robotic Syst. 107 (4) (2023)
Philippe Ledent, Anshul Paigwar, Alessandro Renzaglia, Radu Mateescu, Christian Laugier
Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving. CIS/RAM (2019)
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
Environmental Information System and Odour Monitoring based on Citizen and Technology Innovative Sensors. EnviroInfo (2013)