Marco Mori
Marco Mori
Banca d'Italia - ART Applied Research Team
Email verificata su - Home page
Citata da
Citata da
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
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
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
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
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
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
Parametric RBAC Maintenance via Max-SAT
M Benedetti, M Mori
Proceedings of the 23nd ACM on Symposium on Access Control Models andá…, 2018
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
AMADEOS Framework and Supporting Tools
A Babu, S Iacob, P Lollini, M Mori
Cyber-Physical Systems of Systems, 128-164, 2016
On the use of Max-SAT and PDDL in RBAC maintenance
M Benedetti, M Mori
Cybersecurity 2 (1), 1-25, 2019
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
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20