A trace-based visual inspection technique to detect errors in simulation models
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Monitoring the Full Range of ω -Regular Properties of Stochastic Systems
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation
Statistical runtime checking of probabilistic properties
RV'07 Proceedings of the 7th international conference on Runtime verification
Monitoring temporal properties of stochastic systems
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Runtime repair of software faults using event-driven monitoring
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Online stability validation using sector analysis
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Femtocell coverage optimisation using statistical verification
NETWORKING'11 Proceedings of the 10th international IFIP TC 6 conference on Networking - Volume Part I
Monitorability of stochastic dynamical systems
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Validating Quality Attribute Requirements
Software—Practice & Experience
Runtime monitoring of stochastic cyber-physical systems with hybrid state
RV'11 Proceedings of the Second international conference on Runtime verification
Runtime verification for ultra-critical systems
RV'11 Proceedings of the Second international conference on Runtime verification
Copilot: monitoring embedded systems
Innovations in Systems and Software Engineering
Deliberative, search-based mitigation strategies for model-based software health management
Innovations in Systems and Software Engineering
Runtime verification of microcontroller binary code
Science of Computer Programming
| Hi-index | 0.00 |
Correctness of a real-time system depends on its computation as well as its timeliness and its reliability. In recent years, researches have focused on verifying correctness of a real-time system during runtime by monitoring its execution and checking it against its formal specifications. Such verification method is called Runtime Verification. Most existing runtime verification tools verify computation correctness using qualitative property specifications but do not verify timeliness nor reliability correctness. In this paper, we investigate the verification on timeliness and reliability correctness by offering quantitative and probabilistic property specifications and implementing efficient verifiers.