Electronic Notes in Theoretical Computer Science, Volume 80

Volume 80, 2003

• Thomas Arts, Wan Fokkink:
  Preface.
  
• Richard Bubel, Reiner Hähnle:
  Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System.
  
• Achim D. Brucker, Burkhart Wolff:
  A Case Study of a Formalized Security Architecture.
  
• Nicole Rauch, Burkhart Wolff:
  Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL.
  
• Néstor Cataño:
  Slicing Event Spaces: Towards a Java Programs Checking Framework.
  
• 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.
  
• Abdessamad Imine, Pascal Urso:
  Automatic Detection of Copies Divergence in Collaborative Editing Systems.
  
• Stefan Blom, Simona Orzan:
  Distributed State Space Minimization.
  
• Antero Kangas, Antti Valmari:
  Verification with the Undefined: A New Look.
  
• Werner Damm:
  Recent Trends in the Development of Safety Critical Systems.
  
• Ella E. Roubtsova, Serguei A. Roubtsov:
  UML-based Tool for Constructing Component Systems via Component Behaviour Inheritance.
  
• Paul Ziemann, Martin Gogolla:
  Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study.
  
• Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl:
  Model-Based Test Case Generation for Smart Cards.
  
• Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla:
  Analysis of the MPEG-2 Encoding Algorithm with ROSA1.
  
• 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.
  
• Jerker Hammarberg, Simin Nadjm-Tehrani:
  Development of Safety-Critical Reconfigurable Hardware with Esterel.
  
• Andrew Butterfield, Jim Woodcock:
  An Operational Semantics for Handel-C.
  
• Ina Schieferdecker, Theofanis Vassiliou-Gioles:
  Tool Supported Test Frameworks in TTCN-3.
  
• Juan Bicarregui:
  Information Systems Research and Development at CCLRC: Accelerating Innovation through Technology Transfer.
  
• Mads Dam, Lars-Åke Fredlund, Dillian Guruv:
  Formal Methods Research at SICS and KTH: An Overview.
  
• Lubos Brim, Jiri Barnat:
  Distribution of Explicit-State LTL Model-Checking.
  
• Radu Mateescu:
  On-the-Fly Verification using CADP.
  
• Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol:
  New developments around the mCRL tool set.
  
• Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan:
  Formal Methods Group ETH Zürich.
  
• Stefania Gnesi:
  Formal Specification and Verification of Complex Systems.
  
• Andrew Butterfield:
  Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin.
  
• Rolv Bræk:
  Formal Methods Research at NTNU, Department of Telematics.