Luka Le Roux
Luka Le Roux
Adresse e-mail validée de ensta-bretagne.fr
Titre
Citée par
Citée par
Année
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
642007
Improving model checking with context modelling
P Dhaussy, F Boniol, JC Roger, L Leroux
Advances in Software Engineering 2012, 2012
342012
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
152016
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
122017
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
112014
Context-aware verification of a cruise-control system
C Teodorov, L Leroux, P Dhaussy
International Conference on Model and Data Engineering, 53-64, 2014
82014
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
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
42020
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
42014
Partially bounded context-aware verification
L Le Roux, C Teodorov
International Conference on Software Engineering and Formal Methods, 532-548, 2019
32019
Modélisation UML d'un régulateur de vitesse automobile
L Leroux, J Delatour, P Dhaussy
Génie logiciel 109, xx, 2014
32014
Model‐Based Analysis
F Boniol, P Dhaussy, L Le Roux, JC Roger
Embedded Systems, 157-183, 2013
32013
Model checking of SCADE designed systems
S Heim, X Dumas, E Bonnafous, P Dhaussy, C Teodorov, L Leroux
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016
22016
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
12014
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
Security Property Modeling.
H Hnaini, L Le Roux, J Champeau, C Teodorov
ICISSP, 694-701, 2021
2021
Operational design for advanced persistent threats
TN Sun, C Teodorov, LL Roux
Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020
2020
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
Rewriting for Fast Prototyping of Static Analyzers
Y Boichut, T Genet, T Jensen, L Leroux
INRIA, 2006
2006
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20