Overview
Tuesday
Wednesday
Thursday
Friday
Social Events
Satellite Workshops' Day
Venue Information:
ISEP/IPP
Rua Dr. António Bernardino de Almeida 431
4200-072 PORTO
area map
back to workshop programme index
SLAP2003 - 2nd International Workshop on Synchronous Languages, Applications and Programming
IDT Building - Room 03
9:00 - 9:10
Welcome and opening
9:10 - 9:50
Computing SyncCharts reactions (C. André)
9:50 - 10:30
A-maze-ing Esterel (J. Aguado and M. Mendler)
10:30 - 11:00
Coffee break
11:00 - 11:40
An overview of the Signal clock calculus (M. Nebut)
11:40 - 12:20
Safety property verification of cyclic synchronous circuits (K. Claessen)
12:20 - 14:00
Lunch
14:00 - 16:00
Execution of synchronous programs in industrial context, and open research problems in synchronous programming
16:00 - 16:30
Coffee break
16:30 - 17:10
Synchronous Estelle: just another synchronous language? (M. Riesco and J. Tuya)
17:10 - 17:50
Modelling of avionics applications and performance evaluation techniques using the synchronous language Signal (A. Gamatié, T. Gautier, and L. Besnard)
17:50 - 18:30
Testing against some eventuality properties of synchronous software: a case study (L. du Bousquet, F. Ouabdesslam, and J.-L. Richier)
18:30 - 18:40
Closing
