|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Almost event-rate independent monitoring |
Basin, David |
2019 |
54 | 3 |
p. 449-478 |
artikel |
|
| 2 | Annotation guided collection of context-sensitive parallel execution profiles |
Benavides, Zachary |
2019 |
54 | 3 |
p. 388-415 |
artikel |
|
| 3 | A survey of challenges for runtime verification from advanced application domains (beyond software) |
Sánchez, César |
|
54 | 3 |
p. 279-335 |
artikel |
|
| 4 | Monitoring hyperproperties |
Finkbeiner, Bernd |
2019 |
54 | 3 |
p. 336-363 |
artikel |
|
| 5 | Probabilistic black-box reachability checking (extended version) |
Aichernig, Bernhard K. |
2019 |
54 | 3 |
p. 416-448 |
artikel |
|
| 6 | TeLEx: learning signal temporal logic from positive examples using tightness metric |
Jha, Susmit |
2019 |
54 | 3 |
p. 364-387 |
artikel |
6 gevonden resultaten