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
General
Go2Pins: a framework for the LTL verification of Go programs (extended version)
Alexandre Kirszenberg, Antoine Martin, Hugo Moreau, Etienne Renault
General
Leveraging polyhedral reductions for solving Petri net reachability problems
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
General
An evaluation of approaches to model checking real-time task schedulability analysis
Madoda Nxumalo, Nils Timm, Stefan Gruner