Distributed ledger-based authentication and authorization for Industrie 4.0 components. - Alaettin Dogan; Aron Schnakenbeck; Alexander Fay (INDIN, 2022)

Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model. - Robin Mross; Aron Schnakenbeck; Marcus Völker; Alexander Fay; Stefan Kowalewski (IEEE Access, 2022)

Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review. - Robin Mroß; Aron Schnakenbeck; Marcus Völker; Alexander Fay; Stefan Kowalewski (ETFA, 2023)

Structural Analysis of GRAFCET Control Specifications. - Aron Schnakenbeck; Robin Mroß; Marcus Völker; Stefan Kowalewski; Alexander Fay (ETFA, 2023)

GRAFCET Reduction Techniques for Model Checking. - Robin Mroß; Aron Schnakenbeck; Marcus Völker; Alexander Fay; Stefan Kowalewski (INDIN, 2023)

A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation. - Aron Schnakenbeck; Robin Mroß; Marcus Völker; Stefan Kowalewski; Alexander Fay (INDIN, 2023)

Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern. - Aron Schnakenbeck; Robin Mross; Marcus Völker; Stefan Kowalewski; Alexander Fay (Autom., 2023)

Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size. - Robin Mroß; Marcus Völker; Stefan Kowalewski; Aron Schnakenbeck; Alexander Fay (Principles of Verification (2), 2024)

Prävention und Beseitigung von Fehlerursachen im Kontext von unbemannten Fahrzeugen. - Aron Schnakenbeck; Christoph Sieber; Luis Miguel Vieira da Silva; Felix Gehlhoff; Alexander Fay (CoRR, 2024)