10th Workshop on Synchronous Programming
SYNCHRON'03

December 1-5, 2003 - CIRM, Marseille-Luminy, France

List of participants

Programme, Abstracts and Slides

Monday, December 1st

W. P. de Roever - Data refinement: model-oriented proof methods and their comparison
N. Halbwachs - From discrete duration calculus to synchronous observers
G. Berry - New directions in synchronous languages and programming
M. Moy - Formal verification of SoC transactional models
F. Boussinot - Concurrent programming in C using fair threads

Tuesday, December 2nd

A. Girault - A bi-criteria scheduling heuristic - Electronic design with evolutionary algorithms
J. Aguado - Semantic games for synchrony
J. van Schuppen - Protocol IEEE 802.11 modelling and control using DES
O. Tardieu - Introducing jumps in Esterel
J. Lukoschus - Efficient compilation of Esterel cyclic programs
S. Edwards - The Columbia Esterel compiler
C. Soviani - Improving controller synthesis from Esterel

Wednesday, December 3rd

F. Maraninchi - Playing with the idea of Aspect Programming for Reactive Systems
R. von Hanxleden - Graphical languages for modelling complex systems
P. Raymond - Lustre V6
J. Mikac - Proving Invariants: How Many Times a System Should Be Unfolded?
E. Vecchie - Syntax-driven partitionning for model-checking of Esterel programs
E. Rutten - Using discrete controller synthesis for fault-tolerant distributed systems

Thursday, December 4th

P. Potop - Weakly endochronous systems
C. Brunette - The new Icobjs framework
Ch. André - Towards a Syncchart reactive profile for UML
G. Pace - A new verification algorithm for planar differential inclusions
A. Gamatié - Modeling real-time Java programs within Polychrony
B. Jeannet - Automatic state-reaching for debugging reactive programs
Z. Chamsky - Parallelism and Physical Time in Multimedia Applications, or: Another view on Iterators (and Arrays)
L. Mandel - Reactive ML
Ch. Mauras - Symbolic verification in synchronous constraint programming
M. Pouzet - Clocks as first class abstract types

Friday, December 5th

Excursion