Works matching IS 14332779 AND DT 2023 AND VI 25 AND IP 4

Results: 11

Introduction to the Special Issue on Runtime Verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 519, doi. 10.1007/s10009-023-00722-1

By:

Feng, Lu;
Fisman, Dana

Publication type:

Article

Efficient and expressive bytecode-level instrumentation for Java programs.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 453, doi. 10.1007/s10009-023-00708-z

By:

Soueidi, Chukri;
Monnier, Marius;
Falcone, Yliès

Publication type:

Article

Introduction to the Special Issue on Runtime Verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 427, doi. 10.1007/s10009-023-00721-2

By:

Deshmukh, Jyotirmoy;
Ničković, Dejan

Publication type:

Article

Concurrent runtime verification of data rich events.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 481, doi. 10.1007/s10009-023-00713-2

By:

Shafiei, Nastaran;
Havelund, Klaus;
Mehlitz, Peter

Publication type:

Article

Predicate monitoring in distributed cyber-physical systems.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 541, doi. 10.1007/s10009-023-00718-x

By:

Momtaz, Anik;
Basnet, Niraj;
Abbas, Houssam;
Bonakdarpour, Borzoo

Publication type:

Article

Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 521, doi. 10.1007/s10009-023-00717-y

By:

Fernando, Vimuth;
Joshi, Keyur;
Laurel, Jacob;
Misailovic, Sasa

Publication type:

Article

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

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 503, doi. 10.1007/s10009-023-00710-5

By:

Nenzi, Laura;
Bartocci, Ezio;
Bortolussi, Luca;
Silvetti, Simone;
Loreti, Michele

Publication type:

Article

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

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 557, doi. 10.1007/s10009-023-00719-w

By:

Mamouras, Konstantinos;
Chattopadhyay, Agnishom;
Wang, Zhifu

Publication type:

Article

Monitoring with verified guarantees.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 593, doi. 10.1007/s10009-023-00712-3

By:

Baumeister, Jan;
Dauer, Johann C.;
Finkbeiner, Bernd;
Schirmer, Sebastian

Publication type:

Article

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

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 575, doi. 10.1007/s10009-023-00711-4

By:

Kueffner, Konstantin;
Lukina, Anna;
Schilling, Christian;
Henzinger, Thomas A.

Publication type:

Article

Program analysis using empirical abstraction.

Published in:

International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 4, p. 431, doi. 10.1007/s10009-023-00709-y

By:

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

Publication type:

Article