Follow
Luka Le Roux
Luka Le Roux
Verified email at ensta-bretagne.fr
Title
Cited by
Cited by
Year
Rewriting approximations for fast prototyping of static analyzers
Y Boichut, T Genet, T Jensen, L Le Roux
International Conference on Rewriting Techniques and Applications, 48-62, 2007
722007
Improving model checking with context modelling
P Dhaussy, F Boniol, JC Roger, L Leroux
Advances in Software Engineering 2012 (1), 547157, 2012
432012
Environment-driven reachability for timed systems: Safety verification of an aircraft landing gear system
C Teodorov, P Dhaussy, L Le Roux
International Journal on Software Tools for Technology Transfer 19, 229-245, 2017
222017
Past‐Free [ze] reachability analysis: reaching further with DAG‐directed exhaustive state‐space analysis
C Teodorov, L Le Roux, Z Drey, P Dhaussy
Software Testing, Verification and Reliability 26 (7), 516-542, 2016
202016
Transformation de modèles UML vers Fiacre, via les langages intermédiaires tUML et ABCD
F Jouault, C Teodorov, J Delatour, L Le Roux, P Dhaussy
Génie logiciel: le magazine de l'ingénierie du logiciel et des systèmes 109, xx, 2014
132014
Context-aware verification of a cruise-control system
C Teodorov, L Leroux, P Dhaussy
Model and Data Engineering: 4th International Conference, MEDI 2014, Larnaca …, 2014
102014
A domain-specific modeling framework for attack surface modeling
TN Sun, B Drouot, FR Golra, J Champeau, S Guerin, L Le Roux, R Mazo, ...
ICISSP 2020: 6th International Conference on Information Systems Security …, 2020
82020
Context aware model exploration with obp tool to improve model-checking
P Dhaussy, JC Roger, L Leroux, F Boniol
ERTS 12, 1-3, 2012
82012
Practical multiverse debugging through user-defined reductions: Application to uml models
M Pasquier, C Teodorov, F Jouault, M Brun, LL Roux, L Lagadec
Proceedings of the 25th International Conference on Model Driven Engineering …, 2022
62022
Vérification formelle de propriétés: Application de l'outil OBP au cas d'étude CCS
P Dhaussy, L Le Roux, C Teodorov
Génie logiciel: le magazine de l'ingénierie du logiciel et des systèmes 109, xx, 2014
62014
Security property modeling
H Hnaini, L Le Roux, J Champeau, C Teodorov
7th International Conference on Information Systems Security and Privacy …, 2021
52021
Modélisation UML d'un régulateur de vitesse automobile
L Leroux, J Delatour, P Dhaussy
Génie logiciel: le magazine de l'ingénierie du logiciel et des systèmes 109, xx, 2014
52014
Model‐Based Analysis
F Boniol, P Dhaussy, L Le Roux, JC Roger
Embedded Systems, 157-183, 2013
42013
Operational design for advanced persistent threats
TN Sun, C Teodorov, LL Roux
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
32020
Partially bounded context-aware verification
L Le Roux, C Teodorov
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
32019
Techniques and challenges for trace processing from a model-checking perspective
V Ribaud, C Teodorov, Z Drey, L Leroux, P Dhaussy
International Joint Conferences on Computer, Information, Systems Sciences …, 2014
32014
Temporal breakpoints for multiverse debugging
M Pasquier, C Teodorov, F Jouault, M Brun, L Le Roux, L Lagadec
Proceedings of the 16th ACM SIGPLAN International Conference on Software …, 2023
12023
Vérification formelle de propriétés basée sur une réduction de l'espace d'exploration de modèles
L Le Roux, P Dhaussy, F Boniol
Revue Génie Logiciel, 2013
12013
Car Reservation Software Model
H Hnaini, J Champeau, L Le Roux, C Tedorov
2020
Analyse à partir du modèle
F Boniol, P Dhaussy, L Le Roux, JC Roger
Modélisation et analyse de systèmes embarqués, 180-206, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–20