Výsledky vyhledávání - "Jan Baumeister"

Real-Time Visualization of Stream-Based Monitoring Data

Autor: Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski

Publikováno v: Runtime Verification ISBN: 9783031171956

Stream-based runtime monitors are used in safety-critical applications such as Unmanned Aerial Systems (UAS) to compute comprehensive statistics and logical assessments of system health that provide the human operator with critical information in han

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::4f799b76206c5c8de3a146f294c6caa8
https://doi.org/10.1007/978-3-031-17196-3_21

Zobrazit plný text záznamu

A Temporal Logic for Asynchronous Hyperproperties

Autor: Jan Baumeister, Borzoo Bonakdarpour, César Sánchez, Bernd Finkbeiner, Norine Coenen

Publikováno v: Computer Aided Verification-33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I
Computer Aided Verification ISBN: 9783030816841
CAV (1)
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Computer Aided Verification

Hyperpropertiesare properties of computational systems that require more than one trace to evaluate, e.g., many information-flow security and concurrency requirements. Where a trace property defines a set of traces, a hyperproperty defines a set of s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d9bab4790d020e6903879bef17963705

Zobrazit plný text záznamu

FPGA Stream-Monitoring of Real-time Properties

Autor: Jan Baumeister, Hazem Torfah, Maximilian Schwenger, Bernd Finkbeiner

Publikováno v: ACM Transactions on Embedded Computing Systems

An essential part of cyber-physical systems is the online evaluation of real-time data streams. Especially in systems that are intrinsically safety-critical, a dedicated monitoring component inspecting data streams to detect problems at runtime great

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4186f21bc56d0aa45201592485b82e66

Zobrazit plný text záznamu

Automatic Optimizations for Stream-Based Monitoring Languages

Autor: Bernd Finkbeiner, Matthis Kruse, Jan Baumeister, Maximilian Schwenger

Publikováno v: Runtime Verification-20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings
Runtime Verification ISBN: 9783030605070
RV
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Runtime Verification

Runtime monitors that are specified in a stream-based monitoring language tend to be easier to understand, maintain, and reuse than those written in a standard programming language. Because of their formal semantics, such specification languages are

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::897de805e761cf4c3f36cb831f8a9cc1

Zobrazit plný text záznamu

Runtime Verification

Autor: Bernd Finkbeiner, Maximilian Schwenger, Jan Baumeister, Matthis Kruse

Publikováno v: Lecture Notes in Computer Science ISBN: 9783030605070

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::a39c83858ac0c08c26d0cfafbc778fca
https://doi.org/10.1007/978-3-030-60508-7

Zobrazit plný text záznamu

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

Autor: Christoph Torens, Bernd Finkbeiner, Jan Baumeister, Maximilian Schwenger, Sebastian Schirmer

Publikováno v: Computer Aided Verification ISBN: 9783030532901
CAV (2)
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Computer Aided Verification
Computer Aided Verification-32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic potential in a wide range of application areas, including logistics, agriculture, civil engineering, and disaster recovery. We report on the developmen

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::515364b19a7b59ca772ac3eef8bd3273
https://doi.org/10.1007/978-3-030-53291-8_3

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání