Talk by Nuno Machado: Practical Log-based Analysis for Distributed Systems
July 3, 2018
Developers typically rely on log data to reason about the runtime behavior of distributed systems. Unfortunately, the inherently distributed nature...
[ Read More ]
Talk by Luis Miguel Danielsson: Decentralized Stream Runtime Verification
July 3, 2018
Stream Runtime Verification (SRV) is a behavioral specification language for runtime verification, where a monitor is described by expressing the...
[ Read More ]
Decentralized Stream Runtime Verification
July 3, 2018
Stream Runtime Verification (SRV) is a behavioral specification language for runtime verification, where a monitor is described by expressing the...
[ Read More ]
Practical Log-based Analysis for Distributed Systems
July 3, 2018
Developers typically rely on log data to reason about the runtime behavior of distributed systems. Unfortunately, the inherently distributed nature...
[ Read More ]
