Skip to main content
Top

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ć

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

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner