Volume 80, 2003

FMICS'03: Eighth International Workshop on Formal Methods for Industrial Critical Systems
June 2003
FMICS'03 Home Page

• 
  Richard Bubel, Reiner Hähnle: Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System. 1-23
• 
  Achim D. Brucker, Burkhart Wolff: A Case Study of a Formalized Security Architecture. 24-40
• 
  Nicole Rauch, Burkhart Wolff: Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL. 41-58
• 
  Néstor Cataño: Slicing Event Spaces: Towards a Java Programs Checking Framework. 59-74
• 
  Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll: An overview of JML tools and applications. 75-91
• 
  Abdessamad Imine, Pascal Urso: Automatic Detection of Copies Divergence in Collaborative Editing Systems. 92-108
• 
  Stefan Blom, Simona Orzan: Distributed State Space Minimization. 109-123
• 
  Antero Kangas, Antti Valmari: Verification with the Undefined: A New Look. 124-139
• 
  Werner Damm: Recent Trends in the Development of Safety Critical Systems. 140
• 
  Ella E. Roubtsova, Serguei A. Roubtsov: UML-based Tool for Constructing Component Systems via Component Behaviour Inheritance. 141-156
• 
  Paul Ziemann, Martin Gogolla: Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study. 157-169
• 
  Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl: Model-Based Test Case Generation for Smart Cards. 170-184
• 
  Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla: Analysis of the MPEG-2 Encoding Algorithm with ROSA1. 185-202
• 
  Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert: Towards the verification of real-time systems in avionics: the Cotre approach. 203-218
• 
  Jerker Hammarberg, Simin Nadjm-Tehrani: Development of Safety-Critical Reconfigurable Hardware with Esterel. 219-234
• 
  Andrew Butterfield, Jim Woodcock: An Operational Semantics for Handel-C. 235-250
• 
  Ina Schieferdecker, Theofanis Vassiliou-Gioles: Tool Supported Test Frameworks in TTCN-3. 251-260
• 
  Juan Bicarregui: Information Systems Research and Development at CCLRC: Accelerating Innovation through Technology Transfer. 261-266
• 
  Mads Dam, Lars-Åke Fredlund, Dillian Guruv: Formal Methods Research at SICS and KTH: An Overview. 267-272
• 
  Lubos Brim, Jiri Barnat: Distribution of Explicit-State LTL Model-Checking. 273-278
• 
  Radu Mateescu: On-the-Fly Verification using CADP. 279-283
• 
  Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol: New developments around the mCRL tool set. 284-288
• 
  Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan: Formal Methods Group ETH Zürich. 289-293
• 
  Stefania Gnesi: Formal Specification and Verification of Complex Systems. 294-298
• 
  Andrew Butterfield: Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin. 299-303
• 
  Rolv Bræk: Formal Methods Research at NTNU, Department of Telematics. 304-309
• 
  Thomas Arts, Wan Fokkink: Preface. 310-311