Luka Le Roux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2019–2023
Best venue rank
A
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SLE | Temporal Breakpoints for Multiverse Debugging. | Matthias Pasquier, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Luka Le Roux, Loc Lagadec |
| 2022 | MODELS | Practical multiverse debugging through user-defined reductions: application to UML models. | Matthias Pasquier, Ciprian Teodorov, Frdric Jouault, Matthias Brun, Luka Le Roux, Loc Lagadec |
| 2021 | ICISSP | Security Property Modeling. | Hiba Hnaini, Luka Le Roux, Jol Champeau, Ciprian Teodorov |
| 2020 | ICISSP | A Domain-specific Modeling Framework for Attack Surface Modeling. | Tithnara Nicolas Sun, Bastien Drouot, Fahad Rafique Golra, Jol Champeau, Sylvain Gurin, Luka Le Roux, Ral Mazo, Ciprian Teodorov, Lionel Van Aertryck, Bernard L'Hostis |
| 2020 | MODELS | Operational design for advanced persistent threats. | Tithnara Nicolas Sun, Ciprian Teodorov, Luka Le Roux |
| 2019 | SEFM | Partially Bounded Context-Aware Verification. | Luka Le Roux, Ciprian Teodorov |