Luka Leroux

According to our database, Luka Leroux authored at least 11 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Temporal Breakpoints for Multiverse Debugging.

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec

Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

2022

Practical multiverse debugging through user-defined reductions: application to UML models.

Matthias Pasquier, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Luka Le Roux, Loïc Lagadec

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

2021

Security Property Modeling.

Hiba Hnaini, Luka Le Roux, Joël Champeau, Ciprian Teodorov

Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021

2020

Operational design for advanced persistent threats.

Tithnara Nicolas Sun, Ciprian Teodorov, Luka Le Roux

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

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

Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020

2019

Partially Bounded Context-Aware Verification.

Luka Le Roux, Ciprian Teodorov

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

2017

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

2016

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

2014

Context-Aware Verification of a Cruise-Control System.

Ciprian Teodorov, Luka Leroux, Philippe Dhaussy

Proceedings of the Model and Data Engineering - 4th International Conference, 2014

2012

Improving Model Checking with Context Modelling.

Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Luka Leroux

Adv. Softw. Eng., 2012

2007

Rewriting Approximations for Fast Prototyping of Static Analyzers.

Yohan Boichut, Thomas Genet, Thomas P. Jensen, Luka Le Roux

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007