Luka Le Roux

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 6

Top Topics

Temporal Characteristics

Context Aware Preferences

Ubiquitous Computing Environments

Top Venues

Publications

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
Temporal Breakpoints for Multiverse Debugging. SLE (2023)
Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec
Practical multiverse debugging through user-defined reductions: application to UML models. MoDELS (2022)
Hiba Hnaini, Luka Le Roux, Joël Champeau, Ciprian Teodorov
Security Property Modeling. ICISSP (2021)
Tithnara Nicolas Sun, Ciprian Teodorov, Luka Le Roux
Operational design for advanced persistent threats. MoDELS (Companion) (2020)
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
A Domain-specific Modeling Framework for Attack Surface Modeling. ICISSP (2020)
Luka Le Roux, Ciprian Teodorov
Partially Bounded Context-Aware Verification. SEFM (2019)
Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux
Rewriting Approximations for Fast Prototyping of Static Analyzers. RTA (2007)