| Robotic ocean vehicles for marine science applications: the european asimov project A Pascoal, P Oliveira, C Silvestre, L Sebastião, M Rufino, V Barroso, ... OCEANS 2000 MTS/IEEE Conference and Exhibition. Conference Proceedings (Cat …, 2000 | 197 | 2000 |
| Evaluating context descriptions and property definition patterns for software formal validation P Dhaussy, PY Pillain, S Creff, A Raji, Y Le Traon, B Baudry Model Driven Engineering Languages and Systems: 12th International …, 2009 | 60 | 2009 |
| Global control synthesis for an MIMD/FPGA machine P Dhaussy, JM Filloque, B Pottier, S Rubini Proceedings of IEEE Workshop on FPGA's for Custom Computing Machines, 72-81, 1994 | 50 | 1994 |
| Reducing state explosion with context modeling for model-checking P Dhaussy, JC Roger, F Boniol 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering …, 2011 | 45 | 2011 |
| AADL execution semantics transformation for formal verification T Abdoul, J Champeau, P Dhaussy, PY Pillain, JC Roger 13th IEEE International Conference on Engineering of Complex Computer …, 2008 | 45 | 2008 |
| Improving model checking with context modelling P Dhaussy, F Boniol, JC Roger, L Leroux Advances in Software Engineering 2012 (1), 547157, 2012 | 43 | 2012 |
| Unified LTL verification and embedded execution of UML models V Besnard, M Brun, F Jouault, C Teodorov, P Dhaussy Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018 | 33 | 2018 |
| Cdl (context description language): syntax and semantics P Dhaussy, JC Roger Rapport technique, ENSTA-Bretagne 37, 2011 | 23 | 2011 |
| 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 |
| Extending the Translation from SDL to Promela A Prigent, F Cassez, P Dhaussy, O Roux Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002 | 21 | 2002 |
| 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 |
| Context-aware verification of a landing gear system P Dhaussy, C Teodorov ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th …, 2014 | 16 | 2014 |
| Unified verification and monitoring of executable UML specifications: a transformation-free approach V Besnard, C Teodorov, F Jouault, M Brun, P Dhaussy Software and Systems Modeling 20 (6), 1825-1855, 2021 | 14 | 2021 |
| Towards One Model Interpreter for Both Design and Deployment. V Besnard, M Brun, P Dhaussy, F Jouault, D Olivier, C Teodorov MoDELS (Satellite Events), 102-108, 2017 | 13 | 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: le magazine de l'ingénierie du logiciel et des systèmes 109, xx, 2014 | 13 | 2014 |
| Using context descriptions and property definition patterns for software formal verification P Dhaussy, J Auvray, S De Belloy, F Boniol, E Landel 2008 IEEE International Conference on Software Testing Verification and …, 2008 | 13 | 2008 |
| Mise en œuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués. P Dhaussy, F Boniol INGENIERIE DES SYSTEMES D INFORMATION 12 (5), 133, 2007 | 13 | 2007 |
| Verifying and monitoring UML models with observer automata: A transformation-free approach V Besnard, C Teodorov, F Jouault, M Brun, P Dhaussy 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 10 | 2019 |
| 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 |
| Embedded UML model execution to bridge the gap between design and runtime V Besnard, M Brun, F Jouault, C Teodorov, P Dhaussy Federation of International Conferences on Software Technologies …, 2018 | 9 | 2018 |
