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

   • Alessandro Berti
   • Wil M. P. van der Aalst

   General Open access 20 September 2022 Pages: 1 - 17

   

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

   • Sascha Lehmann
   • Sibylle Schupp

   General Open access 08 September 2022 Pages: 19 - 47

   

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

   • Martina De Sanctis
   • Amleto Di Salle
   • Maria Teresa Rossi

   General Open access 10 February 2023 Pages: 49 - 74

   

4. Introduction to the special issue for SPIN 2021

   • Alfons Laarman
   • Ana Sokolova

   General Open access 25 February 2023 Pages: 75 - 76

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

   • Alexandre Kirszenberg
   • Antoine Martin
   • Etienne Renault

   General 06 January 2023 Pages: 77 - 94

   

6. Leveraging polyhedral reductions for solving Petri net reachability problems

   • Nicolas Amat
   • Silvano Dal Zilio
   • Didier Le Botlan

   General 22 December 2022 Pages: 95 - 114

   

7. An evaluation of approaches to model checking real-time task schedulability analysis

   • Madoda Nxumalo
   • Nils Timm
   • Stefan Gruner

   General 19 January 2023 Pages: 115 - 128