| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Abstraction and mining of traces to explain concurrency bugs
|
Tabaei Befrouei, Mitra
|
|
2016
|
|
1-2 |
p. 1-32
|
artikel
|
| 2 |
Abstraction and subsumption in modular verification of C programs
|
Beringer, Lennart
|
|
|
|
1-2 |
p. 322-345
|
artikel
|
| 3 |
A Formal Framework for Verification of Embedded Custom Memories of the Motorola MPC7450 Microprocessor
|
Bhadra, Jayanta
|
|
2005
|
|
1-2 |
p. 67-112
|
artikel
|
| 4 |
Automatic verification of concurrent stochastic systems
|
Kwiatkowska, Marta
|
|
|
|
1-2 |
p. 188-250
|
artikel
|
| 5 |
Causality problem in real-time calculus
|
Altisen, Karine
|
|
2016
|
|
1-2 |
p. 1-45
|
artikel
|
| 6 |
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking
|
Barner, Sharon
|
|
2005
|
|
1-2 |
p. 29-66
|
artikel
|
| 7 |
Compositional verification of concurrent systems by combining bisimulations
|
Lang, Frédéric
|
|
|
|
1-2 |
p. 83-125
|
artikel
|
| 8 |
Decentralised LTL monitoring
|
Bauer, Andreas
|
|
2016
|
|
1-2 |
p. 46-93
|
artikel
|
| 9 |
Formalization of Fixed-Point Arithmetic in HOL
|
Akbarpour, Behzad
|
|
2005
|
|
1-2 |
p. 173-200
|
artikel
|
| 10 |
Formal methods: practical applications and foundations
|
ter Beek, Maurice H.
|
|
|
|
1-2 |
p. 1-4
|
artikel
|
| 11 |
From LTL to unambiguous Büchi automata via disambiguation of alternating automata
|
Jantsch, Simon
|
|
|
|
1-2 |
p. 42-82
|
artikel
|
| 12 |
Gray-box monitoring of hyperproperties with an application to privacy
|
Stucki, Sandro
|
|
|
|
1-2 |
p. 126-159
|
artikel
|
| 13 |
Information-flow control on ARM and POWER multicore processors
|
Smith, Graeme
|
|
|
|
1-2 |
p. 251-293
|
artikel
|
| 14 |
Integrating formal specifications into applications: the ProB Java API
|
Körner, Philipp
|
|
|
|
1-2 |
p. 160-187
|
artikel
|
| 15 |
ModelPlex: verified runtime validation of verified cyber-physical system models
|
Mitsch, Stefan
|
|
2016
|
|
1-2 |
p. 33-74
|
artikel
|
| 16 |
Organising LTL monitors over distributed systems with a global clock
|
Colombo, Christian
|
|
2016
|
|
1-2 |
p. 109-158
|
artikel
|
| 17 |
Pegasus: sound continuous invariant generation
|
Sogokon, Andrew
|
|
|
|
1-2 |
p. 5-41
|
artikel
|
| 18 |
Scalable offline monitoring of temporal specifications
|
Basin, David
|
|
2016
|
|
1-2 |
p. 75-108
|
artikel
|
| 19 |
Static analysis for detecting high-level races in RTOS kernels
|
Pai, Rekha
|
|
|
|
1-2 |
p. 294-321
|
artikel
|
| 20 |
Synthesis of large dynamic concurrent programs from dynamic specifications
|
Attie, Paul C.
|
|
2016
|
|
1-2 |
p. 94-147
|
artikel
|
| 21 |
Two Case Studies of Semantics Execution in Maude: CCS and LOTOS
|
Verdejo, Alberto
|
|
2005
|
|
1-2 |
p. 113-172
|
artikel
|
Tijdschrift beschrijving