From LTL to rLTL monitoring: improved monitorability through robust semantics von Mascle, Corto, Neider, Daniel, Schwenger, Maximilian, Tabuada, Paulo, Weinert, Alexander, Zimmermann, Martin

Volltext

On the road with RTLola: Testing Real Driving Emissions on your Phone von Biewer, Sebastian, Finkbeiner, Bernd, Hermanns, Holger, Köhl, Maximilian A., Schnitzer, Yannik, Schwenger, Maximilian

Volltext

Monitoring Cyber-Physical Systems: From Design to Integration von Schwenger, Maximilian

Volltext

FPGA Stream-Monitoring of Real-time Properties von Baumeister, Jan, Finkbeiner, Bernd, Schwenger, Maximilian, Torfah, Hazem

Volltext

On the road with RTLola von Biewer, Sebastian, Finkbeiner, Bernd, Hermanns, Holger, Köhl, Maximilian A, Schnitzer, Yannik, Schwenger, Maximilian

Volltext

Monitoring Cyber-Physical Systems: From Design to Integration von Schwenger, Maximilian

Volltext

Verified Rust Monitors for Lola Specifications von Finkbeiner, Bernd, Oswald, Stefan, Passing, Noemi, Schwenger, Maximilian

Volltext

Automatic Optimizations for Stream-Based Monitoring Languages von Baumeister, Jan, Finkbeiner, Bernd, Kruse, Matthis, Schwenger, Maximilian

Volltext

Conservative Hybrid Automata from Development Artifacts von Metzger, Niklas, Schmitt, Sanny, Schwenger, Maximilian

Volltext bestellen

Verified Rust Monitors for Lola Specifications von Finkbeiner, Bernd, Oswald, Stefan, Passing, Noemi, Schwenger, Maximilian

Volltext

Automatic Optimizations for Stream-based Monitoring Languages von Baumeister, Jan, Finkbeiner, Bernd, Kruse, Matthis, Schwenger, Maximilian

Volltext

RTLola on Board: Testing Real Driving Emissions on your Phone von Biewer, Sebastian, Finkbeiner, Bernd, Hermanns, Holger, Köhl, Maximilian A, Schnitzer, Yannik, Schwenger, Maximilian

Volltext

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft von Baumeister, Jan, Finkbeiner, Bernd, Schirmer, Sebastian, Schwenger, Maximilian, Torens, Christoph

Volltext bestellen

FPGA Stream-Monitoring of Real-time Properties von Baumeister, Jan, Finkbeiner, Bernd, Schwenger, Maximilian, Torfah, Hazem

Volltext bestellen

Conservative Hybrid Automata from Development Artifacts von Metzger, Niklas, Schmitt, Sanny, Schwenger, Maximilian

Volltext

Real-time Stream-based Monitoring von Faymonville, Peter, Finkbeiner, Bernd, Schwenger, Maximilian, Torfah, Hazem

Volltext bestellen

From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics von Mascle, Corto, Neider, Daniel, Schwenger, Maximilian, Tabuada, Paulo, Weinert, Alexander, Zimmermann, Martin

Volltext

From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics von Mascle, Corto, Neider, Daniel, Schwenger, Maximilian, Tabuada, Paulo, Weinert, Alexander, Zimmermann, Martin

Volltext bestellen

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft von Baumeister, Jan, Finkbeiner, Bernd, Schirmer, Sebastian, Schwenger, Maximilian, Torens, Christoph

Volltext

FPGA Stream-Monitoring of Real-time Properties von Baumeister, Jan, Finkbeiner, Bernd, Schwenger, Maximilian, Torfah, Hazem

Volltext