International Journal on Software Tools for Technology Transfer

Title Publication Date Language Citations
Application-controlled memory management in a single address space environment2001/05/01English
Easy concurrency2001/09/01English
Bisimulation verification using the up to techniques2001/08/01English
Introduction to the special issue for SPIN 20192020/06/04English
Automata-based monitoring for LTL-FO$$^+$$2020/06/08English
SaBRe: load-time selective binary rewriting2022/01/21English
Scalable online first-order monitoring2021/04/01English
Approximate verification of concurrent systems using token structures and invariants2022/04/07English
GSDetector: a tool for automatic detection of bad smells in GRL goal models2022/08/13English
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL2022/09/03English
The Discourje project: run-time verification of communication protocols in Clojure2022/09/20English
Assume, guarantee or repair: a regular framework for non regular properties2022/09/29English
Formal methods and tools for industrial critical systems2022/10/28English
Interface control document modeling with Citrus (avionics systems interfaces)2022/02/04English
Tools for software verification2013/03/03English
Guest editors’ introduction to the special section from the international symposium on web systems evolution2011/03/17English
An abstraction refinement approach combining precise and approximated techniques2011/02/17English
Program verification and testing technologies2014/06/25English
Evaluating workloads using comparative functional coverage2010/08/06English
Verified software: theories, tools and experiments2010/10/28English
Model checking of state-rich formalism by linking to $$CSP\,\Vert \,B$$ C S P ‖ B2015/11/03English
Open source software-defined radio tools for education, research, and rapid prototyping2012/06/20English
Model checking software: on some new waves and some evergreens2010/04/25English
A process for mastering security evolution in the development lifecycle2015/03/07English
Measurement and tracing methods for timing analysis2012/11/18English
Preface2009/10/20English
Special section on the 17th International Software Product Line Conference2015/07/07English
Developments in automated verification techniques2013/12/20English
Selection of formal verification heuristics for parallel execution2011/06/03English
Preface to a special section on verification, model checking, and abstract interpretation2011/08/25English