ercim

 

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

 

European Research Consortium for Informatics and Mathematics
ERCIM|

  
Programme