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
Last update Mon May 20 00:56:03 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
