Cited By
View all- Khakpour NSkandylas CFilkov VRay BZhou M(2024)Compositional Security Analysis of Dynamic Component-based SystemsProceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering10.1145/3691620.3695499(1232-1244)Online publication date: 27-Oct-2024
- Sharifloo ASpoletini P(2013)LOVER: Light-Weight fOrmal Verification of adaptivE Systems at Run TimeFormal Aspects of Component Software10.1007/978-3-642-35861-6_11(170-187)Online publication date: 2013
- Luqi Jacoby G(2011)Testing Adaptive Probabilistic Software Components in Cyber SystemsFoundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems10.1007/978-3-642-21292-5_13(228-238)Online publication date: 2011
- Show More Cited By