| 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 | 156 | 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 | 134 | 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 | 58 | 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 | 35 | 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 | 31 | 2012 |
| 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 | 21 | 2018 |
| 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 | 20 | 2011 |
| 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 | 19 | 2016 |
| Feature oriented evolutions for context-aware adaptive systems P Inverardi, M Mori Proceedings of the Joint ERCIM Workshop on Software Evolution (EVOL) and …, 2010 | 19 | 2010 |
| 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 | 16 | 2016 |
| AMADEOS SysML Profile for SoS Conceptual Modeling P Lollini, M Mori, A Babu, S Bouchenak Cyber-Physical Systems of Systems, 97-127, 2016 | 15 | 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 | 14 | 2011 |
| 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 | 13 | 2018 |
| 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 | 13 | 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 | 13 | 2014 |
| On the use of Max-SAT and PDDL in RBAC maintenance M Benedetti, M Mori Cybersecurity 2 (1), 1-25, 2019 | 11 | 2019 |
| Parametric RBAC Maintenance via Max-SAT M Benedetti, M Mori Proceedings of the 23nd ACM on Symposium on Access Control Models and …, 2018 | 11 | 2018 |
| 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 | 10 | 2022 |
| AMADEOS Framework and Supporting Tools A Babu, S Iacob, P Lollini, M Mori Cyber-Physical Systems of Systems, 128-164, 2016 | 9 | 2016 |
| A software lifecycle process for context-aware adaptive systems M Mori Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011 | 9 | 2011 |
andrea bondavalliProfessor of computer science, University of Firenzeunifi.it의 이메일 확인됨