Sur le feu

Mai 2014 Atelier / Table ronde : Modélisation et Visualisation (Inforsid Lyon) Venez nombreux ! Pour plus d'information le site VUExCoSI
Table ronde adossée à la session Inforsid 2014 Manipulation, visualisation et exploitation de modèles complexes

04/2014 Je suis invité (Lecture Series) pour parler des liens entre Argumentation et V&V aux NATO MSG “Application of Verification and Validation of Models, Simulations and Data” (Stockholm, 24-25 Avril et Ottawa 05-06 mai 2014)

02/2014 Je serai à Embedded Real Time Software and Systems (ERTS2) pour Use of formal methods in embedded software development: stakes, constraints and proposal.

09/2013 Avec Anthony Fernandes Pires, nous présentons nos travaux : Behavioural Verification in Embedded Software, from Model to Source Code à International Conference on Model Driven Engineering Languages and Systems (MODELS 2013).

06/2013 Rémi Delmas et moi présentons nos travaux : Formal methods for exchange policy specification à 25th International Conference on Advanced Information Systems Engineering (CAISE 2013).

05/2013 Je présente : Modélisation graphique des SI. Du traitement visuel de modèles complexes à Inforsid 2013, bilan du groupe de travail interdisciplinaire que je coordonne avec David Bihanic.

05/2013 Article sur les liens entre V&V et argumentation : The MIMOSA frame of reference for the certification of military embedded modular architectures à Symposium on Architecture Definition & Evaluation.

01/2013 Je suis invité au LACL pour présenter nos travaux avec Rémi Delmas sur ingénierie des exigences et politique d'échange d'information.

11/2012 Je suis invité avec Arnaud Banos à Mov’éo Days 2012 pour parler de la complexité des systèmes informatiques.

Enseignements

Projets