23 citations · 85 across the 23 of their papers we have counts for
27 papers
Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
Benedikt Bollig
We study runtime monitoring for distributed LLM-agent workflows. In an asynchronous execution, a decision can only depend on events that are causally visible to the lifeline that m…
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…
On the Satisfiability of Local First-Order Logics with Data
Benedikt Bollig, Arnaud Sangnier, Olivier Stietel
We study first-order logic over unordered structures whose elements carry a finite number of data values from an infinite domain. Data values can be compared wrt.\ equality. As the…