Quelques exposés plus ou moins récents

2026

26 févr.

Parametric disjunctive timed networks

CSL’26🇫🇷 Pariscc-by-sa

↗

2025

1 avr.

Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets

SAC’25🇮🇹 Catanecc-by-sa

↗

2024

4 déc.

Tuning Trains Speed in Railway Scheduling

ICFEM’24🇯🇵 Hiroshimacc-by-sa

↗

2023

23 avr.

Configuring timing parameters to ensure opacity

TiCSA’23🇫🇷 Pariscc-by-sa

↗

22 avr.

A trivial yet open synthesis problem

SynCoP’23🇫🇷 Pariscc-by-sa

↗

22 avr.

Monitoring cyber-physical systems under uncertainty

SynCoP’23🇫🇷 Pariscc-by-sa

↗

2022

26 mai

Exemplifying parametric timed specifications over signals with bounded behavior

NFM’22💻🌐 En lignecc-by-sa

↗

11 mars

Lightweight (yet efficient) verification of cyber-physical systems

Séminaire LoVe🇫🇷 Villetaneusecc-by-sa

↗

2021

21 juil.

IMITATOR 3: Synthesis of timing parameters beyond decidability

CAV’21💻🌐 En lignecc-by-sa

↗

5 mars

Parametric non-interference in timed automata

ICECCS’20🇸🇬 Singapourcc-by-sa

↗

28 janv.

Symbolic monitoring against specifications parametric in time and data

🇫🇷 Grenoblecc-by-sa

↗

2019

29 oct.

Parametric Timed Model Checking for Guaranteeing Timed Opacity

ATVA’19🇹🇼 Taipeicc-by-sa

↗

10 oct.

Vers une société numérique sûre : supervision efficace de propriétés quantitatives en temps-réel

JFR’19🇯🇵 Tokyocc-by-saFR

↗

30 juil.

Formalizing Time4sys using parametric timed automata

TASE’19🇨🇳 Guilincc-by-sa

↗

2018

12 déc.

Offline timed pattern matching under uncertainty

ICECCS’18🇦🇺 Melbournecc-by-sa

↗

16 nov.

A benchmarks library for parametric timed model checking

FTSCS’18🇦🇺 Gold Coastcc-by-sa

↗

30 oct.

Monitoring cyber-physical systems under uncertainty

AURA’18🇮🇳 Chennaicc-by-sa

↗

8 sept.

Parametric timed automata to model and verify real-time systems under uncertainty

TIPS’18🇨🇳 Pékincc-by-sa

↗

25 juin

Contributions in parametric timed model checking: theory and algorithms

🇫🇷 Villetaneusecc-by-sa

↗

2017

18 sept.

A unified formalism for monoprocessor schedulability analysis under uncertainty

FMICS-AVoCS’17🇮🇹 Turincc-by-sa

↗

14 sept.

Liveness in L/U-parametric timed automata

HIGHLIGHTS’17🏴󠁧󠁢󠁥󠁮󠁧󠁿 Londres

↗

28 août

Timed automata and parametric timed automata

ETR’17🇫🇷 Pariscc-by-sa

↗

19 juin

Learning-based compositional parameter synthesis for event-recording automata

FORTE’17🇨🇭 Neuchâtelcc-by-sa

↗

2016

18 nov.

Decision Problems for Parametric Timed Automata

ICFEM’16🇯🇵 Tokyocc-by-sa

↗

26 oct.

Parametric Deadlock-Freeness Checking Timed Automata

ICTAC’16🇹🇼 Taipeicc-by-sa

↗

24 août

On the expressiveness of parametric timed automata

FORMATS’16 Québeccc-by-sa

↗

2015

6 nov.

What’s decidable about parametric timed automata?

FTSCS’15🇫🇷 Pariscc-by-sa

↗

22 sept.

Integer-complete parameter synthesis for bounded parametric timed automata

RP’15🇵🇱 Varsoviecc-by-sa

↗

2 sept.

Language preservation problems in parametric timed automata

FORMATS’15🇪🇸 Madridcc-by-sa

↗

25 août

IMITATOR tutorial: Parametric timed systems

ETR’15 Rennescc-by-nc-sa

↗

27 avr.

Reachability Preservation Based Parameter Synthesis for Timed Automata

NFM’15🇺🇸 Pasadena, CAcc-by-sa

↗

2014

12 sept.

Distributed Cartography of Timed Automata

EUROMPI/ASIA’14🇯🇵 Kyōtocc-by-sa

↗

11 juin

IOP: Tool Integration in the CosyVerif Platform

GDR GPL’14🇫🇷 Pariscc-by-nc-sa

↗

13 mai

Translating UML State Machines to Coloured Petri Nets Using Acceleo: A Report

ESSS’14🇸🇬 Singapourcc-by-sa

↗

2013

31 oct.

A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems

ICFEM’13🇳🇿 Queenstowncc-by-nc-sa

↗

30 oct.

Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems

FTSCS’13🇳🇿 Queenstowncc-by-sa

↗

18 oct.

Merge and Conquer: State Merging in Parametric Timed Automata

ATVA’13🇻🇳 Hà Nộicc-by-sa

↗

31 août

Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs

FORMATS’13🇦🇷 Buenos Airescc-by-sa

↗

7 août

Activity Diagram Patterns for Modeling Business Processes

SERA’13🇨🇿 Praguecc-by-sa

↗

18 juil.

Observer Patterns for Real-Time Systems

ICECCS’13🇸🇬 Singapourcc-by-sa

↗

16 juil.

Dynamic Clock Elimination in Parametric Timed Automata

FSFMA’13🇸🇬 Singapourcc-by-sa

↗

2012

31 oct.

Robustness Analysis of Time Petri Nets

NWPT’12cc-by-nc-nd

↗

27 août

Formalizing Non-Concurrent UML State Machines Using Colored Petri Nets

UML&FM’12🇫🇷 Paris

↗

20 juil.

Parameter Synthesis for Hierarchical Concurrent Real-Time Systems

ICECCS’12🇫🇷 Paris

↗

30 juin

Towards Unified Mechanisms for Defining and Sharing Formal Notations for Concurrency

COMPARE’12🏴󠁧󠁢󠁥󠁮󠁧󠁿 Manchester

↗

23 mars

Parameter Synthesis for Hierarchical Concurrent Real-Time Systems

School of Computing Seminar🇸🇬 Singapour

↗

2011

28 sept.

Synthesis of Timing Parameters Satisfying Safety Properties

RP’11🇮🇹 Gênes

↗

19 mai

Synthesis of Timing Parameters for the Verification of Hardware Components and Communication Protocols

Séminaire IRT🇫🇷 Toulouse

↗

26 janv.

The Good, the Bad and the Unkown – Synthesis of Timing Parameters in Concurrent Systems

Computing Students Talks🇸🇬 Singapour

↗

2010

8 déc.

An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems

Ph.D. defense🇫🇷 Cachan

↗

2 déc.

An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems

Seminary IST Austria🇦🇹 Vienne

↗

21 sept.

IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata

INFINITY’10🇸🇬 Singapour

↗

28 août

Behavioral cartography of timed automata

RP’10🇨🇿 Brno

↗

22 janv.

Synthesis of timing parameters in timed automata for the verification of hardware components

Séminaire MeFoSyLoMa🇫🇷 Paris

↗

2009

18 nov.

Synthèse de contraintes temporisées pour une architecture d’automatisation en réseau

MSR’09🇫🇷 NantesFR

↗

8 oct.

SIMOP : synergie simulation et model-checking paramétré

Séminaire Farman🇫🇷 CachanFR

↗

23 sept.

An Extension of the Inverse Method to Probabilistic Timed Automata

AVoCS’09🏴󠁧󠁢󠁷󠁬󠁳󠁿 Gregynog

↗

3 sept.

Une méthode inverse pour les processus de décision markoviens

ETR’09🇫🇷 ParisFR

↗

31 août

An Inverse Method for Markov Decision Processes

INFINITY’09🇮🇹 Bologne

↗

20 août

IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata

ICTAC’09🇲🇾 Kuala Lumpur

↗

2008

17 sept.

A Generalisation Method for Parametric Timed Automata

RP’08🏴󠁧󠁢󠁥󠁮󠁧󠁿 Liverpool

↗