Sign in
Int. J. Softw. Tools Technol. Transf.
1997
2006
2015
2024
1997
2024
Keyphrases
Publications
volume 26, number 1, 2024
Joanna Kosinska
,
Grzegorz Broton
,
Maciej Tobiasz
Knowledge representation of the state of a cloud-native application.
Int. J. Softw. Tools Technol. Transf.
26 (1) (2024)
Martijn Hendriks
,
Jacques Verriet
,
Twan Basten
Visualization, transformation, and analysis of execution traces with the eclipse TRACE4CPS trace tool.
Int. J. Softw. Tools Technol. Transf.
26 (1) (2024)
Tomoya Yamaguchi
,
Bardh Hoxha
,
Dejan Nickovic
RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics.
Int. J. Softw. Tools Technol. Transf.
26 (1) (2024)
Klaus Havelund
,
Gerard J. Holzmann
Programming event monitors.
Int. J. Softw. Tools Technol. Transf.
26 (1) (2024)
Guisella Angulo
,
Daniel San Martín
,
Fabiano Ferrari
,
Ignacio García Rodríguez de Guzmán
,
Ricardo Pérez-Castillo
,
Valter Vieira de Camargo
A process for creating KDM2PSM transformation engines.
Int. J. Softw. Tools Technol. Transf.
26 (1) (2024)
Stefan Schupp
,
Erika Ábrahám
,
Md Tawhid Bin Waez
,
Thomas Rambow
,
Zeng Qiu
On the applicability of hybrid systems safety verification tools from the automotive perspective.
Int. J. Softw. Tools Technol. Transf.
26 (1) (2024)
volume 25, number 1, 2023
Alexandre Kirszenberg
,
Antoine Martin
,
Hugo Moreau
,
Etienne Renault
Go2Pins: a framework for the LTL verification of Go programs (extended version).
Int. J. Softw. Tools Technol. Transf.
25 (1) (2023)
Martina De Sanctis
,
Amleto Di Salle
,
Ludovico Iovino
,
Maria Teresa Rossi
A technology transfer journey to a model-driven access control system.
Int. J. Softw. Tools Technol. Transf.
25 (1) (2023)
volume 25, number 2, 2023
Peter Gjøl Jensen
,
Thomas Neele
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021.
Int. J. Softw. Tools Technol. Transf.
25 (2) (2023)
Rosa Abbasi
,
Jonas Schiffl
,
Eva Darulova
,
Mattias Ulbrich
,
Wolfgang Ahrendt
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY.
Int. J. Softw. Tools Technol. Transf.
25 (2) (2023)
Matthew Sotoudeh
,
Zhe Tao
,
Aditya V. Thakur
SyReNN: A tool for analyzing deep neural networks.
Int. J. Softw. Tools Technol. Transf.
25 (2) (2023)
Daniela Kaufmann
,
Armin Biere
Improving AMulet2 for verifying multiplier circuits using SAT solving and computer algebra.
Int. J. Softw. Tools Technol. Transf.
25 (2) (2023)
Joseph Scott
,
Aina Niemetz
,
Mathias Preiner
,
Saeed Nejati
,
Vijay Ganesh
Algorithm selection for SMT.
Int. J. Softw. Tools Technol. Transf.
25 (2) (2023)
Sebastian Biewer
,
Bernd Finkbeiner
,
Holger Hermanns
,
Maximilian A. Köhl
,
Yannik Schnitzer
,
Maximilian Schwenger
On the road with RTLola.
Int. J. Softw. Tools Technol. Transf.
25 (2) (2023)
Yong Kiam Tan
,
Marijn J. H. Heule
,
Magnus O. Myreen
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML.
Int. J. Softw. Tools Technol. Transf.
25 (2) (2023)
volume 25, number 3, 2023
Florian Jüngermann
,
Jan Kretínský
,
Maximilian Weininger
Algebraically explainable controllers: decision trees and support vector machines join forces.
Int. J. Softw. Tools Technol. Transf.
25 (3) (2023)
Gerrit Nolte
,
Maximilian Schlüter
,
Alnis Murtovi
,
Bernhard Steffen
The power of typed affine decision structures: a case study.
Int. J. Softw. Tools Technol. Transf.
25 (3) (2023)
Maximilian Schlüter
,
Gerrit Nolte
,
Alnis Murtovi
,
Bernhard Steffen
Towards rigorous understanding of neural networks via semantics-preserving transformations.
Int. J. Softw. Tools Technol. Transf.
25 (3) (2023)
Alnis Murtovi
,
Alexander Bainczyk
,
Gerrit Nolte
,
Maximilian Schlüter
,
Bernhard Steffen
Forest GUMP: a tool for verification and explanation.
Int. J. Softw. Tools Technol. Transf.
25 (3) (2023)
Igor Khmelnitsky
,
Daniel Neider
,
Rajarshi Roy
,
Xuan Xie
,
Benoît Barbot
,
Benedikt Bollig
,
Alain Finkel
,
Serge Haddad
,
Martin Leucker
,
Lina Ye
Analysis of recurrent neural networks via property-directed verification of surrogate models.
Int. J. Softw. Tools Technol. Transf.
25 (3) (2023)
Nils Jansen
,
Gerrit Nolte
,
Bernhard Steffen
Explanation Paradigms Leveraging Analytic Intuition (ExPLAIn).
Int. J. Softw. Tools Technol. Transf.
25 (3) (2023)
Christopher Brix
,
Mark Niklas Müller
,
Stanley Bak
,
Taylor T. Johnson
,
Changliu Liu
First three years of the international verification of neural networks competition (VNN-COMP).
Int. J. Softw. Tools Technol. Transf.
25 (3) (2023)
Muhammad Usman
,
Youcheng Sun
,
Divya Gopinath
,
Rishi Dange
,
Luca Manolache
,
Corina S. Pasareanu
An overview of structural coverage metrics for testing neural networks.
Int. J. Softw. Tools Technol. Transf.
25 (3) (2023)
Thom S. Badings
,
Thiago D. Simão
,
Marnix Suilen
,
Nils Jansen
Decision-making under uncertainty: beyond probabilities.
Int. J. Softw. Tools Technol. Transf.
25 (3) (2023)
Timo P. Gros
,
Holger Hermanns
,
Jörg Hoffmann
,
Michaela Klauck
,
Marcel Steinmetz
Analyzing neural network behavior through deep statistical model checking.
Int. J. Softw. Tools Technol. Transf.
25 (3) (2023)
Frederik Gossen
,
Bernhard Steffen
Algebraic aggregation of random forests: towards explainability and rapid evaluation.
Int. J. Softw. Tools Technol. Transf.
25 (3) (2023)
volume 25, number 4, 2023
Jan Baumeister
,
Johann C. Dauer
,
Bernd Finkbeiner
,
Sebastian Schirmer
Monitoring with verified guarantees.
Int. J. Softw. Tools Technol. Transf.
25 (4) (2023)
Konstantinos Mamouras
,
Agnishom Chattopadhyay
,
Zhifu Wang
A compositional framework for algebraic quantitative online monitoring over continuous-time signals.
Int. J. Softw. Tools Technol. Transf.
25 (4) (2023)
Jyotirmoy Deshmukh
,
Dejan Nickovic
Introduction to the Special Issue on Runtime Verification.
Int. J. Softw. Tools Technol. Transf.
25 (4) (2023)
Chukri Soueidi
,
Marius Monnier
,
Yliès Falcone
Efficient and expressive bytecode-level instrumentation for Java programs.
Int. J. Softw. Tools Technol. Transf.
25 (4) (2023)
Anik Momtaz
,
Niraj Basnet
,
Houssam Abbas
,
Borzoo Bonakdarpour
Predicate monitoring in distributed cyber-physical systems.
Int. J. Softw. Tools Technol. Transf.
25 (4) (2023)
Vivian M. Ho
,
Chris Alvin
,
Jimmie D. Lawson
,
Supratik Mukhopadhyay
,
Brian Peterson
Program analysis using empirical abstraction.
Int. J. Softw. Tools Technol. Transf.
25 (4) (2023)
Lu Feng
,
Dana Fisman
Introduction to the Special Issue on Runtime Verification.
Int. J. Softw. Tools Technol. Transf.
25 (4) (2023)
Konstantin Kueffner
,
Anna Lukina
,
Christian Schilling
,
Thomas A. Henzinger
Into the unknown: active monitoring of neural networks (extended version).
Int. J. Softw. Tools Technol. Transf.
25 (4) (2023)
Nastaran Shafiei
,
Klaus Havelund
,
Peter C. Mehlitz
Concurrent runtime verification of data rich events.
Int. J. Softw. Tools Technol. Transf.
25 (4) (2023)
Laura Nenzi
,
Ezio Bartocci
,
Luca Bortolussi
,
Simone Silvetti
,
Michele Loreti
MoonLight: a lightweight tool for monitoring spatio-temporal properties.
Int. J. Softw. Tools Technol. Transf.
25 (4) (2023)
Vimuth Fernando
,
Keyur Joshi
,
Jacob Laurel
,
Sasa Misailovic
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs.
Int. J. Softw. Tools Technol. Transf.
25 (4) (2023)
volume 25, number 5, 2023
Marius Bozga
,
Joseph Sifakis
Correct by design coordination of autonomous driving systems.
Int. J. Softw. Tools Technol. Transf.
25 (5) (2023)
Rocco De Nicola
,
Luca Di Stefano
,
Omar Inverso
,
Serenella Valiani
Modelling flocks of birds and colonies of ants from the bottom up.
Int. J. Softw. Tools Technol. Transf.
25 (5) (2023)
Maurizio Murgia
,
Riccardo Pinciroli
,
Catia Trubiani
,
Emilio Tuosto
Comparing perfomance abstractions for collective adaptive systems.
Int. J. Softw. Tools Technol. Transf.
25 (5) (2023)
Tomás Bures
,
Petr Hnetynka
,
Martin Krulis
,
Frantisek Plásil
,
Danylo Khalyeyev
,
Sebastian Hahner
,
Stephan Seifermann
,
Maximilian Walter
,
Robert Heinrich
Generating adaptation rule-specific neural networks.
Int. J. Softw. Tools Technol. Transf.
25 (5) (2023)
Peter Fettke
,
Wolfgang Reisig
A causal, time-independent synchronization pattern for collective adaptive systems.
Int. J. Softw. Tools Technol. Transf.
25 (5) (2023)
Yifeng Chen
,
Jeff W. Sanders
A modal approach to conscious social agents.
Int. J. Softw. Tools Technol. Transf.
25 (5) (2023)
Lorenzo Bettini
,
Khalid Bourr
,
Rosario Pugliese
,
Francesco Tiezzi
Coordinating and programming multiple ROS-based robots with X-KLAIM.
Int. J. Softw. Tools Technol. Transf.
25 (5) (2023)
Stefania Monica
,
Federico Bergenti
,
Franco Zambonelli
A kinetic approach to investigate the collective dynamics of multi-agent systems.
Int. J. Softw. Tools Technol. Transf.
25 (5) (2023)
Martin Wirsing
,
Stefan Jähnichen
,
Rocco De Nicola
Rigorous engineering of collective adaptive systems - 2nd special section.
Int. J. Softw. Tools Technol. Transf.
25 (5) (2023)
Davide Basile
,
Maurice H. ter Beek
,
Laura Bussi
,
Vincenzo Ciancia
A toolchain for strategy synthesis with spatial properties.
Int. J. Softw. Tools Technol. Transf.
25 (5) (2023)
Joseph Scott
,
Aina Niemetz
,
Mathias Preiner
,
Saeed Nejati
,
Vijay Ganesh
Publisher Correction: Algorithm selection for SMT.
Int. J. Softw. Tools Technol. Transf.
25 (5) (2023)
Yehia Abd Alrahman
,
Shaun Azzopardi
,
Luca Di Stefano
,
Nir Piterman
Language support for verifying reconfigurable interacting systems.
Int. J. Softw. Tools Technol. Transf.
25 (5) (2023)
Michal Töpfer
,
Milad Abdullah
,
Tomás Bures
,
Petr Hnetynka
,
Martin Krulis
Machine-learning abstractions for component-based self-optimizing systems.
Int. J. Softw. Tools Technol. Transf.
25 (5) (2023)