Date Évènement Titre Licence Ville
18 septembre 2017 FMICS-AVoCS’17 A unified formalism for monoprocessor schedulability analysis under uncertainty (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau Italie Turin
14 septembre 2017 HIGHLIGHTS’17 Liveness in L/U-parametric timed automata (English) Drapeau Angleterre Londres
28 août 2017 ETR’17 Timed automata and parametric timed automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau France Paris
19 juin 2017 FORTE’17 Learning-based compositional parameter synthesis for event-recording automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau Suisse Neuchâtel
18 novembre 2016 ICFEM’16 Decision Problems for Parametric Timed Automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau Japon Tokyo
26 octobre 2016 ICTAC’16 Parametric Deadlock-Freeness Checking Timed Automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau Taïwan Taipei
24 août 2016 FORMATS’16 On the expressiveness of parametric timed automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau Québec, Canada Québec
6 novembre 2015 FTSCS’15 What’s decidable about parametric timed automata? (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau France Paris
22 septembre 2015 RP’15 Integer-complete parameter synthesis for bounded parametric timed automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau Pologne Varsovie
2 septembre 2015 FORMATS’15 Language preservation problems in parametric timed automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau Espagne Madrid
25 août 2015 ETR’15 IMITATOR tutorial: Parametric timed systems (English) Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported (CC BY-NC-SA 3.0) Drapeau Bretagne, France Rennes
27 avril 2015 NFM’15 Reachability Preservation Based Parameter Synthesis for Timed Automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau États-Unis Pasadena, CA
12 septembre 2014 EUROMPI/ASIA’14 Distributed Cartography of Timed Automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau Japon Kyōto
11 juin 2014 GDR GPL’14 IOP: Tool Integration in the CosyVerif Platform (English) Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported (CC BY-NC-SA 3.0) Drapeau France Paris
13 mai 2014 ESSS’14 Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau Singapour Singapour
31 octobre 2013 ICFEM’13 A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems (English) Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported (CC BY-NC-SA 3.0) Drapeau Nouvelle-Zélande Queenstown
30 octobre 2013 FTSCS’13 Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau Nouvelle-Zélande Queenstown
18 octobre 2013 ATVA’13 Merge and Conquer: State Merging in Parametric Timed Automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau Việt Nam Hà Nội
31 août 2013 FORMATS’13 Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau Argentine Buenos Aires
7 août 2013 SERA’13 Activity Diagram Patterns for Modeling Business Processes (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau République tchèque Prague
18 juillet 2013 ICECCS’13 Observer Patterns for Real-Time Systems (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau Singapour Singapour
16 juillet 2013 FSFMA’13 Dynamic Clock Elimination in Parametric Timed Automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau Singapour Singapour
31 octobre 2012 NWPT’12 Robustness Analysis of Time Petri Nets (English) Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND 3.0) Drapeau Norvège Bergen
27 août 2012 UML&FM’12 Formalizing Non-Concurrent UML State Machines Using Colored Petri Nets (English) Drapeau France Paris
20 juillet 2012 ICECCS’12 Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (English) Drapeau France Paris
30 juin 2012 COMPARE’12 Towards Unified Mechanisms for Defining and Sharing Formal Notations for Concurrency (English) Drapeau Angleterre Manchester
23 mars 2012 School of Computing Seminar Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (English) Drapeau Singapour Singapour
28 septembre 2011 RP’11 Synthesis of Timing Parameters Satisfying Safety Properties (English) Drapeau Italie Gênes
19 mai 2011 Séminaire IRT Synthesis of Timing Parameters for the Verification of Hardware Components and Communication Protocols (English) Drapeau France Toulouse
26 janvier 2011 Computing Students Talks The Good, the Bad and the Unkown – Synthesis of Timing Parameters in Concurrent Systems (English) Drapeau Singapour Singapour
8 décembre 2010 Soutenance de thèse An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems (English) Drapeau France Cachan
2 décembre 2010 Seminary IST Austria An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems (English) Drapeau Autriche Vienne
21 septembre 2010 INFINITY’10 IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata (English) Drapeau Singapour Singapour
28 août 2010 RP’10 Behavioral cartography of timed automata (English) Drapeau République tchèque Brno
22 janvier 2010 Séminaire MeFoSyLoMa Synthesis of timing parameters in timed automata for the verification of hardware components (English) Drapeau France Paris
18 novembre 2009 MSR’09 Synthèse de contraintes temporisées pour une architecture d’automatisation en réseau (Français) Drapeau France Nantes
8 octobre 2009 Séminaire Farman SIMOP : synergie simulation et model-checking paramétré (Français) Drapeau France Cachan
23 septembre 2009 AVoCS’09 An Extension of the Inverse Method to Probabilistic Timed Automata (English) Drapeau Pays de Galles Gregynog
3 septembre 2009 ETR’09 Une méthode inverse pour les processus de décision markoviens (Français) Drapeau France Paris
31 août 2009 INFINITY’09 An Inverse Method for Markov Decision Processes (English) Drapeau Italie Bologne
20 août 2009 ICTAC’09 IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata (English) Drapeau Malaisie Kuala Lumpur
17 septembre 2008 RP’08 A Generalisation Method for Parametric Timed Automata (English) Drapeau Angleterre Liverpool

Voir aussi