Sur le feu

english09/2014 - I am invited (Lecture Series) to talk about the links between Argumentation and V&V in NATO MSG “Application of Verification and Validation of Models, Simulations and Data” (Rome, Italy, September 25)

francais06/2014 - Anthony Fernandes Pires soutient sa thèse : Amélioration des processus de vérification de programmes par combinaison des Méthodes Formelles avec l’Ingénierie Dirigée par les Modèles.

francais06/2014 - Je serai au Journées Nationales du GDR GPL pour parler du défi 2025 : Manipulation et visualisation de modèles complexes.

francais06/2014 - Je serai à AFADL pour Réflexions sur les liens possibles entre Argumentation et V&V pour le Logiciel.

francais05/2014 - 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

english04/2014 - I am invited (Lecture Series) to talk about the links between Argumentation and V&V in NATO MSG123 (Stockholm and Ottawa)

english02/2014 - I am in Embedded Real Time Software and Systems (ERTS2) for Use of formal methods in embedded software development: stakes, constraints and proposal (paper in ERTS website).

english09/2013 - With Anthony Fernandes Pires, we presout our work: Behavioural Verification in Embedded Software, from Model to Source Code à International Conference on Model Driven Engineering Languages and Systems (MODELS 2013 -).

english06/2013 - Rémi Delmas I we present: Formal methods for exchange policy specification à 25th International Conference on Advanced Information Systems Engineering (CAISE 2013 -).

francais05/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.

english05/2013 - Article about V&V and Argumentation in embedded modular architectures: The MIMOSA frame of reference for the certification of military embedded modular architectures à Symposium on Architecture Definition & Evaluation.

francais01/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.

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

Enseignements

Projets