Cited By
View all- Cicirelli FNigro LPupo FDe Rango FCalafate CVoznak M(2019)Formal modelling and verification of real-time self-adaptive systemsProceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications10.5555/3395101.3395129(154-161)Online publication date: 7-Oct-2019
- (2018)Modelling, specifying and verifying self-adaptive systems instantiating MAPE patternsInternational Journal of Computer Applications in Technology10.1504/IJCAT.2018.09002957:1(28-44)Online publication date: 1-Jan-2018
- Camilli MBellettini CCapra LPérez JMirandola RChen H(2018)A high-level petri net-based formal model of distributed self-adaptive systemsProceedings of the 12th European Conference on Software Architecture: Companion Proceedings10.1145/3241403.3241445(1-7)Online publication date: 24-Sep-2018
- Show More Cited By