Date |
Event |
Title |
License |
City |
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 |