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 (EnviroInfo, 2013)

Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving. - Philippe Ledent; Anshul Paigwar; Alessandro Renzaglia; Radu Mateescu 001; Christian Laugier (CIS/RAM, 2019)

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 001; Anshul Paigwar; Alessandro Renzaglia; Wendelin Serwe (J. Intell. Robotic Syst., 2023)

Improving PSS Test Generation Using Model Checking and Conformance Testing. - Philippe Ledent; Radu Mateescu 001; Wendelin Serwe (FDL, 2024)

Testing Resource Isolation for System-on-Chip Architectures. - Philippe Ledent; Radu Mateescu 001; Wendelin Serwe (MARS@ETAPS, 2024)

Formal Modeling for Testing of System-on-Chip Resource Isolation. (Modélisation formelle pour tester l'isolation des ressources dans un système-sur-puce). - Philippe Ledent (2024)