| 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 | 31 | 2018 |
| Designing, animating, and verifying partial UML Models F Jouault, V Besnard, TL Calvar, C Teodorov, M Brun, J Delatour Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 22 | 2020 |
| 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 | 16 | 2021 |
| 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 | 14 | 2019 |
| Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap: Report on the MDE@ DeRun 2018 Workshop H Bruneliere, R Eramo, A Gomez, V Besnard, JM Bruel, M Gogolla, ... Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018 | 14 | 2018 |
| 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 | 14 | 2017 |
| Embedded UML model execution to bridge the gap between design and runtime V Besnard, M Brun, F Jouault, C Teodorov, P Dhaussy Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018 | 10 | 2018 |
| Animuml as a uml modeling and verification teaching tool F Jouault, V Sebille, V Besnard, T Le Calvar, C Teodorov, M Brun, ... 2021 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2021 | 5 | 2021 |
| A model checkable UML soccer player V Besnard, C Teodorov, F Jouault, M Brun, P Dhaussy 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 4 | 2019 |
| Catalytic self-folding of 2D structures through cascading magnet reactions EJ Southern, V Besnard, B Lahaye, AM Tyrrell, S Miyashita Royal Society open science 6 (7), 182128, 2019 | 4 | 2019 |
| The TTC 2018 Social Media Case, by ATL and AOF V Besnard, F Jouault, T Le Calvar, M Tisi 11th Transformation Tool Contest, co-located with the 2018 Software …, 2018 | 4 | 2018 |
| EMI: Une approche pour unifier l¢analyse et l¢exécution embarquée à l¢aide d¢un interpréteur de modèles pilotable-Application aux modèles UML des systèmes embarqués V Besnard ENSTA Bretagne, 2020 | 3 | 2020 |
| Modular deployment of UML models for V&V activities and embedded execution V Besnard, F Jouault, M Brun, C Teodorov, P Dhaussy, J Delatour Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 3 | 2020 |
| EMI-An approach to unify analysis and embedded execution with a controllable model interpreter V Besnard < bound method Organization. get_name_with_acronym of< Organization: TEL …, 2020 | 2 | 2020 |
| AnimUML: A practical tool for partial model animation and analysis F Jouault, V Besnard, M Brun, T Le Calvar, F Chhel, M Clavreul, ... Science of Computer Programming 232, 103050, 2024 | 1 | 2024 |
| Unification de la Vérification et de l¢Exécution Embarquée de Modèles V Besnard, ET ERIS Actes des 18èmes journées sur les Approches Formelles dans l¢Assistance au …, 2019 | 1 | 2019 |
| EMI: Un Interpréteur de Modèles Embarqué pour l¢Exécution et la Vérification de Modèles UML V Besnard, M Brun, P Dhaussy, F Jouault, C Teodorov Actes des 18èmes journées sur les Approches Formelles dans l¢Assistance au …, 2019 | 1 | 2019 |
| AMT: A Runtime Verification Tool of Video Streams V Besnard, M Huet, S Bivolarov, N Saadi, G Cornard International Conference on Runtime Verification, 315-326, 2023 | | 2023 |
| 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)| 978-1-6654-2484-4/21/$31.00© 2021 IEEE| DOI: 10.1109/MODELS … S Abrahão, B Adhikari, I Alfonso, H Ali, QUA Ali, JPA Almeida, V Amaral, ... | | |
| Verifying and Monitoring UML Models with Observer Automata V BESNARD, C TEODOROV, F JOUAULT, M BRUN, P DHAUSSY | | |
Frédéric JouaultESEOVerified email at eseo.fr
