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