|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles |
Phan, Dung |
2017 |
51 | 1 |
p. 62-86 |
article |
|
| 2 | Formal analysis and offline monitoring of electronic exams |
Kassem, Ali |
2017 |
51 | 1 |
p. 117-153 |
article |
|
| 3 | Introduction to the special issue on runtime verification |
Bartocci, Ezio |
2017 |
51 | 1 |
p. 1-4 |
article |
|
| 4 | Monitorability for the Hennessy–Milner logic with recursion |
Francalanza, Adrian |
2017 |
51 | 1 |
p. 87-116 |
article |
|
| 5 | Predictive runtime enforcement |
Pinisetty, Srinivas |
2017 |
51 | 1 |
p. 154-199 |
article |
|
| 6 | Robust online monitoring of signal temporal logic |
Deshmukh, Jyotirmoy V. |
2017 |
51 | 1 |
p. 5-30 |
article |
|
| 7 | R2U2: monitoring and diagnosis of security threats for unmanned aerial systems |
Moosbrugger, Patrick |
2017 |
51 | 1 |
p. 31-61 |
article |
|
| 8 | Verifying data- and control-oriented properties combining static and runtime verification: theory and tools |
Ahrendt, Wolfgang |
2017 |
51 | 1 |
p. 200-265 |
article |
8 results found