Marco Mori
Marco Mori
Banca d'Italia - ART Applied Research Team
Verified email at - Homepage
Cited by
Cited by
Software engineering for self-adaptive systems: research challenges in the provision of assurances
R de Lemos, D Garlan, C Ghezzi, H Giese, J Andersson, M Litoiu, ...
Software Engineering for Self-Adaptive Systems III. Assurances, 3-30, 2017
Perpetual assurances in self-adaptive systems
D Weyns, N Bencomo, R Calinescu, J Camara, C Ghezzi, V Grassi, ...
Assurances for Self-Adaptive Systems, Dagstuhl Seminar 13511, 2014
Systems‐of‐systems modeling using a comprehensive viewpoint‐based SysML profile
M Mori, A Ceccarelli, P Lollini, B Frömel, F Brancati, A Bondavalli
Journal of Software: Evolution and Process 30 (3), e1878, 2018
Requirements models at run-time to support consistent system evolutions
P Inverardi, M Mori
Requirements@ Run. Time (RE@ RunTime), 2011 2nd International Workshop on, 1-8, 2011
A software lifecycle process to support consistent evolutions
P Inverardi, M Mori
Self-Adaptive Systems of LNCS 7475 (Self-Adaptive Systems), 239-264, 2012
Leveraging state-based user preferences in context-aware reconfigurations for self-adaptive systems
M Mori, F Li, C Dorn, P Inverardi, S Dustdar
International Conference on Software Engineering and Formal Methods, 286-301, 2011
Feature oriented evolutions for context-aware adaptive systems
P Inverardi, M Mori
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and …, 2010
A holistic viewpoint-based SysML profile to design systems-of-systems
M Mori, A Ceccarelli, P Lollini, A Bondavalli, B Frömel
High Assurance Systems Engineering (HASE), 2016 IEEE 17th International …, 2016
Threat Analysis in Systems-of-Systems: An Emergence-Oriented Approach
A Ceccarelli, T Zoppi, A Vasenev, M Mori, D Ionita, L Montoya, ...
ACM Transactions on Cyber-Physical Systems 3 (2), 18, 2018
On the impact of emergent properties on SoS security
M Mori, A Ceccarelii, T Zoppi, A Bondavalli
7th International Conference on System of Systems Engineering (SoSE), 2016
Model checking requirements at run-time in adaptive systems
P Inverardi, M Mori
Proceedings of the 8th workshop on Assurances for self-adaptive systems, 5-9, 2011
AMADEOS SysML Profile for SoS Conceptual Modeling
P Lollini, M Mori, A Babu, S Bouchenak
Cyber-Physical Systems of Systems, 97-127, 2016
Introducing meta-requirements for describing system of systems
A Ceccarelli, M Mori, P Lollini, A Bondavalli
High Assurance Systems Engineering (HASE), 2015 IEEE 16th International …, 2015
Understanding the database manipulation behavior of programs
N Noughi, M Mori, L Meurice, A Cleve
Proceedings of the 22nd International Conference on Program Comprehension, 64-67, 2014
System-of-systems to support mobile safety critical applications: Open challenges and viable solutions
A Bondavalli, A Ceccarelli, P Lollini, L Montecchi, M Mori
IEEE Systems Journal 12 (1), 250-261, 2018
Parametric RBAC Maintenance via Max-SAT
M Benedetti, M Mori
Proceedings of the 23nd ACM on Symposium on Access Control Models and …, 2018
Feature-based Adaptation of Database Schemas
M Mori, A Cleve
Proceedings of the 8th International Workshop on Model-based Methodologies …, 2012
A software lifecycle process for context-aware adaptive systems
M Mori
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
AMADEOS Framework and Supporting Tools
A Babu, S Iacob, P Lollini, M Mori
Cyber-Physical Systems of Systems, 128-164, 2016
Towards Highly Adaptive Data-intensive Systems: A Research Agenda
M Mori, A Cleve
Proceedings of the 1st International Workshop on Variability Support in …, 2013
The system can't perform the operation now. Try again later.
Articles 1–20