Skip to main content

International Journal on Software Tools for Technology Transfer

Ausgabe 3/2022

FMICS 2019/2020

Inhalt (9 Artikel)

Introduction

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

General

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

General

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

General

Temporal-logic query checking over finite data streams

Samuel Huang, Rance Cleaveland

General

DivSIM , an interactive simulator for LLVM bitcode

Petr Ročkai, Jiří Barnat

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner