default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th FMICS 2003: Roros, Norway
- Thomas Arts, Wan J. Fokkink:
Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003. Electronic Notes in Theoretical Computer Science 80, Elsevier 2003 - 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, Dilian Gurov:
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 J. Fokkink:
Preface. 310-311
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-07 23:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
