Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
RV4RISE 2018 - Runtime Verification for Rigorous Systems Engineering
Topics/Call fo Papers
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
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
Other CFPs
- Logic and Learning
- 13th International Workshop on User Interfaces for Theorem Provers
- 4th Workshop on Formal Integrated Development Environment
- Sixteenth International Workshop on Quantitative Aspects of Programming Languages and Systems
- 16TH OVERTURE WORKSHOP: New Capabilities and Applications for Model-based Systems Engineering
Last modified: 2017-12-13 10:07:24