For Printing

You can download the schedule as PDF document for printing.

Overview

Below you find an overview of the schedule. The times for the coffee breaks are not tight, they depend on how precisely the tutorials are split.

On Sunday there is the possiblity to register between 18:30h and 20:00h in the bar Chico Mendes. See the local information leaflet for more information.

The dinner is on Wednesday at 19:30h in the restaurant Da Salvatore. See the local information leaflet for more information.

	Monday June 28	Tuesday June 29	Wednesday June 30	Thursday July 1	Friday July 2
8:50	Opening
9:00-9:30	Stochastic games Krishnendu Chatterjee	Testing and model generation Bengt Jonsson	Programming languages for biology Andrew Phillips	Model checking probabilistic systems Joost-Pieter Katoen	Verification of security protocols Véronique Cortier
9:30-10:00
10:00-10:30	Coffee break	Coffee break	Coffee break	Coffee break	Coffee break
10:30-11:00	Stochastic games Krishnendu Chatterjee	Testing and model generation Bengt Jonsson	Programming languages for biology Andrew Phillips	Model checking probabilistic systems Joost-Pieter Katoen	Verification of security protocols Véronique Cortier
11:00-11:30
11:30-12:00
12:00-14:00	Lunch break	Lunch break	Lunch break	Lunch break	Lunch break
14:00-14:30	Model checking recursive programs Stefan Schwoon	Presburger arithmetic and verification of infinite state systems Jérôme Leroux	student session	Timed systems James Worrell	Realisability of message sequence charts Blaise Genest
14:30-15:00
15:00-15:30
15:30-16:00	Coffee break	Coffee break	Coffee break	Coffee break	Coffee break
16:00-16:30	Bounded model checking of hybrid systems Martin Fränzle	Compositional shape analysis Dino Distefano	Free time and dinner in the evening	Timed systems James Worrell	End of MOVEP 2010
16:30-17:00
17:00-17:30				short break and student session
17:30-18:00	short break and student session	short break and student session
18:00-18:40

Student Sessions

For each presentation in the student session there is a slot of 15 minutes. The talks should be planned for 13 minutes to leave time for short questions. The schedule for the student sessions is as follows:

Monday

17:30-17:40 Short Break

17:40-18:40 4 Talks

1. Tomáš Babiak: Translation of LTL to B\"uchi automata: improved once again
2. Stanislav Böhm: Bisimilarity of one-counter processes
3. Huaxin Wang: Mixing best reply and strategy improvement in parity games
4. Martin Zimmermann: Playing Muller games in a hurry

Tuesday

17:30-17:40 Short Break

17:40-18:40 4 Talks

1. Abderrahmane Feliachi: Tests generation from Circus specifications
2. Sébastien Chédor: Testing systems modeled by deterministic graph grammars
3. Zhang Yan: Modeling automated highway systems with VeriJ
4. Nouha Abid: Real-time extensions for the Fiacre modeling language

Wednesday

14:00-15:30 6 Talks

1. Maximilian Odenbrett: Slicing AADL specifications for model checking
2. Eudes Petonnet: Counting temporal logics
3. Mouhamadou Sakho: $\Gamma$-pomsets
4. Martin Stéphane: Collaborative editing on trees in peer to peer framework
5. Fabien Kuntz: Optimising monitoring of avionics systems to improve diagnostic performances
6. Tomas Fidler: Static analysis of network security on IP networks

Thursday

17:00-17:10 Short Break

17:10-18:40 6 Talks

1. Naim Aber: Decomposition of time Petri nets
2. Janusz Malinowski: SAT based bounded model checking with partial order semantics for timed automata
3. Rémi Jaubert: How robust is your favorite timed automaton?
4. Amélie Stainer: A game approach to determinize timed automata
5. Jan Křetínský: Stochastic real-time games
6. Romain Brenguier: Nash equilibria in multi-player timed games