| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An approach for extracting a small unsatisfiable core
|
Gershman, Roman
|
|
2008
|
|
1-3 |
p. 1-27
|
artikel
|
| 2 |
Automated repair by example for firewalls
|
Hallahan, William T.
|
|
|
|
1-3 |
p. 127-153
|
artikel
|
| 3 |
Automated repair for timed systems
|
Kölbl, Martin
|
|
|
|
1-3 |
p. 136-169
|
artikel
|
| 4 |
Bridging the gap between single- and multi-model predictive runtime verification
|
Ferrando, Angelo
|
|
|
|
1-3 |
p. 44-76
|
artikel
|
| 5 |
Compositional runtime enforcement revisited
|
Pinisetty, Srinivas
|
|
|
|
1-3 |
p. 205-252
|
artikel
|
| 6 |
Cut-off theorems for the PV-model
|
Fajstrup, Lisbeth
|
|
|
|
1-3 |
p. 21-43
|
artikel
|
| 7 |
Distributed parametric model checking timed automata under non-Zenoness assumption
|
André, Étienne
|
|
|
|
1-3 |
p. 253-290
|
artikel
|
| 8 |
Don’t care words with an application to the automata-based approach for real addition
|
Eisinger, Jochen
|
|
2008
|
|
1-3 |
p. 85-115
|
artikel
|
| 9 |
Equivalence checking and intersection of deterministic timed finite state machines
|
Bresolin, Davide
|
|
|
|
1-3 |
p. 77-102
|
artikel
|
| 10 |
Exact quantitative probabilistic model checking through rational search
|
Mathur, Umang
|
|
|
|
1-3 |
p. 90-126
|
artikel
|
| 11 |
First-order temporal logic monitoring with BDDs
|
Havelund, Klaus
|
|
|
|
1-3 |
p. 1-21
|
artikel
|
| 12 |
From LTL to rLTL monitoring: improved monitorability through robust semantics
|
Mascle, Corto
|
|
|
|
1-3 |
p. 170-204
|
artikel
|
| 13 |
Incremental column-wise verification of arithmetic circuits using computer algebra
|
Kaufmann, Daniela
|
|
|
|
1-3 |
p. 22-54
|
artikel
|
| 14 |
Learning inductive invariants by sampling from frequency distributions
|
Fedyukovich, Grigory
|
|
|
|
1-3 |
p. 154-177
|
artikel
|
| 15 |
Parameterized verification of algorithms for oblivious robots on a ring
|
Sangnier, Arnaud
|
|
|
|
1-3 |
p. 55-89
|
artikel
|
| 16 |
Relational abstract interpretation of arrays in assembly code
|
Ballabriga, Clément
|
|
|
|
1-3 |
p. 103-135
|
artikel
|
| 17 |
Robust safety of timed automata
|
Wulf, Martin De
|
|
2008
|
|
1-3 |
p. 45-84
|
artikel
|
| 18 |
The complexity gap in the static analysis of cache accesses grows if procedure calls are added
|
Monniaux, David
|
|
|
|
1-3 |
p. 1-20
|
artikel
|
| 19 |
The symbolic OBDD scheme for generating mechanical assembly sequences
|
Gu, Tianlong
|
|
2008
|
|
1-3 |
p. 29-44
|
artikel
|
Tijdschrift beschrijving