2 papers
cs.CR2026
Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
Julius Figge, David Knuplesch, Andreas Maletti +1
The automotive domain is transitioning: vehicles act as rolling servers, persistently connected to numerous external entities. This connectivity, combined with rising on-board comp…
cs.LO2021
Verifying Compliance in Process Choreographies: Foundations, Algorithms, and Implementation
Walid Fdhila, David Knuplesch, Stefanie Rinderle-Ma +1
The current push towards interoperability drives companies to collaborate through process choreographies. At the same time, they face a jungle of continuously changing regulations,…