Étienne André – Exposés

Quelques présentations

Date Context Title Place
31 octobre 2012 NWPT’12 Robustness Analysis of Time Petri Nets (English) Drapeau Norvège Bergen
27 août 2012 UML&FM’12 Formalizing Non-Concurrent UML State Machines Using Colored Petri Nets (English) Drapeau France Paris
20 juillet 2012 ICECCS’12 Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (English) Drapeau France Paris
30 juin 2012 COMPARE’12 Towards Unified Mechanisms for Defining and Sharing Formal Notations for Concurrency (English) Drapeau Angleterre Manchester
23 mars 2012 School of Computing Seminar Parameter Synthesis for Hierarchical Concurrent Real-Time Systems (English) Drapeau Singapour Singapour
28 septembre 2011 RP’11 Synthesis of Timing Parameters Satisfying Safety Properties (English) Drapeau Italie Gênes
19 mai 2011 Séminaire IRT Synthesis of Timing Parameters for the Verification of Hardware Components and Communication Protocols (English) Drapeau France Toulouse
26 janvier 2011 Computing Students Talks The Good, the Bad and the Unkown – Synthesis of Timing Parameters in Concurrent Systems (English) Drapeau Singapour Singapour
8 décembre 2010 Soutenance de thèse An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems (English) Drapeau France Cachan
2 décembre 2010 Seminary IST Austria An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems (English) Drapeau Autriche Vienne
21 septembre 2010 INFINITY’10 IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata (English) Drapeau Singapour Singapour
28 août 2010 RP’10 Behavioral cartography of timed automata (English) Drapeau République tchèque Brno
22 janvier 2010 Séminaire MeFoSyLoMa Synthesis of timing parameters in timed automata for the verification of hardware components (English) Drapeau France Paris
18 novembre 2009 MSR’09 Synthèse de contraintes temporisées pour une architecture d’automatisation en réseau (Français) Drapeau France Nantes
8 octobre 2009 Séminaire Farman SIMOP : synergie simulation et model-checking paramétré (Français) Drapeau France Cachan
23 septembre 2009 AVoCS’09 An Extension of the Inverse Method to Probabilistic Timed Automata (English) Drapeau Pays de Galles Gregynog
3 septembre 2009 ETR’09 Une méthode inverse pour les processus de décision markoviens (Français) Drapeau France Paris
31 août 2009 INFINITY’09 An Inverse Method for Markov Decision Processes (English) Drapeau Italie Bologne
20 août 2009 ICTAC’09 IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata (English) Drapeau Malaisie Kuala Lumpur
17 septembre 2008 RP’08 A Generalisation Method for Parametric Timed Automata (English) Drapeau Angleterre Liverpool
25 juin 2007 Soutenance du master en informatique de Rennes 1 Gestion des théories par les foncteurs logiques (Français) Drapeau Bretagne, France Rennes
7 février 2007 Séminaire du master en informatique de Rennes 1 Construction et utilisation des logiques dans les systèmes d’information (Français) Drapeau Bretagne, France Rennes
2 février 2006 Hauptseminar Metamodelling Metamodelling and Language Engineering (English) Drapeau Allemagne Dresde

Voir aussi

Cette page est conforme aux standards HTML 5 et CSS.

Content and CSS can be reused and modified under the terms of license Creative Commons Attribution 3.0 Unported (CC BY 3.0).

Creative Commons Attribution 3.0 Unported