Programme of SLA++P at ETAPS 2007
Saturday, March 31, room: CP2-105
09:00 - 10:30 SESSION 1
- Welcome and Opening
- (Invited Talk)
- Dr. Steven Miller, Senior Principal Engineer in
the Advanced Technology Center of Rockwell Collins, USA
- A Model Checking Approach to Protocol Conversion
- R.Sinha, P.S.Roop, S.Basu
10:30 - 11:00 Coffee Break
11:00 - 12:30 SESSION 2
- Worst Case Reaction Time Analysis of Concurrent
Reactive Programs
- M.Boldt, C.Traulsen, R.von Hanxleden
- Executable Specifications for Real-Time
Distributed Systems
- A.Ray, R.Cleaveland
- (Short discussion) SYNCHRON'07 and SLAP'08
12:30 - 14:00 Lunch
14:00 - 15:30 SESSION 3
- Gotos in Esterel
- O.Tardieu, S.A.Edwards
- Specifying and executing reactive scenarios with
Lutin
- P.Raymond, Y.Roux, E.Jahier
- Modifying Contracts with Larissa Aspects
- D.Stauch
15:30 - 16:00 Coffee Break
16:00 - 18:30 SESSION 4
- Lustre as a System Modeling Language: Lussensor,
a Case-Study with Sensor Networks
- F.Maraninchi, L.Samper, K.Baradon, A.Vasseur
Madrid, Spain
- Mutation analysis for LUSTRE programs
- L.du Bousquet
- Extending Lustre with Timeout Automata
- J.Gao, M.Whalen, E.Van Wyk
18:45 SOCIAL EVENT
- Joint Workshops
Post-Conference Dinner (tickets needed)
- Dinner at Pousada Santa Maria de Bouro
- Shuttle departure from University Campus, Gualtar
Further ETAPS 2007 Programme Information:
- Programme Overview, Social Programme
- Main Conferences:
Complete Programme,
CC,
ESOP,
FASE,
FOSSACS,
TACAS
- Workshops:
ACCAT,
Bytecode,
COCV,
FESCA,
FinCo,
GT-VMT,
HAV,
HFL,
LDTA,
MBT,
MOMPES,
OpenCert,
QAPL,
SC,
TERMGRAPH,
WITS
- Tutorials:
Stratego/XT,
SoftwGen,
Mobius
ETAPS 2007 |
Top |
HTML 4.01 |
Last Update: 2007-03-13