Étienne André – Talks

Selected talks

Date Context Title License Place
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) Flag Italy Torino
14th September 2017 HIGHLIGHTS’17 Liveness in L/U-parametric timed automata (English) Flag England 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) Flag France 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) Flag Switzerland 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) Flag Japan 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) Flag Taiwan 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) Flag France 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) Flag Poland 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) Flag Spain 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) Flag USA 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) Flag Japan 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) Flag France 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) Flag Singapore 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) Flag New Zealand 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) Flag New Zealand 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) Flag Việt Nam 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) Flag Argentina 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) Flag Czech Republic 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) Flag Singapore 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) Flag Singapore 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) Flag Norway Bergen
27th August 2012 UML&FM’12 Formalizing Non-Concurrent UML State Machines Using Colored Petri Nets (English) Flag France Paris
20th July 2012 ICECCS’12 Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (English) Flag France Paris
30th June 2012 COMPARE’12 Towards Unified Mechanisms for Defining and Sharing Formal Notations for Concurrency (English) Flag England Manchester
23rd March 2012 School of Computing Seminar Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (English) Flag Singapore Singapore
28th September 2011 RP’11 Synthesis of Timing Parameters Satisfying Safety Properties (English) Flag Italy Genoa
19th May 2011 Séminaire IRT Synthesis of Timing Parameters for the Verification of Hardware Components and Communication Protocols (English) Flag France Toulouse
26th January 2011 Computing Students Talks The Good, the Bad and the Unkown – Synthesis of Timing Parameters in Concurrent Systems (English) Flag Singapore Singapore
8th December 2010 Ph.D. defense An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems (English) Flag France Cachan
2nd December 2010 Seminary IST Austria An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems (English) Flag Austria Vienna
21st September 2010 INFINITY’10 IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata (English) Flag Singapore Singapore
28th August 2010 RP’10 Behavioral cartography of timed automata (English) Flag Czech Republic Brno
22nd January 2010 Séminaire MeFoSyLoMa Synthesis of timing parameters in timed automata for the verification of hardware components (English) Flag France Paris
18th November 2009 MSR’09 Synthèse de contraintes temporisées pour une architecture d’automatisation en réseau (Français) Flag France Nantes
8th October 2009 Séminaire Farman SIMOP : synergie simulation et model-checking paramétré (Français) Flag France Cachan
23rd September 2009 AVoCS’09 An Extension of the Inverse Method to Probabilistic Timed Automata (English) Flag Wales Gregynog
3rd September 2009 ETR’09 Une méthode inverse pour les processus de décision markoviens (Français) Flag France Paris
31st August 2009 INFINITY’09 An Inverse Method for Markov Decision Processes (English) Flag Italy Bologna
20th August 2009 ICTAC’09 IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata (English) Flag Malaysia Kuala Lumpur
17th September 2008 RP’08 A Generalisation Method for Parametric Timed Automata (English) Flag England Liverpool

See also