Skip to main content

International Journal on Software Tools for Technology Transfer

Issue 3/2022

FMICS 2019/2020

Content (9 Articles)


Formal methods and tools for industrial critical systems

Maurice H. ter Beek, Kim G. Larsen, Dejan Ničković, Tim A. C. Willemse

Open Access General

DFT modeling approach for operational risk assessment of railway infrastructure

Norman Weik, Matthias Volk, Joost-Pieter Katoen, Nils Nießen

Open Access General

Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods

Davide Basile, Maurice H. ter Beek, Alessio Ferrari, Axel Legay


Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns

Yanni Kouskoulas, T. J. Machado, Daniel Genin, Aurora Schmidt, Ivan Papusha, Joshua Brulé

Open Access General

Verifiable strategy synthesis for multiple autonomous agents: a scalable approach

Rong Gu, Peter G. Jensen, Danny B. Poulsen, Cristina Seceleanu, Eduard Enoiu, Kristina Lundqvist


Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan

Open Access General

Formal verification of OIL component specifications using mCRL2

Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse


Temporal-logic query checking over finite data streams

Samuel Huang, Rance Cleaveland


DivSIM , an interactive simulator for LLVM bitcode

Petr Ročkai, Jiří Barnat

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner