|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A taxonomy for classifying runtime verification tools |
Falcone, Yliès |
|
23 | 2 |
p. 255-284 |
artikel |
|
| 2 | Automata-based monitoring for LTL-FO+ |
Khoury, Raphaël |
|
23 | 2 |
p. 137-154 |
artikel |
|
| 3 | Diagnosing timed automata using timed markings |
Bouyer, Patricia |
|
23 | 2 |
p. 229-253 |
artikel |
|
| 4 | From parametric trace slicing to rule systems |
Reger, Giles |
|
23 | 2 |
p. 209-228 |
artikel |
|
| 5 | Preface |
Leucker, Martin |
|
23 | 2 |
p. 155-156 |
artikel |
|
| 6 | Scalable online first-order monitoring |
Schneider, Joshua |
|
23 | 2 |
p. 185-208 |
artikel |
|
| 7 | Stream runtime verification of real-time event streams with the Striver language |
Gorostiaga, Felipe |
|
23 | 2 |
p. 157-183 |
artikel |
|
| 8 | Verification and refutation of C programs based on k-induction and invariant inference |
Alhawi, Omar M. |
|
23 | 2 |
p. 115-135 |
artikel |
8 gevonden resultaten