Rewriting Approximations for Fast Prototyping of Static Analyzers. - Yohan Boichut; Thomas Genet; Thomas P. Jensen; Luka Le Roux (RTA, 2007)

Improving Model Checking with Context Modelling. - Philippe Dhaussy; Frédéric Boniol; Jean-Charles Roger; Luka Leroux (Adv. Softw. Eng., 2012)

Context-Aware Verification of a Cruise-Control System. - Ciprian Teodorov; Luka Leroux; Philippe Dhaussy (MEDI, 2014)

Past-Free[ze] reachability analysis: reaching further with DAG-directed exhaustive state-space analysis. - Ciprian Teodorov; Luka Leroux; Zoé Drey; Philippe Dhaussy (Softw. Test. Verification Reliab., 2016)

Environment-driven reachability for timed systems - Safety verification of an aircraft landing gear system. - Ciprian Teodorov; Philippe Dhaussy; Luka Leroux (Int. J. Softw. Tools Technol. Transf., 2017)

Partially Bounded Context-Aware Verification. - Luka Le Roux; Ciprian Teodorov (SEFM, 2019)

A Domain-specific Modeling Framework for Attack Surface Modeling. - Tithnara Nicolas Sun; Bastien Drouot; Fahad Rafique Golra; Joël Champeau; Sylvain Guérin; Luka Le Roux; Raúl Mazo; Ciprian Teodorov; Lionel Van Aertryck; Bernard L'Hostis (ICISSP, 2020)

Operational design for advanced persistent threats. - Tithnara Nicolas Sun; Ciprian Teodorov; Luka Le Roux (MoDELS (Companion), 2020)

Security Property Modeling. - Hiba Hnaini; Luka Le Roux; Joël Champeau; Ciprian Teodorov (ICISSP, 2021)

Practical multiverse debugging through user-defined reductions: application to UML models. - Matthias Pasquier; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Luka Le Roux; Loïc Lagadec (MoDELS, 2022)

Temporal Breakpoints for Multiverse Debugging. - Matthias Pasquier; Ciprian Teodorov; Frédéric Jouault; Matthias Brun 001; Luka Le Roux; Loïc Lagadec (SLE, 2023)