| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An Abstract Interpretation Toolkit for μCRL
|
van de Pol, Jaco
|
|
2005
|
133 |
C |
p. 295-313
19 p.
|
artikel
|
| 2 |
Analysis of Real-Time Systems with CTL Model Checkers
|
Bourahla, Mustapha
|
|
2005
|
133 |
C |
p. 41-60
20 p.
|
artikel
|
| 3 |
Early Verification and Validation of Mission Critical Systems
|
Ponsard, C.
|
|
2005
|
133 |
C |
p. 237-254
18 p.
|
artikel
|
| 4 |
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems
|
Fränzle, Martin
|
|
2005
|
133 |
C |
p. 119-137
19 p.
|
artikel
|
| 5 |
From Distributed Memory Cycle Detection to Parallel LTL Model Checking
|
Barnat, J.
|
|
2005
|
133 |
C |
p. 21-39
19 p.
|
artikel
|
| 6 |
Geographical Versus Functional Modelling by Statecharts of Interlocking Systems
|
Banci, Michele
|
|
2005
|
133 |
C |
p. 3-19
17 p.
|
artikel
|
| 7 |
Improving Software Quality in Safety-Critical Applications by Model-Driven Verification
|
Henriksson, Anders
|
|
2005
|
133 |
C |
p. 101-117
17 p.
|
artikel
|
| 8 |
Integration of Reliability and Performance Analyses for Active Network Services
|
del Mar Gallardo, María
|
|
2005
|
133 |
C |
p. 217-236
20 p.
|
artikel
|
| 9 |
Merging Scenarios
|
Klein, Jacques
|
|
2005
|
133 |
C |
p. 193-215
23 p.
|
artikel
|
| 10 |
Model Checking Flight Guidance Systems: from Synchrony to Asynchrony
|
Choi, Yunja
|
|
2005
|
133 |
C |
p. 61-79
19 p.
|
artikel
|
| 11 |
Model Checking Publish/Subscribe Notification for thinkteam ®
|
ter Beek, Maurice H.
|
|
2005
|
133 |
C |
p. 275-294
20 p.
|
artikel
|
| 12 |
Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis
|
Girault, Alain
|
|
2005
|
133 |
C |
p. 81-100
20 p.
|
artikel
|
| 13 |
Object Oriented Concepts Identification from Formal B Specifications
|
Idani, Akram
|
|
2005
|
133 |
C |
p. 159-174
16 p.
|
artikel
|
| 14 |
Obtaining Memory-Efficient Solutions to Boolean Equation Systems
|
Keinänen, Misa
|
|
2005
|
133 |
C |
p. 175-191
17 p.
|
artikel
|
| 15 |
On the Formal Verification of Middleware Behavioral Properties
|
Hugues, Jérôme
|
|
2005
|
133 |
C |
p. 139-157
19 p.
|
artikel
|
| 16 |
Preface
|
Bicarregui, Juan
|
|
2005
|
133 |
C |
p. 1-2
2 p.
|
artikel
|
| 17 |
Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic
|
Sinclair, David
|
|
2005
|
133 |
C |
p. 255-273
19 p.
|
artikel
|
| 18 |
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems
|
Zöbel, Dieter
|
|
2005
|
133 |
C |
p. 315-332
18 p.
|
artikel
|
Tijdschrift beschrijving