CREDO SESSION
10:45 11:15 Immo Grabe
and Mahdi Jaghouri (CWI,
NL)
The CREDO methodology
11:15 11:45 Andries Stam
(Almende, NL)
Modeling and analysis of the ASK
COMPAS SESSION
11:45 12:15 Natallia Kokash (CWI, NL)
Model-checking Reo Connectors using mCRL2
12:15 12:45 Amal Elgammal
(Tilburg University, NL)
The
formal specification of compliance constraints
Lunch
break
HATS SESSION
14:00 14:30 Reiner Hδhnle (Chalmers University
of Technology, SE)
HATS project overview and scalable verification
14:30 15:00 Arnd Poetzsch-Heffter (University of Kaiserslautern, DE)
Modular specification and verification in HATS
15:00 15:30 Martin Steffen (University of Oslo, NO)
Design of an abstract behavioural
specification language system
Break
DEPLOY SESSION
16:00 16:30 Andreas Roth (SAP, DE)
Verification and Testing of Service
Choreographies
16:30 17:00 Michael Butler (University of Southampton, UK)
Structured Event Refinement
17:00 17:30 Alexei Iliasov (Newcastle University, UK), Linas Liabinas,
and Elena Troubitsyna (Εbo Akademi University, FI)
Patterns in formal development by
refinement
MOGENTES
SESSION
10:30
11:00 Rupert Schlick
(Austrian Institute of Technology, AT) and Willibald Krenn
(Technical University of Graz, AT)
Mapping UML Models to Action Systems
for Testing an Interlocking System
11:00
11:30 Bernhard K. Aichernig
(Technical University of Graz, AT)
Testing Hybrid
Systems with Action Systems
11:30
12:00 Daniel Kroening
(ETH, CH, and Oxford University, UK)
Testing Simulink
with a Lattice of Faults
Lunch
break
INESS SESSION
13:30
14:00 Jim Woodcock (University of York, UK)
About the INESS work of the
UK consortium
14:00 14:30 Jaco van de Pol (University of Twente, NL)
Validating Europe's
Interlocking Requirements in xUML with mCRL2 and
LTSMIN
14:30
15:00 Jan Friso Groote
(Eindhoven University of Technology, NL)
Formal methods in Dutch
railways in the past
15:00
15:30 Richard Paige (University of York, UK)
Technical details of MDA
18:30 Conference
dinner
PROTEST SESSION
10:45 11:15 John Derrick (University of Sheffield, UK)
Property-based testing - ProTest
11:15 11:45 Neil Walkinshaw (University of Sheffield, UK)
Combining software model inference with model-based
testing
QUASIMODO SESSION
11:45
12:15 Holger Hermans
(Saarland University, DE)
Abstraction of Probabilistic System
12:15 12:45 Kim G. Larsen (Aalborg University, DK)
Real-time Interface Theories
Lunch
break
BIONETS SESSION
14:00 14:30 Ludovic Henrio (INRIA Sophia-Antipolis, FR)
Formalism and platform for autonomous distributed
components
FMSOA SESSION
14:30 15:00 Santiago Escobar (Universidad Politιcnica de Valencia, SP)
Verification and Certification using Rewriting Logic