Cited By
View all- Soueidi CFalcone Y(2023)Residual Runtime Verification via Reachability AnalysisVerified Software. Theories, Tools and Experiments.10.1007/978-3-031-25803-9_9(148-166)Online publication date: 1-Feb-2023
- Soueidi CFalcone YHong JBures MPark JCerny T(2022)Capturing program models with BISMProceedings of the 37th ACM/SIGAPP Symposium on Applied Computing10.1145/3477314.3507239(1857-1861)Online publication date: 25-Apr-2022
- Azzopardi SPiterman NSchneider G(2022)Runtime Verification Meets Controller SynthesisLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles10.1007/978-3-031-19849-6_22(382-396)Online publication date: 17-Oct-2022
- Show More Cited By