Conferences and seminars since 2006
MoVe
- 11/23/2017: Exploiter la Gamification pour améliorer l’implication des développeurs dans la qualité du code source, une étude de cas industrielle.
- 10/20/2017: Energy-optimization for Embedded Devices
- 04/25/2017: MOOC programmation Concurrente (avec Java)
- 03/31/2017: séminaire «Méthodes Formelles pour les Systèmes Logiciels et Matériels» du 31 mars 2017
- 03/14/2017: MOOC programmation iOS (partie I)
- 07/06/2015: International Summer School on Intensive Automated Testing of Service Oriented Architectures
- 06/18/2015: Learning to Rank with Additive Ensembles of Regression Trees
- 06/03/2015: International Workshop on ISO/IEC 15909-3: properties, modularity, and stochastic Petri nets.
- 05/06/2015: Nested-Unit Petri Nets: Combining Hierarchy with Concurrency
- 04/16/2015: The subtle alchemy of concurrency and real-time
- 03/06/2015: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 03/05/2015: Proving Copyless Message-Passing
- 09/18/2014: Well-structured pushdown systems
- 09/18/2014: Dealing with Dynamicity in Ambient Systems: A Formal Planning Approach.
- 06/24/2014: From Symmetric Nets to Symmetric Nets with Bags
- 06/16/2014: Journées annuelles du GT VERIF, du GT FORWAL et workshop de clôture du projet ANR ImpRo
- 06/25/2013: Journée MDDay
- 06/13/2013: Adding Spreadsheets to the MDE Toolkit
- 01/18/2013: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 10/12/2012: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 08/27/2012: 18th International Conference on Formal Methods (FM 2012)
- 07/25/2012: Algorithmic improvements for graph games
- 06/25/2012: Model Checking Contest at PETRI NETS 2012
- 03/22/2012: Vérification de protocoles de sécurité et détection d'intrusion
- 01/10/2012: Efficient Static Analysis of Dynamical Properties using the Process Hitting
- 09/30/2011: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 04/05/2011: On model checking concurrent recursive programs
- 03/15/2011: Contraintes sur le temps logique dans la conception de systèmes embarqués.
- 01/11/2011: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 12/17/2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 11/05/2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 10/05/2010: Synthèse distribuée
- 06/18/2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 06/15/2010: Sixth European Conference on Modelling Foundations and Applications
- 05/21/2010: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 03/09/2010: The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
- 02/26/2010: Weak Time Petri Nets Strike Back!
- 08/31/2009: Ecole d'été Temps Réel
- 06/22/2009: International Conference on Application and Theory of Petri Nets and other Models of Concurrency
- 01/23/2009: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 12/05/2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 11/14/2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 06/20/2008: Sur la fluidification des réseaux de Petri: de leur expressivité à l'évaluation des performances
- 04/22/2008: A High-level Perspective on Formal Validation and Verification
- 04/11/2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 02/15/2008: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 11/16/2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 10/05/2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 04/05/2007: Model-checking temporisé
- 03/09/2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 01/19/2007: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 10/16/2006: Composition of Embedded Systems: Scientific and Industrial Issues
- 10/06/2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 06/20/2006: 1st Rutgers / Pierre et Marie Curie Workshop
- 05/12/2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 04/28/2006: Developing a Model E-commerce Agent System
- 03/24/2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels
- 03/17/2006: Développement de systèmes informatiques par assemblage de composants métier sur étagère
- 01/20/2006: Méthodes Formelles pour les Systèmes Logiciels et Matériels