Objectives:

The RV4RISE workshop aims at bringing together researchers and practitioners interested in the problems of detecting, testing, measuring and extracting qualitative and quantitative properties from software, hardware and cyber-physical systems. Topics of interest include (but are not limited to):

• Specification languages for monitoring and testing
• Runtime verification and monitoring
• Black-box and white-box testing
• Measuring and statistical information gathering
• Simulation-based verification and parameter synthesis
• Diagnostics, error localization and repair
• Combination of static and dynamic analysis
• Applications and case studies

Confirmed Speakers:

• Houssam Abbas, UPenn, USA
• Calin Belta, Boston University, USA
• Tommaso Dreossi, UC Berkeley, USA
• Thomas Ferrere, IST Austria, Austria
• Martin Leucker, University of Lübeck, Germany
• Jim Kapinski, Toyota, USA
• Hazem Torfah, Saarland University, Germany