| Date |
Event |
Title |
License |
City |
| 1st April 2025 |
SAC’25 |
Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets (English) |
 |
🇮🇹 Catania |
| 4th December 2024 |
ICFEM’24 |
Tuning Trains Speed in Railway Scheduling (English) |
|
🇯🇵 Hiroshima |
| 23rd April 2023 |
TiCSA’23 |
Configuring timing parameters to ensure opacity (English) |
|
🇫🇷 Paris |
| 22nd April 2023 |
SynCoP’23 |
A trivial yet open synthesis problem (English) |
|
🇫🇷 Paris |
| 22nd April 2023 |
SynCoP’23 |
Monitoring cyber-physical systems under uncertainty (English) |
|
🇫🇷 Paris |
| 26th May 2022 |
NFM’22 |
Exemplifying parametric timed specifications over signals with bounded behavior (English) |
|
💻🌐 |
| 11th March 2022 |
Séminaire LoVe |
Lightweight (yet efficient) verification of cyber-physical systems (English) |
|
🇫🇷 Villetaneuse |
| 21st July 2021 |
CAV’21 |
IMITATOR 3: Synthesis of timing parameters beyond decidability (English) |
|
💻🌐 |
| 5th March 2021 |
ICECCS’20 |
Parametric non-interference in timed automata (English) |
|
🇸🇬 Singapore |
| 28th January 2021 |
|
Symbolic monitoring against specifications parametric in time and data (English) |
|
🇫🇷 Grenoble |
| 29th October 2019 |
ATVA’19 |
Parametric Timed Model Checking for Guaranteeing Timed Opacity (English) |
|
🇹🇼 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) |
|
🇯🇵 Tokyo |
| 30th July 2019 |
TASE’19 |
Formalizing Time4sys using parametric timed automata (English) |
|
🇨🇳 Guilin |
| 12th December 2018 |
ICECCS’18 |
Offline timed pattern matching under uncertainty (English) |
|
🇦🇺 Melbourne |
| 16th November 2018 |
FTSCS’18 |
A benchmarks library for parametric timed model checking (English) |
|
🇦🇺 Gold Coast |
| 30th October 2018 |
AURA’18 |
Monitoring cyber-physical systems under uncertainty (English) |
|
🇮🇳 Chennai |
| 8th September 2018 |
TIPS’18 |
Parametric timed automata to model and verify real-time systems under uncertainty (English) |
|
🇨🇳 Beijing |
| 25th June 2018 |
|
Contributions in parametric timed model checking: theory and algorithms (English) |
|
🇫🇷 Villetaneuse |
| 18th September 2017 |
FMICS-AVoCS’17 |
A unified formalism for monoprocessor schedulability analysis under uncertainty (English) |
|
🇮🇹 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) |
|
🇫🇷 Paris |
| 19th June 2017 |
FORTE’17 |
Learning-based compositional parameter synthesis for event-recording automata (English) |
|
🇨🇭 Neuchâtel |
| 18th November 2016 |
ICFEM’16 |
Decision Problems for Parametric Timed Automata (English) |
|
🇯🇵 Tokyo |
| 26th October 2016 |
ICTAC’16 |
Parametric Deadlock-Freeness Checking Timed Automata (English) |
|
🇹🇼 Taipei |
| 24th August 2016 |
FORMATS’16 |
On the expressiveness of parametric timed automata (English) |
|
 Québec City |
| 6th November 2015 |
FTSCS’15 |
What’s decidable about parametric timed automata? (English) |
|
🇫🇷 Paris |
| 22nd September 2015 |
RP’15 |
Integer-complete parameter synthesis for bounded parametric timed automata (English) |
|
🇵🇱 Warsaw |
| 2nd September 2015 |
FORMATS’15 |
Language preservation problems in parametric timed automata (English) |
|
🇪🇸 Madrid |
| 25th August 2015 |
ETR’15 |
IMITATOR tutorial: Parametric timed systems (English) |
 |
 |
| 27th April 2015 |
NFM’15 |
Reachability Preservation Based Parameter Synthesis for Timed Automata (English) |
|
🇺🇸 Pasadena, CA |
| 12th September 2014 |
EUROMPI/ASIA’14 |
Distributed Cartography of Timed Automata (English) |
|
🇯🇵 Kyōto |
| 11th June 2014 |
GDR GPL’14 |
IOP: Tool Integration in the CosyVerif Platform (English) |
|
🇫🇷 Paris |
| 13th May 2014 |
ESSS’14 |
Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report (English) |
|
🇸🇬 Singapore |
| 31st October 2013 |
ICFEM’13 |
A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems (English) |
|
🇳🇿 Queenstown |
| 30th October 2013 |
FTSCS’13 |
Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems (English) |
|
🇳🇿 Queenstown |
| 18th October 2013 |
ATVA’13 |
Merge and Conquer: State Merging in Parametric Timed Automata (English) |
|
🇻🇳 Hà Nội |
| 31st August 2013 |
FORMATS’13 |
Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs (English) |
|
🇦🇷 Buenos Aires |
| 7th August 2013 |
SERA’13 |
Activity Diagram Patterns for Modeling Business Processes (English) |
|
🇨🇿 Prague |
| 18th July 2013 |
ICECCS’13 |
Observer Patterns for Real-Time Systems (English) |
|
🇸🇬 Singapore |
| 16th July 2013 |
FSFMA’13 |
Dynamic Clock Elimination in Parametric Timed Automata (English) |
|
🇸🇬 Singapore |
| 31st October 2012 |
NWPT’12 |
Robustness Analysis of Time Petri Nets (English) |
 |
🇳🇴 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 |