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

maintained by Schloss Dagstuhl LZI at University of Trier