Skip to main content

International Journal on Software Tools for Technology Transfer

Ausgabe 1/2023

SPIN 2021

Inhalt (7 Artikel)

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

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner