Luka Le Roux
Luka Le Roux
Verified email at
Cited by
Cited by
Rewriting approximations for fast prototyping of static analyzers
Y Boichut, T Genet, T Jensen, LL Roux
International Conference on Rewriting Techniques and Applications, 48-62, 2007
Improving model checking with context modelling
P Dhaussy, F Boniol, JC Roger, L Leroux
Advances in Software Engineering 2012, 2012
Environment-driven reachability for timed systems
C Teodorov, P Dhaussy, L Le Roux
International Journal on Software Tools for Technology Transfer 19 (2), 229-245, 2017
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
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 109, xx, 2014
Context-aware verification of a cruise-control system
C Teodorov, L Leroux, P Dhaussy
International Conference on Model and Data Engineering, 53-64, 2014
Context aware model exploration with obp tool to improve model-checking
P Dhaussy, JC Roger, L Leroux, F Boniol
ERTS 12, 1-3, 2012
A domain-specific modeling framework for attack surface modeling
T Sun, B Drouot, F Golra, J Champeau, S Guerin, L Le Roux, R Mazo, ...
ICISSP 2020: 6th International Conference on Information Systems Security …, 2020
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 109, xx, 2014
Modélisation UML d'un régulateur de vitesse automobile
L Leroux, J Delatour, P Dhaussy
Génie logiciel 109, xx, 2014
Model‐Based Analysis
F Boniol, P Dhaussy, L Le Roux, JC Roger
Embedded Systems, 157-183, 2013
Partially bounded context-aware verification
L Le Roux, C Teodorov
International Conference on Software Engineering and Formal Methods, 532-548, 2019
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
Operational design for advanced persistent threats
TN Sun, C Teodorov, LL Roux
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
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
Security Property Modeling.
H Hnaini, L Le Roux, J Champeau, C Teodorov
ICISSP, 694-701, 2021
Car Reservation Software Model
H Hnaini, J Champeau, L Le Roux, C Tedorov
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
Rewriting for Fast Prototyping of Static Analyzers
Y Boichut, T Genet, T Jensen, L Leroux
INRIA, 2006
" Validation par parties et non-intrusive de systèmes embarqués
L Le Roux
The system can't perform the operation now. Try again later.
Articles 1–20