|
|
SEPTEMBER 20
|
|
09:00 - 10:00
|
INVITED SPEAKER
Formalising the Informal: Linking Formal Methods to Informal Requirements
Jeremy Dick, Telelogic
|
|
10:00 - 10:30
|
Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic
David Sinclair, James Power
|
|
10:30 - 11:00
|
COFFEE BREAK
|
|
11:00 - 11:30
|
From Distributed-Memory Cycle Detection to Parallel LTL Model-Checking
J. Barnat, L. Brim, J. Chaloupka
|
|
11:30 - 12:00
|
Analysis of Real-Time Systems with CTL Model Checkers
Mustapha Bourahla, Mohamed Benmohamed
|
|
12:00 - 12:30
|
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems
Martin Franzle, Christian Herde
|
|
12:30 - 14:00
|
LUNCH
|
|
14:00 - 14:30
|
Object Oriented Concepts Identification from Formal B Specifications
Akram Idani, Yves Ledru
|
|
14:30 - 15:00
|
Merging Scenarios
Jacques Klein, Benoît Caillaud, Loïc Hélouët
|
|
15:00 - 15:30
|
Early Verification and Validation of Critical Systems
P. Massonet, J.F. Molderez et al
|
|
15:30 - 16:00
|
COFFEE BREAK
|
|
16:00 - 16:30
|
Modelling Fault-Tolerant Distributed Systems forDiscrete Controller Synthesis
Alain Girault, Eric Rutten
|
|
16:30 - 17:00
|
On the Formal Verification of Middleware Behavioral Properties
Jerome Hugues, Thomas Vergnaud et al
|
|
17:00 - 17:30
|
Obtaining Memory-Efficient Solutions to Boolean Equation Systems
Misa Keinänen
|
|
20:00 -
|
FMICS 04 DINNER
|
|
|
SEPTEMBER 21
|
|
09:00 - 10:00
|
INVITED SPEAKER
Verifying Web Services Security
Cédric Fournet, Microsoft Research
|
|
10:00 - 10:30
|
Testing for the conformance of real-time protocols implemented by operating systems
Dieter Zoebel, David Polock, Andreas van Arkel
|
|
10:30 - 11:00
|
COFFEE BREAK
|
|
11:00 - 11:30
|
Geographical vs. Functional Modelling by Statecharts of Interlocking Systems
Michele Banci, Alessandro Fantechi
|
|
11:30 - 12:00
|
Integration of Reliability and Performance Analyses for Active Network Services
Maria del Mar Gallardo, Jesus Martinez et al
|
|
12:00 - 12:30
|
Improving Software Quality in Safety-CriticalApplications by Model-Driven Verification
Anders Henriksson, Uwe Assmann, James Hunt
|
|
12:30 - 14:00
|
LUNCH
|
|
14:00 - 14:30
|
Model Checking Flight Guidance Systems: from Synchrony to Asynchrony
Yunja Choi
|
|
14:30 - 15:00
|
Model Checking Publish/Subscribe Notification for thinkteam
Maurice H. ter Beek, Mieke Massink et al
|
|
15:00 - 15:30
|
An Abstract Interpretation Toolkit for muCRL
Jaco van de Pol, Miguel Valero Espada
|
|
15:30 - 16:00
|
COFFEE BREAK
|
|
16:00 - 18:00
|
FMICS BOARD MEETING
|