| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Case Study of a Formalized Security Architecture
|
Brucker, Achim D.
|
|
2003
|
80 |
C |
p. 24-40
17 p.
|
artikel
|
| 2 |
Analysis of the MPEG-2 Encoding Algorithm with ROSA 1 1 This work has been supported by the CICYT project “Performance Evaluation of Distributed Systems”, TIC2000-0701-C02-02.
|
Pelayo, Fernando L.
|
|
2003
|
80 |
C |
p. 185-202
18 p.
|
artikel
|
| 3 |
An Operational Semantics for Handel-C 1 1 Handel-C is the registered trademark of Celoxica Ltd (www.celoxica.com)
|
Butterfield, Andrew
|
|
2003
|
80 |
C |
p. 235-250
16 p.
|
artikel
|
| 4 |
An overview of JML tools and applications 1 1 www.jmlspecs.org
|
Burdy, Lilian
|
|
2003
|
80 |
C |
p. 75-91
17 p.
|
artikel
|
| 5 |
Automatic Detection of Copies Divergence in Collaborative Editing Systems 1 1 The authors would like to thank Pascal Molli and Gérald Oster for useful comments on an earlier draft of this paper.
|
Imine, Abdessamad
|
|
2003
|
80 |
C |
p. 92-108
17 p.
|
artikel
|
| 6 |
Development of Safety-Critical Reconfigurable Hardware with Esterel
|
Hammarberg, Jerker
|
|
2003
|
80 |
C |
p. 219-234
16 p.
|
artikel
|
| 7 |
Distributed State Space Minimization
|
Blom, Stefan
|
|
2003
|
80 |
C |
p. 109-123
15 p.
|
artikel
|
| 8 |
Distribution of Explicit-State LTL Model-Checking
|
Brim, Luboš
|
|
2003
|
80 |
C |
p. 273-278
6 p.
|
artikel
|
| 9 |
Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL
|
Rauch, Nicole
|
|
2003
|
80 |
C |
p. 41-58
18 p.
|
artikel
|
| 10 |
Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin
|
Butterfield, Andrew
|
|
2003
|
80 |
C |
p. 299-303
5 p.
|
artikel
|
| 11 |
Formal Methods Group ETH Zürich
|
Biere, Armin
|
|
2003
|
80 |
C |
p. 289-293
5 p.
|
artikel
|
| 12 |
Formal Methods Research at NTNU, Department of Telematics
|
Bræk, Rolv
|
|
2003
|
80 |
C |
p. 304-309
6 p.
|
artikel
|
| 13 |
Formal Methods Research at SICS and KTH
|
Dam, Mads
|
|
2003
|
80 |
C |
p. 267-272
6 p.
|
artikel
|
| 14 |
Formal Specification and Verification of Complex Systems 1 1 Work partially founded by Miur projectSP4.
|
Gnesi, S.
|
|
2003
|
80 |
C |
p. 294-298
5 p.
|
artikel
|
| 15 |
Information Systems Research and Development at CCLRC
|
Bicarregui, Juan C.
|
|
2003
|
80 |
C |
p. 261-266
6 p.
|
artikel
|
| 16 |
Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software
|
Bubel, Richard
|
|
2003
|
80 |
C |
p. 1-23
23 p.
|
artikel
|
| 17 |
Model-Based Test Case Generation for Smart Cards 1 1 Support by the BMBF (project EMPRESS) is gratefully acknowledged.
|
Philipps, J.
|
|
2003
|
80 |
C |
p. 170-184
15 p.
|
artikel
|
| 18 |
New developments around the μCRL tool set 1 1 http://www.cwi.nl/~mcrl
|
Blom, Stefan
|
|
2003
|
80 |
C |
p. 284-288
5 p.
|
artikel
|
| 19 |
On-the-Fly Verification using CADP
|
Mateescu, Radu
|
|
2003
|
80 |
C |
p. 279-283
5 p.
|
artikel
|
| 20 |
Preface
|
Arts, Thomas
|
|
2003
|
80 |
C |
p. 310-311
2 p.
|
artikel
|
| 21 |
Recent Trends in the Development of Safety Critical Systems
|
Damm, Werner
|
|
2003
|
80 |
C |
p. 140-
1 p.
|
artikel
|
| 22 |
Slicing Event Spaces
|
Cataño, Néstor
|
|
2003
|
80 |
C |
p. 59-74
16 p.
|
artikel
|
| 23 |
Tool Supported Test Frameworks in TTCN-3
|
Schieferdecker, Ina
|
|
2003
|
80 |
C |
p. 251-260
10 p.
|
artikel
|
| 24 |
Towards the verification of real-time systems in avionics
|
Berthomieu, B.
|
|
2003
|
80 |
C |
p. 203-218
16 p.
|
artikel
|
| 25 |
UML-based Tool for Constructing Component Systems via Component Behaviour Inheritance
|
Roubtsova, E.E.
|
|
2003
|
80 |
C |
p. 141-156
16 p.
|
artikel
|
| 26 |
Validating OCL Specifications with the USE Tool
|
Ziemann, Paul
|
|
2003
|
80 |
C |
p. 157-169
13 p.
|
artikel
|
| 27 |
Verification with the Undefined
|
Kangas, Antero
|
|
2003
|
80 |
C |
p. 124-139
16 p.
|
artikel
|
Tijdschrift beschrijving