-
1
-
2
-
3
-
4
FPGA Stream-Monitoring of Real-time Properties
Veröffentlicht in ACM transactions on embedded computing systems
VolltextArtikel -
5
On the road with RTLola
Veröffentlicht in International journal on software tools for technology transfer
VolltextArtikel -
6
Monitoring Cyber-Physical Systems: From Design to Integration
Veröffentlicht in arXiv.org
VolltextArtikel -
7
-
8
-
9
-
10
-
11
Automatic Optimizations for Stream-based Monitoring Languages
Veröffentlicht in arXiv.org
VolltextArtikel -
12
RTLola on Board: Testing Real Driving Emissions on your Phone
Veröffentlicht in arXiv.org
VolltextArtikel -
13
-
14
-
15
Conservative Hybrid Automata from Development Artifacts
Veröffentlicht in arXiv.org
VolltextArtikel -
16
-
17
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics
Veröffentlicht in arXiv.org
VolltextArtikel -
18
-
19
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
Veröffentlicht in arXiv.org
VolltextArtikel -
20