| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A compositional framework for algebraic quantitative online monitoring over continuous-time signals
|
Mamouras, Konstantinos
|
|
|
25 |
4 |
p. 557-573
|
artikel
|
| 2 |
Concurrent runtime verification of data rich events
|
Shafiei, Nastaran
|
|
|
25 |
4 |
p. 481-501
|
artikel
|
| 3 |
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs
|
Fernando, Vimuth
|
|
|
25 |
4 |
p. 521-539
|
artikel
|
| 4 |
Efficient and expressive bytecode-level instrumentation for Java programs
|
Soueidi, Chukri
|
|
|
25 |
4 |
p. 453-479
|
artikel
|
| 5 |
Into the unknown: active monitoring of neural networks (extended version)
|
Kueffner, Konstantin
|
|
|
25 |
4 |
p. 575-592
|
artikel
|
| 6 |
Introduction to the Special Issue on Runtime Verification
|
Deshmukh, Jyotirmoy
|
|
|
25 |
4 |
p. 427-429
|
artikel
|
| 7 |
Introduction to the Special Issue on Runtime Verification
|
Feng, Lu
|
|
|
25 |
4 |
p. 519-520
|
artikel
|
| 8 |
Monitoring with verified guarantees
|
Baumeister, Jan
|
|
|
25 |
4 |
p. 593-616
|
artikel
|
| 9 |
MoonLight: a lightweight tool for monitoring spatio-temporal properties
|
Nenzi, Laura
|
|
|
25 |
4 |
p. 503-517
|
artikel
|
| 10 |
Predicate monitoring in distributed cyber-physical systems
|
Momtaz, Anik
|
|
|
25 |
4 |
p. 541-556
|
artikel
|
| 11 |
Program analysis using empirical abstraction
|
Ho, Vivian M.
|
|
|
25 |
4 |
p. 431-452
|
artikel
|
Tijdschrift beschrijving