| Wednesday , 25 September |
| 9:45 10:00 | Opening Words |
| 10:00 11:00 | Marius Bozga. Modeling Heterogeneous Real-time Components in BIP (revisited) |
| 11:00 11:30 | Coffe Break |
| 11:30 13:00 | Real-time systems.
- Jagadish Suryadevara, Cristina Seceleanu, Frederic Mallet and Paul Pettersso, Verifying MARTE/CCSL Mode Behaviors using UPPAAL.
- Nadia Menad and Philippe Dhaussy, A Transformation Approach for Multiform Time Requirements.
- Bogdan Aman and Gabriel Ciobanu, Real-Time Migration Properties of rTiMo Verified in UPPAAL .
|
| 13:00 14:30 | Lunch |
| 14:30 19:30 | Excursion |
| 19:30 | City Hall Reception |
| Thursday, 26 September |
|---|
| 10:00 11:00 |
Wolfram Schulte. Building billions of software artifacts. |
| 11:00 11:30 | Coffe Break |
| 11:30 13:00 |
Verification 1
- Marcel Vinicius Medeiros Oliveira, Ivan Soares De Medeiros Júnior and Jim Woodcock, A verified protocol to implement multi-way synchronisation and interleaving in CSP
- Radoslaw Klimek, From Extraction of Logical Specifications to Deduction-based Formal Verification of Requirements Models
- Marian Borek, Nina Moebius, Kurt Stenzel and Wolfgang Reif, Model Checking of Security-Critical Applications in a Model Driven Approach
|
| 13:00 14:30 | Lunch |
| 14:30 16:00 |
Verification 2
- Manuel Gesell, Andreas Morgenstern and Klaus Schneider, Lifting Verification Results for Preemption Statements.
- Christian Percebois, Martin Strecker and Hanh Nhi, Tran, Rule-level verification of graph transformations for invariants based on edges' transitive closure.
- Gijs Vanspauwen and Bart Jacobs, Sound Symbolic Linking in the Presence of Preprocessing.
|
| 16:00 16:30 | Coffe Break |
| 16:30 18:00 |
Types and inference
- Sebastian Krings and Michael Leuschel, Inferring Physical Units in B Models.
- Mahdi Sargolzaei, Francesco Santini, Farhad Arbab and Hamideh Afsarmanes, A Tool for Behaviour-based Discovery of Approximately Matching Web Services.
- Ornela Dardha, Elena Giachino and Michael Lienhardt, A Type System for Components.
|
| 18:00 18:10 | Announcement of SEFM 2014 |
|
Gala Dinner |
| Friday, 27 September |
|---|
| 10:00 11:00 | Thomas A. Henzinger.
Behavioral Software Metrics |
| 11:00 11:30 | Coffe Break |
| 11:30 13:00 |
Static analysis
- Sarmen Keshishzadeh, Arjan Mooij and Mohammadreza Mousavi, Early Fault Detection in DSLs using SMT Solving and Automated Debugging
- Iman Saleh, Gregory Kulczycki, M.Brian Blake and Yi Wei, Static Detection of Implementation Errors Using Formal Code Specification
- Thi Mai Thuong Tran, Martin Steffen and Hoang Truong, Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting
|
| 13:00 14:30 | Lunch |
| 14:30 16:00 |
Testing and runtime verification
- Maximiliano Cristia, Gianfranco Rossi and Claudia Frydman, {log} as a Test Case Generator for the Test Template Framework
- Daniel Wonisch, Alexander Schremmer and Heike Wehrheim, Zero Overhead Runtime Monitoring
- Stijn De Gouw, Frank S. De Boer and Peter Y. H. Wong, Run-Time Verification of Coboxes
|
| 16:00 16:30 |
Coffe Break |
| 16:30 18:00 |
Synthesis and transformation
- Amel Bennaceur, Chris Chilton, Malte Isberner and Bengt Jonsso, Automated Mediator Synthesis: Combining Behavioural and Ontological Reasoning
- Ran Ji, Reiner Hähnle and Richard Bubel, Program Transformation Based on Symbolic Execution and Deduction
- Yunja Choi, Constraint Specification and Test Generation for OSEK/VDX-based Operating Systems
|
