F. Jouault, V. Besnard, M. Brun, T. Le Calvar, F. Chhel, M. Clavreul, J. Delatour, M. Méré, M. Pasquier, C. Teodorov, “AnimUML: A Practical Tool for Partial Model Animation and Analysis”, Science of Computer Programming, Volume 232, 2024, 103050, ISSN 0167-6423, [DOI]

M. Pasquier, C. Teodorov, F. Jouault, M. Brun, L. Le Roux, L. Lagadec, “Temporal Breakpoints for Multiverse Debugging”, SLE 2023: Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, October 2023, Pages 125–137, Cascais, Portugal, [DOI]

M Pasquier, C Teodorov, F Jouault, M Brun, L Lagadec, “Debugging Paxos in the UML Multiverse”, MODELS ‘22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (MODELS-C/MoDeVVa), Oct, 2023,Västerås, Sweden.

M. Clavreul, F. Jouault, M. Méré, M. Brun, T. Le Calvar, M. Pasquier, C. Teodorov, “Génération de correctifs pour les modèles partiels d’AnimUML”, IHM / GL-IHM, Rennes, 2023

M. Pasquier, C. Teodorov, F. Jouault, M. Brun, L. Lagadec, “Débogage Multivers de Modèles UML”, 22ème journées des Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2023), [PDF]

C. Teodorov, “G∀min∃: Exploring the Boundary Between Executable Specification Languages and Behavior Analysis Tools, HDR, Université de Bretagne Occidentale (UBO), Brest. [Link] [PDF] [slides]

M. Pasquier, C. Teodorov, F. Jouault, M. Brun, L. Le Roux, L. Lagadec, “Practical Multiverse Debugging Through User-Defined Reductions: Application to UML Models”, MODELS ‘22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (MODELS’22) October 2022, Pages 87–97, Montreal, Canada, [DOI]

F. Jouault, M. Méré, M. Brun, T. Le Calvar, M. Pasquier, C. Teodorov, “From OCL-based model static analysis to quick fixes”, MODELS ‘22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings (MODELS-C/OCL), October, 2022, Pages 889–893, Montreal, Canada, [DOI]

F. Jouault, C. Teodorov, M. Brun, “Smart Home Model Verification with AnimUML (Poster)”, STAF 2022 Workshop MESS’22: International workshop on MDE for Smart IoT Systems, July, 2022, Nantes, France.

E. Fournier, C. Teodorov, L. Lagadec, “Dolmen: FPGA Swarm for Safety and Liveness Verification”, Software and Systems Modeling, 2022 Design, Automation and Test in Europe Conference (DATE’22), 2022.

V. Besnard, C. Teodorov, F. Jouault, M. Brun, P. Dhaussy, “Unified verification and monitoring of executable UML specifications. A transformation-free approach”, Software and Systems Modeling, Springer Verlag, 2021, [DOI]

F. Jouault, V. Sebille, V. Besnard, T. Le Calvar, C. Teodorov, M. Brun, J. Delatour, “AnimUML as a UML Modeling and Verification Teaching Tool”, 24th International Conference on Model Driven Engineering Languages and Systems (MODELS 2021), Oct 2021, Virtual event, Fukuoka, Japan.

É. Fournier, C. Teodorov, L. Lagadec. “Carnac: Algorithm Variability for Fast Swarm Model-Checking on FPGA”. International Conference on Field-Programmable Logic and Applications (FPL’21), Aug 2021, Virtual event, Dresden, Germany.

H. Hnaini, L. Le Roux, J. Champeau, C. Teodorov. “Security property modeling”. 7th International Conference on Information Systems Security and Privacy (ICISSP 2021), Feb 2021, Vienne - Virtual Online, Austria. pp.694-701.

V. BESNARD, “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, Ph.D. Thesis, Dec. 2020. [PDF] [slides] [video]

M. Brumbulli, E. Gaudin, C. Teodorov, “Identifying unreachable paths in BPMN models”, Complex Systems Design & Management (CSD&M’20), Dec. 2020, Virtual event, Paris.

F. Jouault, V. Besnard, T. Le Calvar, C. Teodorov, M. Brun, J. Delatour, “Designing, Animating, and Verifying Partial UML Models”, 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), Oct 2020, Virtual event, Canada. [DOI]

V. Besnard, F. Jouault, M. Brun, C. Teodorov, P. Dhaussy, J. Delatour, “Modular Deployment of UML Models for V&V Activities and Embedded Execution”, 17th Workshop on Model-Driven Engineering Verification & Validation (MoDeVVa’20), Oct 2020, Virtual Event, Canada. [PDF] [slides]

T. N. Sun, C. Teodorov, L. Le Roux, “Operational Design for Advanced Persistent Threats”, Second International Workshop on Security for and by Model-Driven Engineering (SecureMDE’20), Oct 2020, Virtual event, Canada. [PDF] [slides]

B. Diène, O. Diallo, J. J. P. C. Rodrigues, E.H. M. Ndoye, C. Teodorov, “Data Management Mechanisms for IoT: Architecture, Challenges and Solutions”, 5th International Conference on Smart and Sustainable Technologies, Sept. 2020, Virtual event. [PDF]

R. Cuinat, C. Teodorov and J. Champeau, “SpecEdit: Projectional Editing for TLA+ Specifications”, IEEE Workshop on Formal Requirements (FORMREQ’20), Sept. 2020, Zurich, Switzerland. [DOI] [PDF] [slides]

E. Fournier, C. Teodorov and L. Lagadec, “Menhir: Generic High-Speed FPGA Model-Checker”, 23rd Euromicro Conference on Digital System Design (DSD’20), Aug. 2020, Kranj, Slovenia. [DOI] [PDF] [slides]

T. N. Sun, L. Le Roux, C. Teodorov and P. Dhaussy, “Exploration de Scénarios de Systèmes Cyber-Physiques pour l’Analyse de la Menace”, 19e journées Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL’20). [PDF]

T.N. Sun, B. Drouot, F.R. Golra, J. Champeau, S. Guerin, L. Le Roux, R. Mazo, C. Teodorov, L. Van Aertryck, B. L’Hostis, “A Domain-specific Modeling Framework for Attack Surface Modeling”, 6th International Conference on Information Systems Security and Privacy (ICISSP’20), Feb. 2020, Valetta, Malta. [DOI] [PDF] [poster]

M. Brumbulli, E. Gaudin, C. Teodorov. “Automatic Verification of BPMN Models”, 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France. [PDF] [slides]

V. LEILDE, “Aide au diagnostic de vérification formelle de systèmes”, Ph.D. Thesis, Nov. 2019. [PDF]

L. Le Roux, C. Teodorov, “Partially Bounded Context-Aware Verification”, Software Engineering and Formal Methods (SEFM’19), Oslo, Norway, september 2019, LNCS, vol 11724, Springer, Cham, pp. 532–548. [DOI] [PDF] [slides]

V. Besnard, C. Teodorov, F. Jouault, M. Brun, P. Dhaussy, “Verifying and Monitoring UML Models with Observer Automata”, 22th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS’19), Munich, Germany, september 2019. [PDF] [slides]

V. Besnard, M. Brun, P. Dhaussy, F. Jouault and C. Teodorov, “A Model Checkable UML Soccer Player”, 3rd Workshop on Model-Driven Engineering Tools, Munich, Germany, September 2019. [PDF] [slides]

V. Besnard, “Unification de la Vérification et de l’Exécution Embarquée de Modèles”, 18e journées Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL’19), Toulouse, France, june 2019. [PDF] [slides]

V. Besnard, M. Brun, P. Dhaussy, F. Jouault and C. Teodorov, “EMI : Un Interpréteur de Modèles Embarqué pour l’Exécution et la Vérification de Modèles UML”, 18e journées Approches Formelles dans l’Assistance au Développement de Logiciels, Toulouse, France, june 2019. [PDF] [slides]

F. R. Golra, J. Champeau and C Teodorov, “Early Validation Framework for Critical and Complex Process-Centric Systems”. In: Reinhartz-Berger I., Zdravkovic J., Gulden J., Schmidt R. (eds) Enterprise, Business-Process and Information Systems Modeling. BPMDS 2019, EMMSAD 2019. Lecture Notes in Business Information Processing, vol 352. Springer, Cham. [DOI] [PDF]

L. LE ROUX, “Critical embedded system verification, a non-intrusive approach to divide the initial challenge into a sound set of smaller ones” “(Validation par parties et non-intrusive de systèmes embarqués)”, Ph.D. Thesis, Nov. 2018. [PDF] [slides]

V. Besnard, M. Brun, F. Jouault, C. Teodorov and P. Dhaussy, “Unified LTL Verification and Embedded Execution of UML Models”, 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS’18), Copenhagen, Denmark, october 2018. [PDF] [slides]

V. Besnard, M. Brun, F. Jouault, C. Teodorov and P. Dhaussy, “Embedded UML Model Execution to Bridge the Gap Between Design and Runtime”, First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, Toulouse, France, june 2018. [PDF] [slides]

V. Besnard, M. Brun, P. Dhaussy, F. Jouault, D. Olivier, and C. Teodorov, “Towards one Model Interpreter for Both Design and Deployment”, ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Austin, United States, september 2017. [PDF] [slides]

Z. Drey and C. Teodorov, “Object-Oriented Design Pattern for DSL Program Monitoring”, in 9th ACM SIGPLAN International Conference on Software Language Engineering (SLE), Amsterdam, Netherlands, october 2016. [PDF] [slides]