Cited By
View all- Duhoux BMens KDumas B(2019)Implementation of a Feature-Based Context-Oriented Programming LanguageProceedings of the 11th ACM International Workshop on Context-Oriented Programming10.1145/3340671.3343357(9-16)Online publication date: 15-Jul-2019
- Li XZhang LShen XChen JShrivastava A(2019)IA-graph based inter-app conflicts detection in open IoT systemsProceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems10.1145/3316482.3326350(135-147)Online publication date: 23-Jun-2019
- Borda APasquale LKoutavas VNuseibeh BAndersson JWeyns D(2018)Compositional verification of self-adaptive cyber-physical systemsProceedings of the 13th International Conference on Software Engineering for Adaptive and Self-Managing Systems10.1145/3194133.3194146(1-11)Online publication date: 28-May-2018
- Show More Cited By