| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A compositional Petri net translation of general π-calculus terms
|
Devillers, Raymond
|
|
2008
|
|
4-5 |
p. 429-450
|
artikel
|
| 2 |
An axiomatic approach to existence and liveness for differential equations
|
Tan, Yong Kiam
|
|
|
|
4-5 |
p. 461-518
|
artikel
|
| 3 |
Bisimulations in calculi modelling membranes
|
Barbuti, Roberto
|
|
2008
|
|
4-5 |
p. 351-377
|
artikel
|
| 4 |
Capture-avoiding substitution as a nominal algebra
|
Gabbay, Murdoch J.
|
|
2008
|
|
4-5 |
p. 451-479
|
artikel
|
| 5 |
Counterexample-guided inductive synthesis for probabilistic systems
|
Češka, Milan
|
|
|
|
4-5 |
p. 637-667
|
artikel
|
| 6 |
Deductive verification of alternating systems
|
Slanina, Matteo
|
|
2008
|
|
4-5 |
p. 507-560
|
artikel
|
| 7 |
Denotational semantics of channel mobility in UTP-CSP
|
Ekembe Ngondi, Gerard
|
|
|
|
4-5 |
p. 803-826
|
artikel
|
| 8 |
Editorial
|
McIver, Annabelle
|
|
|
|
4-5 |
p. 459-460
|
artikel
|
| 9 |
From generic partition refinement to weighted tree automata minimization
|
Wißmann, Thorsten
|
|
|
|
4-5 |
p. 695-727
|
artikel
|
| 10 |
GR(1)*: GR(1) specifications extended withexistential guarantees
|
Amram, Gal
|
|
|
|
4-5 |
p. 729-761
|
artikel
|
| 11 |
Guest Editorial
|
Barkaoui, Kamel
|
|
2008
|
|
4-5 |
p. 349-350
|
artikel
|
| 12 |
L∗-based learning of Markov decision processes (extended version)
|
Tappler, Martin
|
|
|
|
4-5 |
p. 575-615
|
artikel
|
| 13 |
Model checking Duration Calculus: a practical approach
|
Meyer, Roland
|
|
2008
|
|
4-5 |
p. 481-505
|
artikel
|
| 14 |
Property-directed incremental invariant generation
|
Bradley, Aaron R.
|
|
2008
|
|
4-5 |
p. 379-405
|
artikel
|
| 15 |
Quantitative verification of Kalman filters
|
Evangelidis, Alexandros
|
|
|
|
4-5 |
p. 669-693
|
artikel
|
| 16 |
Reachability analysis of fragments of mobile ambients in AC term rewriting
|
Delzanno, Giorgio
|
|
2008
|
|
4-5 |
p. 407-428
|
artikel
|
| 17 |
RiskStructures: A design algebra for risk-aware machines
|
Gleirscher, Mario
|
|
|
|
4-5 |
p. 763-802
|
artikel
|
| 18 |
Symbolic execution formally explained
|
de Boer, Frank S.
|
|
|
|
4-5 |
p. 617-636
|
artikel
|
| 19 |
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
|
Tran, Hoang-Dung
|
|
|
|
4-5 |
p. 519-545
|
artikel
|
| 20 |
Verifying correctness of persistent concurrent data structures: a sound and complete method
|
Derrick, John
|
|
|
|
4-5 |
p. 547-573
|
artikel
|
Tijdschrift beschrijving