Programme SLA++P07

9:00 - 9:05 Welcome and Opening

9:05 - 9:50  Invited Talk- Dr. Steven Miller, Senior Principal
Engineer in the Advanced Technology Center of Rockwell Collins, USA.

9:50 - 10:30 A Model Checking Approach to Protocol Conversion.
R.Sinha, P.S.Roop, S.Basu.

10:30 - 11:00 Morning Coffee Break.

11:00 - 11:40 Worst Case Reaction Time Analysis of Concurrent
Reactive Programs. M.Boldt, C.Traulsen, R.von Hanxleden.

11:40 - 12:20 Executable Specifications for Real-Time Distributed
Systems. A.Ray, R.Cleaveland.

12:20 - 12:30 (Short discussion) SYNCHRON'07 and SLAP'08.

12:30 - 14:00 Lunch.

14:00 - 14:40 Gotos in Esterel. O.Tardieu, S.A.Edwards.

14:40 - 15:20 Specifying and executing reactive scenarios with
Lutin. P.Raymond, Y.Roux, E.Jahier.

15:20 - 16:00 Modifying Contracts with Larissa Aspects. D.Stauch.

16:00 - 16:30 Afternoon Coffee Break

16:30 - 17:10 Lustre as a System Modeling Language: Lussensor, a
Case-Study with Sensor Networks. F.Maraninchi, L.Samper, K.Baradon,
A.Vasseur.

17:10 - 17:50 Mutation analysis for LUSTRE programs. L.du Bousquet,
M.Delaunay.

17:50 - 18:30 Extending Lustre with Timeout Automata. J.Gao,
M.Whalen, E.Van Wyk.