MoVeP 2010 (28. June - 02. July 2010, Aachen)
About
Organization
Program
Schedule
Student session
Registration
Venue
Accommodation
Sponsors
News
Feb. 2012 Homepage of MOVEP 2012
10.7.2010 most of the slides are online
5.7.2010 picture gallery of
MOVEP 2010
18.6.2010 detailed schedule is online
17.6.2010 local information leaflet
31.5.2010 accommodation: special rates
now until June 7
22.5.2010 submission closed
4.5.2010 tentative schedule is online
3.5.2010 abstracts of some talks online
19.4.2010 information on accommodation
14.4.2010 style file for abstracts online
13.4.2010 information on travel grants
12.4.2010 registration is open
12.4.2010 Call for participation
10.4.2010 travel information is online
Important Dates
registration: April 12 - June 1, 2010
submission: until May 21, 2010
(for student session)
special rates for accommodation:
until May 27, 2010
school: June 28 - July 2, 2010
Schedule

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
 Contact
  movep2010@automata.rwth-aachen.de
Disclaimer Chair of Computer Science 7 , RWTH Aachen University. Design by Stylish Website Templates.