Skip to main content

International Journal on Software Tools for Technology Transfer

Ausgabe 3/2024

Inhalt (10 Artikel)

Open Access Explanation Paradigms Leveraging Analytic Intuition

Strong Simple Policies for POMDPs

Leonore Winterer, Ralf Wimmer, Bernd Becker, Nils Jansen

Competitions and Challenges

State of the CArt: evaluating covering array generators at scale

Manuel Leithner, Andrea Bombarda, Michael Wagner, Angelo Gargantini, Dimitris E. Simos

Open Access General

An automotive case study

Alexander Raschke, Dominique Méry


An Event-B model of an automotive adaptive exterior light system

Amel Mammar, Marc Frappier, Régine Laleau


Modeling of a speed control system using Event-B

Amel Mammar, Marc Frappier

Open Access General

Validating multiple variants of an automotive light system with Alloy 6

Alcino Cunha, Nuno Macedo, Chong Liu

Open Access General

A journey with ASMETA from requirements to code: application to an automotive system with adaptive features

Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra

Open Access General

A verified low-level implementation and visualization of the adaptive exterior light and speed control system

Sebastian Krings, Philipp Körner, Jannik Dunkelau, Kristin Rutenkolk

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner