The paper introduces a verification-orchestration algorithm and process mining on ARH hypertraces to enable scalable security analysis of automotive network protocols and attribute violations to specific component compromises.
Softw Syst Model17(2), 599–631 (May 2018)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
An LLM-orchestrated framework enables conformance checking in stroke care from unstructured texts, achieving over 86% conformance in hospital data.
citing papers explorer
-
Process-Mining of Hypertraces: Enabling Scalable Formal Security Verification of (Automotive) Network Architectures
The paper introduces a verification-orchestration algorithm and process mining on ARH hypertraces to enable scalable security analysis of automotive network protocols and attribute violations to specific component compromises.
-
LLM-Orchestrated Conformance Checking in Stroke Care Without Computer-Interpretable Guidelines
An LLM-orchestrated framework enables conformance checking in stroke care from unstructured texts, achieving over 86% conformance in hospital data.