Torben Scheffel

Papers

Total Citations

H-Index

About

Torben Scheffel is a leading researcher in the formal verification of distributed and asynchronous systems, with a particular focus on runtime monitoring and temporal logic. His most-cited work, "Three-valued asynchronous distributed runtime verification" (2014, 25 citations), introduces a novel monitor generation procedure that enables three-valued monitoring—capturing true, false, and inconclusive outcomes—for distributed asynchronous environments. To support this, Scheffel developed a new logic called Distribut, specifically designed to specify properties in such challenging settings. This contribution addresses a critical gap in verifying systems where global state is not synchronously observable, offering a practical framework for detecting violations at runtime. Beyond this landmark paper, his research advances the theory and practice of runtime verification, helping to ensure reliability in complex, distributed infrastructures. With a career dedicated to bridging formal methods and real-world system correctness, Scheffel’s work continues to influence both academic research and industrial applications in dependable computing.