Aron Schnakenbeck

13 papers C 6Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 C conf
Fault Prevention and Removal in the Context of Autonomous Mobile Robots.
ETFA
Aron Schnakenbeck, Christoph Sieber, Luis Miguel Vieira da Silva, Felix Gehlhoff, Alexander Fay
2024 — conf
Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size.
Principles of Verification (2)
Robin Mroß, Marcus Völker, Stefan Kowalewski, Aron Schnakenbeck, Alexander Fay
2024 J jnl
Prävention und Beseitigung von Fehlerursachen im Kontext von unbemannten Fahrzeugen.
CoRR
Aron Schnakenbeck, Christoph Sieber, Luis Miguel Vieira da Silva, Felix Gehlhoff, Alexander Fay
2023 C conf
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation.
INDIN
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
2023 J jnl
A Control Flow based Static Analysis of GRAFCET using Abstract Interpretation.
CoRR
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
2023 C conf
GRAFCET Reduction Techniques for Model Checking.
INDIN
Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
2023 C conf
Structural Analysis of GRAFCET Control Specifications.
ETFA
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
2023 J jnl
Structural Analysis of GRAFCET Control Specifications.
CoRR
Aron Schnakenbeck, Robin Mroß, Marcus Völker, Stefan Kowalewski, Alexander Fay
2023 J jnl
Transformation von GRAFCET in GAL auf Basis eines ausführlichen Metamodells zur Verifikation von Entwurfsfehlern.
Autom.
Aron Schnakenbeck, Robin Mross, Marcus Völker, Stefan Kowalewski, Alexander Fay
2023 C conf
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review.
ETFA
Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
2023 J jnl
Unambiguous Interpretation of IEC 60848 GRAFCET based on a Literature Review.
CoRR
Robin Mroß, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski
2022 C conf
Distributed ledger-based authentication and authorization for Industrie 4.0 components.
INDIN
Alaettin Dogan, Aron Schnakenbeck, Alexander Fay
2022 J jnl
Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model.
IEEE Access
Robin Mross, Aron Schnakenbeck, Marcus Völker, Alexander Fay, Stefan Kowalewski