1. Introduction to the Special Issue on Runtime Verification

   • Jyotirmoy Deshmukh
   • Dejan Ničković

   General Open access 02 November 2023 Pages: 427 - 429

2. Program analysis using empirical abstraction

   • Vivian M. Ho
   • Chris Alvin
   • Brian Peterson

   General 06 July 2023 Pages: 431 - 452

3. Efficient and expressive bytecode-level instrumentation for Java programs

   • Chukri Soueidi
   • Marius Monnier
   • Yliès Falcone

   General 29 June 2023 Pages: 453 - 479

4. Concurrent runtime verification of data rich events

   • Nastaran Shafiei
   • Klaus Havelund
   • Peter Mehlitz

   General 26 June 2023 Pages: 481 - 501

5. MoonLight: a lightweight tool for monitoring spatio-temporal properties

   • Laura Nenzi
   • Ezio Bartocci
   • Michele Loreti

   General Open access 22 June 2023 Pages: 503 - 517

6. Introduction to the Special Issue on Runtime Verification

   • Lu Feng
   • Dana Fisman

   General 03 November 2023 Pages: 519 - 520

7. Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs

   • Vimuth Fernando
   • Keyur Joshi
   • Sasa Misailovic

   General 02 November 2023 Pages: 521 - 539

8. Predicate monitoring in distributed cyber-physical systems

   • Anik Momtaz
   • Niraj Basnet
   • Borzoo Bonakdarpour

   General 02 November 2023 Pages: 541 - 556

9. A compositional framework for algebraic quantitative online monitoring over continuous-time signals

   • Konstantinos Mamouras
   • Agnishom Chattopadhyay
   • Zhifu Wang

   General 05 October 2023 Pages: 557 - 573

10. Into the unknown: active monitoring of neural networks (extended version)

    • Konstantin Kueffner
    • Anna Lukina
    • Thomas A. Henzinger

    General Open access 30 June 2023 Pages: 575 - 592

11. Monitoring with verified guarantees

    • Jan Baumeister
    • Johann C. Dauer
    • Sebastian Schirmer

    General Open access 11 July 2023 Pages: 593 - 616