Étienne André – Talks

• Home
• Publications
• Talks
• Teaching
• Contact

Talks

Date	Context	Title	Place
23rd March 2012	School of Computing Seminar	Parameter Synthesis for Hierarchical Concurrent Real-Time Systems	Singapore
28th September 2011	RP’11	Synthesis of Timing Parameters Satisfying Safety Properties	Genoa
19th May 2011	Séminaire IRT	Synthesis of Timing Parameters for the Verification of Hardware Components and Communication Protocols	Toulouse
13th May 2011	Séminaire du LIP6 SoC	Synthesis of Timing Parameters for the Verification of Hardware Components	Paris
26th January 2011	Computing Students Talks	The Good, the Bad and the Unkown – Synthesis of Timing Parameters in Concurrent Systems	Singapore
8th December 2010	Ph.D. defense	An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems	Cachan
2nd December 2010	Seminary IST Austria	An Inverse Method for the Synthesis of Timing Parameters in Concurrent Systems	Vienna
26th October 2010	CNR-CNRS Project "Verification of infinite state and real time systems"	Comparison of variants of the inverse method in timed automata	Rome
21st October 2010	Séminaire 68NQRT	Synthesis of Good Parameters in Timed Automata	Rennes
21st September 2010	INFINITY’10	IMITATOR II: A Tool for Solving the Good Parameters Problem in Timed Automata	Singapore
28th August 2010	RP’10	Behavioral cartography of timed automata	Brno
5th July 2010	CNR-CNRS Project "Verification of infinite state and real time systems"	Synthesis of constraints in order to generalize a reference behavior in timed automata	Rome
23rd February 2010	Séminaire Pop Art	A new approach for the good parameters problem in timed automata	Grenoble
22nd January 2010	Séminaire MeFoSyLoMa	Synthesis of timing parameters in timed automata for the verification of hardware components	Paris
18th November 2009	MSR’09	Synthèse de contraintes temporisées pour une architecture d’automatisation en réseau	Nantes
12th November 2009	Séminaire LIF	Synthesis of constraints in order to generalize a reference behavior in timed automata	Marseille
20th October 2009	Séminaire LIST (CEA)	Synthèse de contraintes pour la généralisation d’un comportement de référence dans les automates temporisés	Saclay
8th October 2009	Séminaire Farman	SIMOP : synergie simulation et model-checking paramétré	Cachan
23rd September 2009	AVoCS’09	An Extension of the Inverse Method to Probabilistic Timed Automata	Gregynog
3rd September 2009	ETR’09	Une méthode inverse pour les processus de décision markoviens	Paris
31st August 2009	INFINITY’09	An Inverse Method for Markov Decision Processes	Bologna
20th August 2009	ICTAC’09	IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata	Kuala Lumpur
17th September 2008	RP’08	A Generalisation Method for Parametric Timed Automata	Liverpool
25th June 2007	Soutenance du master en informatique de Rennes 1	Gestion des théories par les foncteurs logiques	Rennes
7th February 2007	Séminaire du master en informatique de Rennes 1	Construction et utilisation des logiques dans les systèmes d’information	Rennes
2nd February 2006	Hauptseminar Metamodelling	Metamodelling and Language Engineering	Dresden

See also

• My publications

This page makes use of valid HTML 5 and valid CSS.