paper 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]
paper 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]
paper 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]
paper 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, Toulouse, France, june 2019. [PDF] [slides]
paper 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]
paper 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]
paper 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]
paper 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]
paper 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]
paper 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]