Ausgabe 4/2023
Inhalt (11 Artikel)
Open Access
General
Introduction to the Special Issue on Runtime Verification
Jyotirmoy Deshmukh, Dejan Ničković
General
Program analysis using empirical abstraction
Vivian M. Ho, Chris Alvin, Jimmie D. Lawson, Supratik Mukhopadhyay, Brian Peterson
General
Efficient and expressive bytecode-level instrumentation for Java programs
Chukri Soueidi, Marius Monnier, Yliès Falcone
General
Concurrent runtime verification of data rich events
Nastaran Shafiei, Klaus Havelund, Peter Mehlitz
Open Access
General
MoonLight: a lightweight tool for monitoring spatio-temporal properties
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti
General
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs
Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
General
Predicate monitoring in distributed cyber-physical systems
Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour
General
A compositional framework for algebraic quantitative online monitoring over continuous-time signals
Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang
Open Access
General
Into the unknown: active monitoring of neural networks (extended version)
Konstantin Kueffner, Anna Lukina, Christian Schilling, Thomas A. Henzinger
Open Access
General
Monitoring with verified guarantees
Jan Baumeister, Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer