Date Event Title License City
12th December 2018 ICECCS’18 Offline timed pattern matching under uncertainty (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇦🇺 Melbourne
16th November 2018 FTSCS’18 A benchmarks library for parametric timed model checking (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇦🇺 Gold Coast
30th October 2018 AURA’18 Monitoring cyber-physical systems under uncertainty (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇮🇳 Chennai
8th September 2018 TIPS’18 Parametric timed automata to model and verify real-time systems under uncertainty (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇨🇳 Beijing
25th June 2018 Contributions in parametric timed model checking: theory and algorithms (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇫🇷 Villetaneuse
18th September 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) 🇮🇹 Torino
14th September 2017 HIGHLIGHTS’17 Liveness in L/U-parametric timed automata (English) Flag England London
28th August 2017 ETR’17 Timed automata and parametric timed automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇫🇷 Paris
19th June 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) 🇨🇭 Neuchâtel
18th November 2016 ICFEM’16 Decision Problems for Parametric Timed Automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇯🇵 Tokyo
26th October 2016 ICTAC’16 Parametric Deadlock-Freeness Checking Timed Automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇹🇼 Taipei
24th August 2016 FORMATS’16 On the expressiveness of parametric timed automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Flag Québec, Canada Québec City
6th November 2015 FTSCS’15 What’s decidable about parametric timed automata? (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇫🇷 Paris
22nd September 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) 🇵🇱 Warsaw
2nd September 2015 FORMATS’15 Language preservation problems in parametric timed automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇪🇸 Madrid
25th August 2015 ETR’15 IMITATOR tutorial: Parametric timed systems (English) Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported (CC BY-NC-SA 3.0) Flag Brittany, France Rennes
27th April 2015 NFM’15 Reachability Preservation Based Parameter Synthesis for Timed Automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇺🇸 Pasadena, CA
12th September 2014 EUROMPI/ASIA’14 Distributed Cartography of Timed Automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇯🇵 Kyōto
11th June 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) 🇫🇷 Paris
13th May 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) 🇸🇬 Singapore
31st October 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) 🇳🇿 Queenstown
30th October 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) 🇳🇿 Queenstown
18th October 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) 🇻🇳 Hà Nội
31st August 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) 🇦🇷 Buenos Aires
7th August 2013 SERA’13 Activity Diagram Patterns for Modeling Business Processes (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇨🇿 Prague
18th July 2013 ICECCS’13 Observer Patterns for Real-Time Systems (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇸🇬 Singapore
16th July 2013 FSFMA’13 Dynamic Clock Elimination in Parametric Timed Automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇸🇬 Singapore
31st October 2012 NWPT’12 Robustness Analysis of Time Petri Nets (English) Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND 3.0) 🇳🇴 Bergen
27th August 2012 UML&FM’12 Formalizing Non-Concurrent UML State Machines Using Colored Petri Nets (English) 🇫🇷 Paris
20th July 2012 ICECCS’12 Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (English) 🇫🇷 Paris
30th June 2012 COMPARE’12 Towards Unified Mechanisms for Defining and Sharing Formal Notations for Concurrency (English) Flag England Manchester
23rd March 2012 School of Computing Seminar Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (English) 🇸🇬 Singapore
28th September 2011 RP’11 Synthesis of Timing Parameters Satisfying Safety Properties (English) 🇮🇹 Genoa
19th May 2011 Séminaire IRT Synthesis of Timing Parameters for the Verification of Hardware Components and Communication Protocols (English) 🇫🇷 Toulouse
26th January 2011 Computing Students Talks The Good, the Bad and the Unkown – Synthesis of Timing Parameters in Concurrent Systems (English) 🇸🇬 Singapore
8th December 2010 Ph.D. defense An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems (English) 🇫🇷 Cachan
2nd December 2010 Seminary IST Austria An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems (English) 🇦🇹 Vienna
21st September 2010 INFINITY’10 IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata (English) 🇸🇬 Singapore
28th August 2010 RP’10 Behavioral cartography of timed automata (English) 🇨🇿 Brno
22nd January 2010 Séminaire MeFoSyLoMa Synthesis of timing parameters in timed automata for the verification of hardware components (English) 🇫🇷 Paris
18th November 2009 MSR’09 Synthèse de contraintes temporisées pour une architecture d’automatisation en réseau (Français) 🇫🇷 Nantes
8th October 2009 Séminaire Farman SIMOP : synergie simulation et model-checking paramétré (Français) 🇫🇷 Cachan
23rd September 2009 AVoCS’09 An Extension of the Inverse Method to Probabilistic Timed Automata (English) Flag Wales Gregynog
3rd September 2009 ETR’09 Une méthode inverse pour les processus de décision markoviens (Français) 🇫🇷 Paris
31st August 2009 INFINITY’09 An Inverse Method for Markov Decision Processes (English) 🇮🇹 Bologna
20th August 2009 ICTAC’09 IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata (English) 🇲🇾 Kuala Lumpur
17th September 2008 RP’08 A Generalisation Method for Parametric Timed Automata (English) Flag England Liverpool

See also