Introduction to the Special Issue on Runtime Verification Jyotirmoy DeshmukhDejan Ničković General Open access 02 November 2023 Pages: 427 - 429
Program analysis using empirical abstraction Vivian M. HoChris AlvinBrian Peterson General 06 July 2023 Pages: 431 - 452
Efficient and expressive bytecode-level instrumentation for Java programs Chukri SoueidiMarius MonnierYliès Falcone General 29 June 2023 Pages: 453 - 479
Concurrent runtime verification of data rich events Nastaran ShafieiKlaus HavelundPeter Mehlitz General 26 June 2023 Pages: 481 - 501
MoonLight: a lightweight tool for monitoring spatio-temporal properties Laura NenziEzio BartocciMichele Loreti General Open access 22 June 2023 Pages: 503 - 517
Introduction to the Special Issue on Runtime Verification Lu FengDana Fisman General 03 November 2023 Pages: 519 - 520
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs Vimuth FernandoKeyur JoshiSasa Misailovic General 02 November 2023 Pages: 521 - 539
Predicate monitoring in distributed cyber-physical systems Anik MomtazNiraj BasnetBorzoo Bonakdarpour General 02 November 2023 Pages: 541 - 556
A compositional framework for algebraic quantitative online monitoring over continuous-time signals Konstantinos MamourasAgnishom ChattopadhyayZhifu Wang General 05 October 2023 Pages: 557 - 573
Into the unknown: active monitoring of neural networks (extended version) Konstantin KueffnerAnna LukinaThomas A. Henzinger General Open access 30 June 2023 Pages: 575 - 592
Monitoring with verified guarantees Jan BaumeisterJohann C. DauerSebastian Schirmer General Open access 11 July 2023 Pages: 593 - 616