Monitoring with verified guarantees
Baumeister, Jan, Dauer, Johann C., Finkbeiner, Bernd, Schirmer, Sebastian
Published in International journal on software tools for technology transfer (01.08.2023)
Published in International journal on software tools for technology transfer (01.08.2023)
Get full text
Journal Article
Real-Time Visualization of Stream-Based Monitoring Data
Baumeister, Jan, Finkbeiner, Bernd, Gumhold, Stefan, Schledjewski, Malte
Published in Runtime Verification (2022)
Published in Runtime Verification (2022)
Get full text
Book Chapter
Automatic Optimizations for Stream-Based Monitoring Languages
Baumeister, Jan, Finkbeiner, Bernd, Kruse, Matthis, Schwenger, Maximilian
Published in Runtime Verification (2020)
Published in Runtime Verification (2020)
Get full text
Book Chapter
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
Baumeister, Jan, Finkbeiner, Bernd, Kohn, Florian, Löhr, Florian, Manfredi, Guido, Schirmer, Sebastian, Torens, Christoph
Year of Publication 18.04.2024
Year of Publication 18.04.2024
Get full text
Journal Article
Real-time Visualization of Stream-based Monitoring Data
Baumeister, Jan, Finkbeiner, Bernd, Gumhold, Stefan, Schledjewski, Malte
Year of Publication 25.05.2022
Year of Publication 25.05.2022
Get full text
Journal Article
A Temporal Logic for Asynchronous Hyperproperties
Baumeister, Jan, Coenen, Norine, Bonakdarpour, Borzoo, Finkbeiner, Bernd, Sanchez, Cesar
Year of Publication 28.04.2021
Year of Publication 28.04.2021
Get full text
Journal Article
Homo- and heteropolynuclear Ni2+ and Cu2+ complexes of polytopic ligands, consisting of a tren unit substituted with three 12-membered tetraazamacrocycles
Siegfried, Liselotte, McMahon, C Niamh, Baumeister, Jan, Neuburger, Markus, Kaden, Thomas A, Anandaram, Sreekanth, Palivan, Cornelia G
Published in Dalton transactions : an international journal of inorganic chemistry (14.11.2007)
Published in Dalton transactions : an international journal of inorganic chemistry (14.11.2007)
Get more information
Journal Article
Automatic Optimizations for Stream-based Monitoring Languages
Baumeister, Jan, Finkbeiner, Bernd, Kruse, Matthis, Schwenger, Maximilian
Published in arXiv.org (26.11.2020)
Published in arXiv.org (26.11.2020)
Get full text
Paper
Journal Article
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
Baumeister, Jan, Finkbeiner, Bernd, Schirmer, Sebastian, Schwenger, Maximilian, Torens, Christoph
Year of Publication 27.03.2020
Year of Publication 27.03.2020
Get full text
Journal Article
FPGA Stream-Monitoring of Real-time Properties
Baumeister, Jan, Finkbeiner, Bernd, Schwenger, Maximilian, Torfah, Hazem
Year of Publication 18.03.2020
Year of Publication 18.03.2020
Get full text
Journal Article
Transition metal complexes with sterically demanding ligands. I. Synthesis and X-ray crystal structure of 1,5-cyclooctadiene palladium methyl triflate, (COD)Pd(Me)(OTf) and its cationic penta-coordinate adducts with sterically demanding 2,9-diaryl-substituted 1,10-phenanthroline ligands
Get full text
Journal Article
Real-time Visualization of Stream-based Monitoring Data
Baumeister, Jan, Finkbeiner, Bernd, Gumhold, Stefan, Schledjewski, Malte
Published in arXiv.org (25.05.2022)
Get full text
Published in arXiv.org (25.05.2022)
Paper
A Temporal Logic for Asynchronous Hyperproperties
Baumeister, Jan, Coenen, Norine, Bonakdarpour, Borzoo, Finkbeiner, Bernd, Sanchez, Cesar
Published in arXiv.org (28.04.2021)
Get full text
Published in arXiv.org (28.04.2021)
Paper
FPGA Stream-Monitoring of Real-time Properties
Baumeister, Jan, Finkbeiner, Bernd, Schwenger, Maximilian, Torfah, Hazem
Published in arXiv.org (18.03.2020)
Get full text
Published in arXiv.org (18.03.2020)
Paper