5 papers
Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
Benedikt Bollig
Distributed LLM agent workflows should not be monitored as if they produced a single sequential log. In an asynchronous execution, a decision can only depend on events that are cau…
Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
Benedikt Bollig
Runtime verification is a lightweight verification technique that complements model checking by analyzing system executions at runtime rather than exploring a complete system model…
Verification of Neural Networks (Lecture Notes)
Benedikt Bollig
These lecture notes provide an introduction to the verification of neural networks from a theoretical perspective. We discuss feed-forward neural networks, recurrent neural network…
High-Level Message Sequence Charts: Satisfiability and Realizability Revisited
Benedikt Bollig, Marie Fortin, Paul Gastin
Message sequence charts (MSCs) visually represent interactions in distributed systems that communicate through FIFO channels. High-level MSCs (HMSCs) extend MSCs with choice, conca…
A Framework for Streaming Event-Log Prediction in Business Processes
Benedikt Bollig, Matthias Függer, Thomas Nowak
We present a Python-based framework for event-log prediction in streaming mode, enabling predictions while data is being generated by a business process. The framework allows for e…