| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Automated specification inference in a combined domain via user-defined predicates
|
Qin, Shengchao
|
|
2017
|
148 |
C |
p. 189-212
|
artikel
|
| 2 |
Derivation of algorithmic control structures in Event-B refinement
|
Dalvandi, Mohammadsadegh
|
|
2017
|
148 |
C |
p. 49-65
|
artikel
|
| 3 |
Editorial Board
|
|
|
2017
|
148 |
C |
p. IFC
|
artikel
|
| 4 |
EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems
|
Rahli, Vincent
|
|
2017
|
148 |
C |
p. 26-48
|
artikel
|
| 5 |
Formal reasoning about resilient goal-oriented multi-agent systems
|
Laibinis, L.
|
|
2017
|
148 |
C |
p. 66-87
|
artikel
|
| 6 |
Formal verification of autonomous vehicle platooning
|
Kamali, Maryam
|
|
2017
|
148 |
C |
p. 88-106
|
artikel
|
| 7 |
Inferring linear invariants with parallelotopes
|
Amato, Gianluca
|
|
2017
|
148 |
C |
p. 161-188
|
artikel
|
| 8 |
Preface of the special issue for AVoCS 2015
|
Grov, Gudmund
|
|
2017
|
148 |
C |
p. 1-2
|
artikel
|
| 9 |
Termination analysis for GPU kernels
|
Ketema, Jeroen
|
|
2017
|
148 |
C |
p. 107-122
|
artikel
|
| 10 |
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement
|
Althaus, Ernst
|
|
2017
|
148 |
C |
p. 123-160
|
artikel
|
| 11 |
Verifying cyber attack properties
|
O'Halloran, Colin
|
|
2017
|
148 |
C |
p. 3-25
|
artikel
|
Tijdschrift beschrijving