| Lecturer | Title | |||
| Mon June 13 |
||||
| 08.00-09.00 | breakfast | |||
| 08.55-09.00 | opening of SFM-11:CONNECT | |||
| 09.00-11.00 | Gordon Blair (Univ. Lancaster, UK) Massimo Paolucci (Docomo Euro-Labs Munich, DE) |
Interoperability in Complex Distributed Systems |
||
| 11.30-13.00 | Nalini Venkatasubramanian (Univ. California at Irvine, US) | Interoperability Challenges in Cyber-Physical Systems |
||
| 13.00-14.30 | lunch | |||
| 14.30-16.00 | Nikolaos Georgantas (INRIA Paris-Rocquencourt, FR) Rachid Saadi (INRIA Paris-Rocquencourt, FR) |
The CONNECT Architecture | ||
| 16.30-18.00 | Paul Grace (Univ. Lancaster, UK) |
Lab Session: Solving Interoperability Problems |
||
| Tue June 14 |
||||
| 08.00-09.00 | breakfast | |||
| 09.00-11.00 | Marta Kwiatkowska (Univ. Oxford, UK) |
Introduction to Modeling and Quantitative Verification |
||
| 11.30-13.00 | Christel Baier (Tech. Univ. Dresden, DE) | Modeling and Verification of Components and Connectors |
||
| 13.00-14.30 | lunch | |||
| 14.30-16.00 | David Parker (Univ. Oxford, UK) |
Quantitative Compositional Verification | ||
| 16.30-18.00 | David Parker (Univ. Oxford, UK) |
Lab Session: Modeling and Compositional Verification of Probabilistic Component-Based Systems Using PRISM |
||
| Wed June 15 |
||||
| 08.00-09.00 | breakfast | |||
| 09.00-10.30 | Paola Inverardi (Univ. L'Aquila, IT) Massimo Tivoli (Univ. L'Aquila, IT) |
Application-Layer Connector Synthesis | ||
| 11.00-13.00 | Dimitra Giannakopoulou (NASA Ames, US) |
Context Synthesis | ||
| 13.00-14.30 | lunch | |||
| 14.30-16.00 | Valerie Issarny (INRIA Paris-Rocquencourt, FR) Amel Bennaceur (INRIA Paris-Rocquencourt, FR) |
Middleware-Layer Connector Synthesis | ||
| 16.30-18.00 | Dimitra Giannakopoulou (NASA Ames, US) Massimo Tivoli (Univ. L'Aquila, IT) |
Lab Session: Tools for Automatic Connector Synthesis |
||
| Thu June 16 |
||||
| 08.00-09.00 | breakfast | |||
| 09.00-11.00 | Bernhard Steffen (Tech. Univ. Dortmund, DE) |
Automata Learning | ||
| 11.30-13.00 | Jan Tretmans (Radboud Univ. Nijmegen, NL) | Testing Supported by Learning | ||
| 13.00-14.30 | lunch | |||
| 14.30-16.00 | Bengt Jonsson (Univ. Uppsala, SE) | Machine Learning and Data | ||
| 16.30-18.00 | Falk Howar (Tech. Univ. Dortmund, DE) Maik Merten (Tech. Univ. Dortmund, DE) |
Lab Session: Experiences with LearnLib |
||
| Fri June 17 |
||||
| 08.00-09.00 | breakfast | |||
| 09.00-11.00 | Antonia Bertolino (CNR-ISTI Pisa, IT) Felicita Di Giandomenico (CNR-ISTI Pisa, IT) |
Dependability and Performance Assessment of Dynamic Connected Systems |
||
| 11.30-13.00 | Shing-Chi Cheung (Hong Kong Univ. Sci. Tech., HK) | The Multi-Facets of Building Dependable Physical Computing Systems |
||
| 13.00-14.30 | lunch | |||
| 14.30-16.00 | Mogens Nielsen (Univ. Aarhus, DK) | Computational Trust | ||
| 16.30-18.00 | Ilaria Matteucci (CNR-IIT Pisa, IT) Rachid Saadi (INRIA Paris-Rocquencourt, FR) |
Security and Trust | ||
| Sat June 18 |
||||
| 08.00-09.00 | breakfast | |||
| 09.00-11.00 | Ina Schaefer (Tech. Univ. Braunschweig, DE) |
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language |
||
| 11.00-11.15 | closing of SFM-11:CONNECT | |||