Jan Baumeister
Jan Baumeister
CISPA
Verified email at cispa.saarland - Homepage
Title
Cited by
Cited by
Year
FPGA stream-monitoring of real-time properties
J Baumeister, B Finkbeiner, M Schwenger, H Torfah
ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-24, 2019
162019
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
J Baumeister, B Finkbeiner, S Schirmer, M Schwenger, C Torens
arXiv preprint arXiv:2004.06488, 2020
52020
Encodings of Bounded Synthesis of Distributed Systems
JE Baumeister
Saarland University, 2017
22017
On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB
J Baumeister, B Finkbeiner, M Schwenger, H Torfah
CyberCardia@ ESWeek, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–4