SEFM 2013

11th International Conference on
Software Engineering and Formal Methods

September 25-27, 2013, Madrid, Spain

Sponsors:

Program (in pdf)

Wednesday , 25 September
9:45 10:00 Opening Words
10:00 11:00Marius Bozga. Modeling Heterogeneous Real-time Components in BIP (revisited)
11:00 11:30Coffe Break
11:30 13:00Real-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:30Lunch
14:30 19:30Excursion
19:30City Hall Reception
Thursday, 26 September
10:00 11:00 Wolfram Schulte. Building billions of software artifacts.
11:00 11:30Coffe 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:30Lunch
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:10Announcement of SEFM 2014
Gala Dinner
Friday, 27 September
10:00 11:00Thomas A. Henzinger. Behavioral Software Metrics
11:00 11:30Coffe 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:30Lunch
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