|
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 | An extension of first-order LTL with rules with application to runtime verification |
Havelund, Klaus |
|
23 | 4 |
p. 547-563 |
artikel |
|
| 2 | Comparing controlled system synthesis and suppression enforcement |
Aceto, Luca |
|
23 | 4 |
p. 601-614 |
artikel |
|
| 3 | Compositional learning of mutually recursive procedural systems |
Frohme, Markus |
|
23 | 4 |
p. 521-543 |
artikel |
|
| 4 | Introduction to the special issue of the 19th International Conference on Runtime Verification |
Finkbeiner, Bernd |
|
23 | 4 |
p. 545-546 |
artikel |
|
| 5 | Neural predictive monitoring and a comparison of frequentist and Bayesian approaches |
Bortolussi, Luca |
|
23 | 4 |
p. 615-640 |
artikel |
|
| 6 | Quantitative estimation of side-channel leaks with neural networks |
Tizpaz-Niari, Saeid |
|
23 | 4 |
p. 641-654 |
artikel |
|
| 7 | Specifying and detecting temporal patterns with shape expressions |
Ničković, Dejan |
|
23 | 4 |
p. 565-577 |
artikel |
|
| 8 | What can we monitor over unreliable channels? |
Kauffman, Sean |
|
23 | 4 |
p. 579-600 |
artikel |
8 gevonden resultaten