| 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 | 63 | 2007 |
| Improving model checking with context modelling P Dhaussy, F Boniol, JC Roger, L Leroux Advances in Software Engineering 2012, 2012 | 37 | 2012 |
| 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 | 17 | 2016 |
| 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 | 15 | 2017 |
| 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 | 12 | 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 | 9 | 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 | 8 | 2012 |
| Environment-driven reachability for timed systems. Safety verification of an aircraft landing gear system C Teodorov, P Dhaussy, L Le Roux Int. J. Softw. Tools Technol. Transf. doi 10, 2016 | 6 | 2016 |
| 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 | 5 | 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 | 5 | 2014 |
| Modélisation UML d'un régulateur de vitesse automobile L Leroux, J Delatour, P Dhaussy Génie logiciel 109, xx, 2014 | 4 | 2014 |
| Model‐Based Analysis F Boniol, P Dhaussy, L Le Roux, JC Roger Embedded Systems, 157-183, 2013 | 4 | 2013 |
| Partially bounded context-aware verification L Le Roux, C Teodorov International Conference on Software Engineering and Formal Methods, 532-548, 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 | 2 | 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 | 1 | 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 | 1 | 2013 |
| Security Property Modeling. H Hnaini, L Le Roux, J Champeau, C Teodorov ICISSP, 694-701, 2021 | | 2021 |
| 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 |
