Date Event Title License City
23rd April 2023 TiCSA’23 Configuring timing parameters to ensure opacity (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇫🇷 Paris
22nd April 2023 SynCoP’23 A trivial yet open synthesis problem (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇫🇷 Paris
22nd April 2023 SynCoP’23 Monitoring cyber-physical systems under uncertainty (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇫🇷 Paris
26th May 2022 NFM’22 Exemplifying parametric timed specifications over signals with bounded behavior (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 💻🌐
11th March 2022 Séminaire LoVe Lightweight (yet efficient) verification of cyber-physical systems (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇫🇷 Villetaneuse
21st July 2021 CAV’21 IMITATOR 3: Synthesis of timing parameters beyond decidability (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 💻🌐
5th March 2021 ICECCS’20 Parametric non-interference in timed automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇸🇬 Singapore
28th January 2021 Symbolic monitoring against specifications parametric in time and data (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇫🇷 Grenoble
29th October 2019 ATVA’19 Parametric Timed Model Checking for Guaranteeing Timed Opacity (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇹🇼 Taipei
10th October 2019 JFR’19 Vers une société numérique sûre : supervision efficace de propriétés quantitatives en temps-réel (Français) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇯🇵 Tokyo
30th July 2019 TASE’19 Formalizing Time4sys using parametric timed automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇨🇳 Guilin
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) 🏴󠁧󠁢󠁥󠁮󠁧󠁿 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) 🏴󠁧󠁢󠁥󠁮󠁧󠁿 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) 🏴󠁧󠁢󠁷󠁬󠁳󠁿 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) 🏴󠁧󠁢󠁥󠁮󠁧󠁿 Liverpool

See also