DOTS'10

International Workshop on
Distributed Open Timed Systems

Paris, France, September 4, 2010

a satellite event of CONCUR 2010


Important Dates:

Deadline for papers (abstracts): May 25, 2010 (closed)
Notification of paper acceptance: June 20, 2010
Workshop: September 4, 2010

Scope and Topics    Invited Speaker    Programme    Programme Committee    Registration & Accommodation    Submission and Publication   

Scope

The DOTS project (Distributed Open Timed Systems), funded by the French National Agency for Research, is focused on the combinations of three aspects of concurrent systems:

While these features are rather well understood when considered separately, there remain challenging issues in their combinations. The aim of the DOTS project was precisely to develop verification and control methods for such systems. The main techniques involved in this project are based on games and partial orders.

The purpose of this workshop is to gather researchers interested in modeling and analysis of concurrent systems featuring at least two of the above aspects. Relevant topics include, but are not limited to:


Invited Speaker


Programme

09:20 - 09:30Welcome - Introduction
09:30 - 10:30Invited talk by K. Chatterjee, common with the GASICS workshop. Games with Finitary Parity and Streett Objectives
10:30 - 11:00Coffee break
11:00 - 11:30F. Avellaneda, R. Morin. Divergence and channel-bound of high-level message sequence charts revisited
11:30 - 12:00B. Bollig, S. Haar, L. Helouët. Diagnosis with Dynamic MSC Languages
12:00 - 12:30P. Bouyer-Decitre, N. Markey, O. Sankur, C. Thrane. Making Timed Automata Robust
12:30 - 14:30Lunch break
14:30 - 15:00B. Grabiec, C. Jard, A. Legay. Unfolding Petri nets under partial observation
15:00 - 15:30R. Jaubert, P.A. Reynier. How robust is your favorite timed automaton?
15:30 - 16:00Coffee break - Closing


Programme committee


Registration & Accommodation

Please register for the DOTS'10 workshop as part of the CONCUR 2010 registration

Information about how to get to the conference site and about hotels can be found at the conference web site.


Submission and publication

Please submit a 1 page abstract by directly sending it as a PDF file to Béatrice Bérard

The accepted abstracts (or extended versions, if the authors wish it) will be made available on the workshop website.