Date Évènement Titre Licence Ville
23 avril 2023 TiCSA’23 Configuring timing parameters to ensure opacity (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇫🇷 Paris
22 avril 2023 SynCoP’23 A trivial yet open synthesis problem (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇫🇷 Paris
22 avril 2023 SynCoP’23 Monitoring cyber-physical systems under uncertainty (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇫🇷 Paris
26 mai 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) 💻🌐
11 mars 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
21 juillet 2021 CAV’21 IMITATOR 3: Synthesis of timing parameters beyond decidability (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 💻🌐
5 mars 2021 ICECCS’20 Parametric non-interference in timed automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇸🇬 Singapour
28 janvier 2021 Symbolic monitoring against specifications parametric in time and data (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇫🇷 Grenoble
29 octobre 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
10 octobre 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
30 juillet 2019 TASE’19 Formalizing Time4sys using parametric timed automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇨🇳 Guilin
12 décembre 2018 ICECCS’18 Offline timed pattern matching under uncertainty (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇦🇺 Melbourne
16 novembre 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
30 octobre 2018 AURA’18 Monitoring cyber-physical systems under uncertainty (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇮🇳 Chennai
8 septembre 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) 🇨🇳 Pékin
25 juin 2018 Contributions in parametric timed model checking: theory and algorithms (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇫🇷 Villetaneuse
18 septembre 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) 🇮🇹 Turin
14 septembre 2017 HIGHLIGHTS’17 Liveness in L/U-parametric timed automata (English) 🏴󠁧󠁢󠁥󠁮󠁧󠁿 Londres
28 août 2017 ETR’17 Timed automata and parametric timed automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇫🇷 Paris
19 juin 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
18 novembre 2016 ICFEM’16 Decision Problems for Parametric Timed Automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇯🇵 Tokyo
26 octobre 2016 ICTAC’16 Parametric Deadlock-Freeness Checking Timed Automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇹🇼 Taipei
24 août 2016 FORMATS’16 On the expressiveness of parametric timed automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Drapeau Québec, Canada Québec
6 novembre 2015 FTSCS’15 What’s decidable about parametric timed automata? (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇫🇷 Paris
22 septembre 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) 🇵🇱 Varsovie
2 septembre 2015 FORMATS’15 Language preservation problems in parametric timed automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇪🇸 Madrid
25 août 2015 ETR’15 IMITATOR tutorial: Parametric timed systems (English) Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported (CC BY-NC-SA 3.0) Drapeau Bretagne, France Rennes
27 avril 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
12 septembre 2014 EUROMPI/ASIA’14 Distributed Cartography of Timed Automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇯🇵 Kyōto
11 juin 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
13 mai 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) 🇸🇬 Singapour
31 octobre 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
30 octobre 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
18 octobre 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
31 août 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
7 août 2013 SERA’13 Activity Diagram Patterns for Modeling Business Processes (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇨🇿 Prague
18 juillet 2013 ICECCS’13 Observer Patterns for Real-Time Systems (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇸🇬 Singapour
16 juillet 2013 FSFMA’13 Dynamic Clock Elimination in Parametric Timed Automata (English) Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) 🇸🇬 Singapour
31 octobre 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
27 août 2012 UML&FM’12 Formalizing Non-Concurrent UML State Machines Using Colored Petri Nets (English) 🇫🇷 Paris
20 juillet 2012 ICECCS’12 Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (English) 🇫🇷 Paris
30 juin 2012 COMPARE’12 Towards Unified Mechanisms for Defining and Sharing Formal Notations for Concurrency (English) 🏴󠁧󠁢󠁥󠁮󠁧󠁿 Manchester
23 mars 2012 School of Computing Seminar Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (English) 🇸🇬 Singapour
28 septembre 2011 RP’11 Synthesis of Timing Parameters Satisfying Safety Properties (English) 🇮🇹 Gênes
19 mai 2011 Séminaire IRT Synthesis of Timing Parameters for the Verification of Hardware Components and Communication Protocols (English) 🇫🇷 Toulouse
26 janvier 2011 Computing Students Talks The Good, the Bad and the Unkown – Synthesis of Timing Parameters in Concurrent Systems (English) 🇸🇬 Singapour
8 décembre 2010 Soutenance de thèse An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems (English) 🇫🇷 Cachan
2 décembre 2010 Seminary IST Austria An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems (English) 🇦🇹 Vienne
21 septembre 2010 INFINITY’10 IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata (English) 🇸🇬 Singapour
28 août 2010 RP’10 Behavioral cartography of timed automata (English) 🇨🇿 Brno
22 janvier 2010 Séminaire MeFoSyLoMa Synthesis of timing parameters in timed automata for the verification of hardware components (English) 🇫🇷 Paris
18 novembre 2009 MSR’09 Synthèse de contraintes temporisées pour une architecture d’automatisation en réseau (Français) 🇫🇷 Nantes
8 octobre 2009 Séminaire Farman SIMOP : synergie simulation et model-checking paramétré (Français) 🇫🇷 Cachan
23 septembre 2009 AVoCS’09 An Extension of the Inverse Method to Probabilistic Timed Automata (English) 🏴󠁧󠁢󠁷󠁬󠁳󠁿 Gregynog
3 septembre 2009 ETR’09 Une méthode inverse pour les processus de décision markoviens (Français) 🇫🇷 Paris
31 août 2009 INFINITY’09 An Inverse Method for Markov Decision Processes (English) 🇮🇹 Bologne
20 août 2009 ICTAC’09 IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata (English) 🇲🇾 Kuala Lumpur
17 septembre 2008 RP’08 A Generalisation Method for Parametric Timed Automata (English) 🏴󠁧󠁢󠁥󠁮󠁧󠁿 Liverpool

Voir aussi