Background and activities
Scientific, academic and artistic work
Displaying a selection of activities. See all publications in the database
- (2020) A Template-Based Methodology for the Specification and Automated Composition of Performability Models. IEEE Transactions on Reliability.
- (2019) The RoCS Framework to Support the Development of Autonomous Robots. Journal of Software Engineering and Research Development.
- (2018) PrivAPP: An Integrated Approach for the Design of Privacy-Aware Applications. Software, Practice & Experience.
- (2016) Modeling QoE in dependable tele-immersive applications: a case study of world opera. IEEE Transactions on Parallel and Distributed Systems. vol. 27 (9).
Part of book/report
- (2016) A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain. 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) Proceedings, 28 June-1 July 2016.