5. RV 2014: Toronto, ON, Canada

Monitoring and Trace Slicing

Runtime Verification of Distributed and Concurrent Systems

Runtime Verification of Real-Time and Embedded Systems

Testing and Bug Finding

Inference and Learning

a service of Schloss Dagstuhl - Leibniz Center for Informatics