Skip to main content

International Journal on Software Tools for Technology Transfer

Issue 1/2023

SPIN 2021

Content (7 Articles)

Open Access General

OC-PM: analyzing object-centric event logs and process models

Alessandro Berti, Wil M. P. van der Aalst

Open Access General

Bounded DBM-based clock state construction for timed automata in Uppaal

Sascha Lehmann, Sibylle Schupp

Open Access General

A technology transfer journey to a model-driven access control system

Martina De Sanctis, Amleto Di Salle, Ludovico Iovino, Maria Teresa Rossi

Open Access General

Introduction to the special issue for SPIN 2021

Alfons Laarman, Ana Sokolova


Go2Pins: a framework for the LTL verification of Go programs (extended version)

Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault


Leveraging polyhedral reductions for solving Petri net reachability problems

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan

Current Publications

scroll for more

use your arrow keys for more

scroll or use arrow keys for more

Premium Partner