Skip to main content

International Journal on Software Tools for Technology Transfer

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

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner