Marco Mori

27 papers A 1B 1C 1Journal 5Unranked 16
YearRankTypeTitle / Venue / Authors
2019 J jnl
On the use of Max-SAT and PDDL in RBAC maintenance.
Cybersecur.
Marco Benedetti, Marco Mori
2019 J jnl
Perpetual Assurances for Self-Adaptive Systems.
CoRR
Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli
2019 J jnl
Threat Analysis in Systems-of-Systems: An Emergence-Oriented Approach.
ACM Trans. Cyber Phys. Syst.
Andrea Ceccarelli, Tommaso Zoppi, Alexandr Vasenev, Marco Mori, Dan Ionita, Lorena Montoya, Andrea Bondavalli
2018 C conf
Parametric RBAC Maintenance via Max-SAT.
SACMAT
Marco Benedetti, Marco Mori
2018 J jnl
System-of-Systems to Support Mobile Safety Critical Applications: Open Challenges and Viable Solutions.
IEEE Syst. J.
Andrea Bondavalli, Andrea Ceccarelli, Paolo Lollini, Leonardo Montecchi, Marco Mori
2018 J jnl
Systems-of-systems modeling using a comprehensive viewpoint-based SysML profile.
J. Softw. Evol. Process.
Marco Mori, Andrea Ceccarelli, Paolo Lollini, Bernhard Frömel, Francesco Brancati, Andrea Bondavalli
2017 — conf
A Tool for Evolutionary Threat Analysis of Smart Grids.
SmartGIFT
Tommaso Zoppi, Andrea Ceccarelli, Marco Mori
2016 — conf
A Holistic Viewpoint-Based SysML Profile to Design Systems-of-Systems.
HASE
Marco Mori, Andrea Ceccarelli, Paolo Lollini, Andrea Bondavalli, Bernhard Frömel
2016 — ch.
AMADEOS Framework and Supporting Tools.
Cyber-Physical Systems of Systems
Arun Babu, Sorin M. Iacob, Paolo Lollini, Marco Mori
2016 — ch.
AMADEOS SysML Profile for SoS Conceptual Modeling.
Cyber-Physical Systems of Systems
Paolo Lollini, Marco Mori, Arun Babu, Sara Bouchenak
2016 — ch.
Case Study Definition and Implementation.
Cyber-Physical Systems of Systems
Arun Babu, Francesco Brancati, Sorin M. Iacob, David G. A. Mobach, Marco Mori, Thomas B. Quillinan
2016 — conf
On the impact of emergent properties on SoS security.
SoSE
Marco Mori, Andrea Ceccarelli, Tommaso Zoppi, Andrea Bondavalli
2015 — conf
Introducing Meta-Requirements for Describing System of Systems.
HASE
Andrea Ceccarelli, Marco Mori, Paolo Lollini, Andrea Bondavalli
2014 — conf
Extracting Data Manipulation Processes from SQL Execution Traces.
CAiSE Forum (Selected Extended Papers)
Marco Mori, Nesrine Noughi, Anthony Cleve
2014 — conf
Mining SQL Execution Traces for Data Manipulation Behavior Recovery.
CAiSE (Forum/Doctoral Consortium)
Marco Mori, Nesrine Noughi, Anthony Cleve
2014 A conf
Understanding the database manipulation behavior of programs.
ICPC
Nesrine Noughi, Marco Mori, Loup Meurice, Anthony Cleve
2013 — conf
A Stability-Aware Approach to Continuous Self-adaptation of Data-Intensive Systems.
ICCASA
Marco Mori, Anthony Cleve, Paola Inverardi
2013 — conf
Perpetual Assurances for Self-Adaptive Systems.
Software Engineering for Self-Adaptive Systems
Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli
2013 — conf
Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances.
Software Engineering for Self-Adaptive Systems
Rogério de Lemos, David Garlan, Carlo Ghezzi, Holger Giese, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Danny Weyns, Luciano Baresi, Nelly Bencomo, Yuriy Brun, Javier Cámara, Radu Calinescu, Myra B. Cohen, Alessandra Gorla, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Hausi A. Müller, Romain Rouvoy, Cecília M. F. Rubira, Éric Rutten, Mary Shaw, Giordano Tamburrelli, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Franco Zambonelli
2013 — conf
Towards Highly Adaptive Data-Intensive Systems: A Research Agenda.
CAiSE Workshops
Marco Mori, Anthony Cleve
2012 — conf
Feature-Based Adaptation of Database Schemas.
MOMPES
Marco Mori, Anthony Cleve
2011 — conf
A software lifecycle process for context-aware adaptive systems.
SIGSOFT FSE
Marco Mori
2011 B conf
Leveraging State-Based User Preferences in Context-Aware Reconfigurations for Self-Adaptive Systems.
SEFM
Marco Mori, Fei Li, Christoph Dorn, Paola Inverardi, Schahram Dustdar
2011 — conf
Model checking requirements at run-time in adaptive systems.
ASAS@ESEC/FSE
Paola Inverardi, Marco Mori
2011 — conf
Requirements models at run-time to support consistent system evolutions.
RE@RunTime
Paola Inverardi, Marco Mori
2010 — conf
A Software Lifecycle Process to Support Consistent Evolutions.
Software Engineering for Self-Adaptive Systems
Paola Inverardi, Marco Mori
2010 — conf
Feature oriented evolutions for context-aware adaptive systems.
EVOL/IWPSE
Paola Inverardi, Marco Mori