Segui
Marco Mori
Marco Mori
Banca d'Italia - ART Applied Research Team
Email verificata su bancaditalia.it - Home page
Titolo
Citata da
Citata da
Anno
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
1562017
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
1332014
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
572018
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
352011
A software lifecycle process to support consistent evolutions
P Inverardi, M Mori
Self-Adaptive Systems of LNCS 7475 (Self-Adaptive Systems), 239-264, 2012
312012
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
212018
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
202011
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
192016
Feature oriented evolutions for context-aware adaptive systems
P Inverardi, M Mori
Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and …, 2010
192010
AMADEOS SysML Profile for SoS Conceptual Modeling
P Lollini, M Mori, A Babu, S Bouchenak
Cyber-Physical Systems of Systems, 97-127, 2016
152016
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
152016
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
142011
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
132018
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
132015
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
132014
On the use of Max-SAT and PDDL in RBAC maintenance
M Benedetti, M Mori
Cybersecurity 2 (1), 1-25, 2019
112019
Parametric RBAC Maintenance via Max-SAT
M Benedetti, M Mori
Proceedings of the 23nd ACM on Symposium on Access Control Models and …, 2018
112018
Neural machine translation for fact-checking temporal claims
M Mori, P Papotti, L Bellomarini, O Giudice
Proceedings of the Fifth Fact Extraction and VERification Workshop (FEVER …, 2022
92022
AMADEOS Framework and Supporting Tools
A Babu, S Iacob, P Lollini, M Mori
Cyber-Physical Systems of Systems, 128-164, 2016
92016
A software lifecycle process for context-aware adaptive systems
M Mori
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011
92011
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20