| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An axiomatic approach to existence and liveness for differential equations
|
Tan, Yong Kiam
|
|
|
33 |
4-5 |
p. 461-518
|
artikel
|
| 2 |
Counterexample-guided inductive synthesis for probabilistic systems
|
Češka, Milan
|
|
|
33 |
4-5 |
p. 637-667
|
artikel
|
| 3 |
Denotational semantics of channel mobility in UTP-CSP
|
Ekembe Ngondi, Gerard
|
|
|
33 |
4-5 |
p. 803-826
|
artikel
|
| 4 |
Editorial
|
McIver, Annabelle
|
|
|
33 |
4-5 |
p. 459-460
|
artikel
|
| 5 |
From generic partition refinement to weighted tree automata minimization
|
Wißmann, Thorsten
|
|
|
33 |
4-5 |
p. 695-727
|
artikel
|
| 6 |
GR(1)*: GR(1) specifications extended withexistential guarantees
|
Amram, Gal
|
|
|
33 |
4-5 |
p. 729-761
|
artikel
|
| 7 |
L∗-based learning of Markov decision processes (extended version)
|
Tappler, Martin
|
|
|
33 |
4-5 |
p. 575-615
|
artikel
|
| 8 |
Quantitative verification of Kalman filters
|
Evangelidis, Alexandros
|
|
|
33 |
4-5 |
p. 669-693
|
artikel
|
| 9 |
RiskStructures: A design algebra for risk-aware machines
|
Gleirscher, Mario
|
|
|
33 |
4-5 |
p. 763-802
|
artikel
|
| 10 |
Symbolic execution formally explained
|
de Boer, Frank S.
|
|
|
33 |
4-5 |
p. 617-636
|
artikel
|
| 11 |
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
|
Tran, Hoang-Dung
|
|
|
33 |
4-5 |
p. 519-545
|
artikel
|
| 12 |
Verifying correctness of persistent concurrent data structures: a sound and complete method
|
Derrick, John
|
|
|
33 |
4-5 |
p. 547-573
|
artikel
|
Tijdschrift beschrijving