| 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 | 72 | 2007 |
| Improving model checking with context modelling P Dhaussy, F Boniol, JC Roger, L Leroux Advances in Software Engineering 2012 (1), 547157, 2012 | 43 | 2012 |
| 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 | 22 | 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 | 20 | 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: le magazine de l'ingénierie du logiciel et des systèmes 109, xx, 2014 | 13 | 2014 |
| 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 | 10 | 2014 |
| 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 | 8 | 2020 |
| Context aware model exploration with obp tool to improve model-checking P Dhaussy, JC Roger, L Leroux, F Boniol ERTS 12, 1-3, 2012 | 8 | 2012 |
| 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 | 6 | 2022 |
| 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 | 6 | 2014 |
| Security property modeling H Hnaini, L Le Roux, J Champeau, C Teodorov 7th International Conference on Information Systems Security and Privacy …, 2021 | 5 | 2021 |
| 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 | 5 | 2014 |
| Model‐Based Analysis F Boniol, P Dhaussy, L Le Roux, JC Roger Embedded Systems, 157-183, 2013 | 4 | 2013 |
| Operational design for advanced persistent threats TN Sun, C Teodorov, LL Roux Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 3 | 2020 |
| Partially bounded context-aware verification L Le Roux, C Teodorov Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019 | 3 | 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 | 3 | 2014 |
| 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 | 1 | 2023 |
| 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 | 1 | 2013 |
| 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 |
