International Journal on Software Tools for Technology Transfer

Title Publication Date Language Citations
Machine-learning abstractions for component-based self-optimizing systems2023/11/02English
Introduction to the Special Issue on Runtime Verification2023/08/01English
Introduction to the Special Issue on Runtime Verification2023/08/01English
Compositional learning of mutually recursive procedural systems2021/08/01English
Masterminding change by combining secure system design with security risk assessment2020/11/03English
Dependency graphs with applications to verification2020/06/06English
A study of learning likely data structure properties using machine learning models2020/06/07English
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 20192021/07/31English
TOOLympics I: Competition on software testing2021/05/06English
On methods and tools for rigorous system design2021/06/22English
Introduction to the special issue of the 19th International Conference on Runtime Verification2021/05/21English
A light-weight framework for hardware verification2001/08/01English
Tools for the construction and analysis of systems2020/07/13English
Extracting safe thread schedules from incomplete model checking results2020/06/26English
Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫2017/08/21English
Formal specification and implementation of an automated pattern-based parallel-code generation framework2017/08/01English
Introduction to Selected Papers from SPIN 20172019/03/18English
Modelling and analysing a distributed dynamic channel allocation algorithm for mobile computing using high-level net methods2001/09/01English
Software quality tools and techniques presented in FASE’172018/09/03English
Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking2018/06/11English
From high-level modeling toward efficient and trustworthy circuits2017/06/22English
Model-based software quality assurance tools and techniques presented at FASE 20182019/10/11English
A workshop on formal methods education: held at Melbourne Florida in March 1998[5]1999/11/01
Model checking: a hardware design perspective1999/11/01
Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems2019/06/01English
The meaning of “formal”: from weak to strong formal methods1997/12/01English
Analysing superscalar processor architectures with coloured Petri nets1998/12/01
Verification and abstraction of real-time variability-intensive systems2019/09/21English
ASAP: A Source Code Authorship Program2019/03/20English
Toward autonomically composable and context-dependent access control specification through ensembles2020/03/10English