Sur le feu

english09/2015 - WISARD: Workshop on Information Systems for AlaRm Diffusion, (WISARD is an ADBIS 2015 Worshop). Submission Deadline: April 5, 2015

english06/2015 - I am in CAISE'15 for Need-to-share & non-diffusion requirements verification in exchange policies.

francais05/2015 - Je serai à Inforsid pour Vérification automatique d'exigences pour les politiques d'échange d'information.

english04/2015 - I am in CSCWD'15 for A Process to Support and to Report Collaborative Decision.

francais12/2014 - revue Génie Logiciel : Exigences de confidentialité et de diffusion concernant les politiques d’échanges d’information.

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.

Enseignements

Projets