Skip to main content

International Journal on Software Tools for Technology Transfer

Issue 4/2023

Content (11 Articles)

Open Access General

Introduction to the Special Issue on Runtime Verification

Jyotirmoy Deshmukh, Dejan Ničković


Program analysis using empirical abstraction

Vivian M. Ho, Chris Alvin, Jimmie D. Lawson, Supratik Mukhopadhyay, Brian Peterson


Efficient and expressive bytecode-level instrumentation for Java programs

Chukri Soueidi, Marius Monnier, Yliès Falcone


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


Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs

Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic


Predicate monitoring in distributed cyber-physical systems

Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour


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

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner