Vorträge und Seminare seit 2006
MoVe
- 23.11.2017: Exploiter la Gamification pour améliorer l’implication des développeurs dans la qualité du code source, une étude de cas industrielle.
- 20.10.2017: Energy-optimization for Embedded Devices
- 25.04.2017: MOOC programmation Concurrente (avec Java)
- 31.03.2017: séminaire «Méthodes Formelles pour les Systèmes Logiciels et Matériels» du 31 mars 2017
- 14.03.2017: MOOC programmation iOS (partie I)
- 06.07.2015: International Summer School on Intensive Automated Testing of Service Oriented Architectures
- 18.06.2015: Learning to Rank with Additive Ensembles of Regression Trees
- 03.06.2015: International Workshop on ISO/IEC 15909-3: properties, modularity, and stochastic Petri nets.
- 06.05.2015: Nested-Unit Petri Nets: Combining Hierarchy with Concurrency
- 16.04.2015: The subtle alchemy of concurrency and real-time
- 06.03.2015: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 05.03.2015: Proving Copyless Message-Passing
- 18.09.2014: Well-structured pushdown systems
- 18.09.2014: Dealing with Dynamicity in Ambient Systems: A Formal Planning Approach.
- 24.06.2014: From Symmetric Nets to Symmetric Nets with Bags
- 16.06.2014: Journées annuelles du GT VERIF, du GT FORWAL et workshop de clôture du projet ANR ImpRo
- 25.06.2013: Journée MDDay
- 13.06.2013: Adding Spreadsheets to the MDE Toolkit
- 18.01.2013: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 12.10.2012: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 27.08.2012: 18th International Conference on Formal Methods (FM 2012)
- 25.07.2012: Algorithmic improvements for graph games
- 25.06.2012: Model Checking Contest at PETRI NETS 2012
- 22.03.2012: Vérification de protocoles de sécurité et détection d'intrusion
- 10.01.2012: Efficient Static Analysis of Dynamical Properties using the Process Hitting
- 30.09.2011: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 05.04.2011: On model checking concurrent recursive programs
- 15.03.2011: Contraintes sur le temps logique dans la conception de systèmes embarqués.
- 11.01.2011: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 17.12.2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 05.11.2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 05.10.2010: Synthèse distribuée
- 18.06.2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 15.06.2010: Sixth European Conference on Modelling Foundations and Applications
- 21.05.2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 09.03.2010: The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
- 26.02.2010: Weak Time Petri Nets Strike Back!
- 31.08.2009: Ecole d'été Temps Réel
- 22.06.2009: International Conference on Application and Theory of Petri Nets and other Models of Concurrency
- 23.01.2009: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 05.12.2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 14.11.2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 20.06.2008: Sur la fluidification des réseaux de Petri: de leur expressivité à l'évaluation des performances
- 22.04.2008: A High-level Perspective on Formal Validation and Verification
- 11.04.2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 15.02.2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 16.11.2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 05.10.2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 05.04.2007: Model-checking temporisé
- 09.03.2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 19.01.2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 16.10.2006: Composition of Embedded Systems: Scientific and Industrial Issues
- 06.10.2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 20.06.2006: 1st Rutgers / Pierre et Marie Curie Workshop
- 12.05.2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 28.04.2006: Developing a Model E-commerce Agent System
- 24.03.2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 17.03.2006: Développement de systèmes informatiques par assemblage de composants métier sur étagère
- 20.01.2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels