Here some of the projects in which  I'm currently involved:

  • EU-H2020-RIA: PACAS: Participatory Architectural Change MAnagement in ATM Systems. Two years project (2016- 2018) - H2020 project within  the framework of the SESAR Research and Innovation Action. The main objective of PACAS is to better understand, model and analyse changes at different layers of the Air Traffic Management (ATM) system to support change management, while capturing how architectural and design choices influence the overall system. The project aims at developing an innovative participatory change management process wherein heterogeneous stakeholders actively participate in the architectural evolution of the ATM system. The novelty and expected impact of PACAS relies on three main pillars: 1. Impact propagation techniques, 2. Gamified platform, 3. Domain-specific modelling languages. These are key components of the participatory design process wherein multiple, heterogeneous ATM domain stakeholders participate, each having a different view of the system, bi-directional relationships are in place between the strategic layers and the architecture layer, and the PACAS platform is crucial to establish and maintain consistency among the different layers and views.
  • EU-H2020-IA: VISION - Visual Privacy Management in User Centric Open Environments - Two years project (2015- 2017) - H2020 Innovation Action - DIGITAL SECURITY: CYBERSECURITY, PRIVACY AND TRUST (H2020-DS-2014-1) The VisiOn objective it to deliver a high Technology Readiness Level (TRL) Visual Privacy Management Platform, which empowers any citizen to achieve desired levels of privacy by creating and monitoring a personal Privacy Level Agreement. The platform will provide clear visualisation of privacy preferences, relevant threats and trust issues along with an insight into the economic value of user data. The platform will equip PAs with the right tools to improve the transparency and accountability of their operations, by supporting visual analysis of (i) privacy issues at different levels (e.g. design, run-time) and perspectives (i.e. citizen, PA); (ii) regulation compliance; and (iii) business/operational processes.  I'm the UNITN coordinator of the project.
  • IT-MIUR: SmartGATEpluS - Smart Solution for a Transparent, Efficient, and more Sustainable Administrative Justice  - Three years project funded by the Ministry of Education, Universities and Research (MIUR) - ”Smart Cities and Communities and Social Innovation" - Decreto Direttoriale n. 391/Ric del 5 luglio 2012. SmartGATEpluS  aims at improving the effectiveness and efficiency of the system of Administrative Justice (AJ) in Italy. It proposes the development of new ICT technologies, the overhaul of its organizational model and management and optimization of the services to the public, designed to fully satisfy the user, in order to enhance transparency and costs’ containment in compliance with the protection of the buildings of the Administrative Justice which are subject to the constraints imposed by the Italian Ministry of Cultural Heritage, and in which the services are processed and provided.  I'm the UNITN coordinator of the project.
  • ERC (Advanced Investigator Grant: Lucretius: Foundations for Software Evolution. Aim of the project is to develop techniques for designing software systems that evolve in response to changes in their requirements and operational environment. Principal Investigator: John Mylopolos. I'm co-investigator of the project. (2011-1016)

  • ... and here some of my old projects (very incomplete list :(
  • FP7-IP: ANIKETOS: Secure and Trustworthy Composite Services. An IFP7-ICT IP project  aiming at estabilishing  and maintaining trustworthiness and secure behaviour in a constantly changing service environment. The project  aligns existing and develops new technology, methods, tools and security services that support the design-time creation and run-time dynamic behaviour of composite services, addressing service developers, service providers and service end users. The project started the 1st of August, 2010. I'm the UNITN coordinator of the project.
  • FP7-NoE: NESSOS: Network of Excellence on Engineering Secure Future Internet Software Services and Systems.  The aim of NESSoS is to establish Europe as the scientific leader in engineering secure software services and systems for the Future Internet (FI). The network aims at achieving this by addressing the current fragmentation of activities across Europe through the establishment of the European joint virtual research lab on Engineering Secure Software Services, thus integrating the research, dissemination and technology transfer activities of the leading researchers and practitioners in the area. The project  started in October, 2010. I'm member of the UNITN team of the project.
  • FP7-STREP: COMPAS: Compliance-driven Models, Languages, and Architectures for Services. The COMPAS project will design and implement novel models, languages, and an architectural framework to ensure dynamic and on-going compliance of software services to business regulations and stated user service-requirements. COMPAS will use model-driven techniques, domain-specific languages, and service-oriented infrastructure software to enable organizations developing business compliance solutions easier and faster. More details in the SERENITY web site: http://www.compas-ict.eu/. I'm member of the UNITN team of the project.
  • FP6-IP:  SERENITY: System Engineering for Security & Dependability. Launched in January 2006, SERENITY (System Engineering for Security and Dependability) is a R&D project funded by the European Union. SERENITY aims to provide security and dependability in Ambient Intelligence systems (AmI). Over 3 years, 15 R&D organisations - software companies, research institutions and leading-edge industrials - have developed specifications, methods and a suite of tools ensuring dependability and security for future AmI solutions.  More details in the SERENITY web site: http://www.serenity-project.org/ I'm member of the UNITN team of the project.
  • PRIN - IT: MEnSA: Methodologies for the Engineering of Complex software Systems: the agent-based approach. MEnSA is a (PRIN) research project financed by the Italian Ministery for Education, University, and Research (Ministero dell'Università e della Ricerca). The main objective is the creation of agent-oriented software engineering methodologies that support the development of complex software systems. The methodologies will assist the whole development processs, from the requirements analysis to the actual implementation of the systems, using a metamodel-based approach. The expected result is a contribute in filling the existing gap between agent-oriented methodologies and multi-agent systems. More details in the  MENSA  web site:  http://www.mensa-project.org. I'm the UNITN coordinator of the project.
  • PAT-IT: TasLab: Trentino as Lab. The vision of the TasLab  is to support the never ending evolutionary process which the local communities, users and enterprises (especially SMEs) are facing every day due to changing market conditions. With our eco-systemic approach and continuous investments in ICT innovation we will enhance the local specificities and vocations, while increasing the collaboration and the sharing of knowledge among the different stakeholders of local innovation. The ecosystemic approach is also empowered by a relational and conceptual model, the “Innovation Tripole”, that puts the users at the center of the innovation processes together with the enterprises and the research players that are active on the local territory. Our activities in TasLab as been funded by the "European Social Fund" for the analysis of the TasLab requirements and the definition of the architecture of the overall TasLab portal. I'm coordinator of the UNITN-DISI team of the project.
  • PAT-IT: Mostro: MOdelling Security and Trust Relationships within Organizations. The MOSTRO project aims at detecting and isolating security flaws in the very early stages of software design and development, taking into account the reasons for the existence of ineffective practices in software design. The project is based on an interdisciplinary approach to the security problem, that combines techniques coming from ontological analysis, security modelling, multi-agents reasoning, and systems engineering in order to formally characterize security concerns in a coherent and verifiable way at all stages of software design and development. The project has been funded by the autonomous province of Trento.
  • PAT-IT: STAMPS: Software Methodology and Technology for Peer-to-Peer Systems - ITC-irst and Dipartimento di Informatica e Telecomunicazioni dell'Universita di Trento. The project has been funded by the autonomous province of Trento.
  • FIRB-IT: SMEFINRidisegno dell'infrastruttura Fnanziaria delle reti di imprese: alla ricerca di nuove soluzioni nanziarie, istituzionali e informatiche per sostenere la competitivita, l'innovazione, le riorganizzazioni aziendali e la gestione dei rischi. Universita di Trento, Universita di Modena, Universita di Parma, Universita di Padova, Universita di Verona, Universita di Urbino. The project has been funded by the Italian Ministry for Research (MIUR).
  • FIRB-IT: ASTRO: Knowledge-Level Software Engineering. The project has been funded by the Italian Ministry for Research (MIUR).
  • PRIN-IT:  Sistemi sicuri per la gestione di basi di dati spaziali e geografici in ambito Web. The project has been funded by the Italian Ministry for Research (MIUR).
  • PAT-IT:  LOGICOST: Metodologie e modelli per il supporto alle decisioni su base costi su problemi di ottimizzazione logistica - Dip. di Informatica e Telecomunicazioni dell'Universita di Trento, ITC-irst, Centro Ricerche Fiat. The project has been funded by the autonomous province of Trento.
  • Implicit Culture. An agent which operates in an environment with poor knowledge behaves suboptimally. If a group of agents act in the same environment, information about their actions can be used to improve the knowledge and the behavior of each agent. The problem can be solved by providing knowledge or learning capabilities to the agent, but in some domain the knowledge description can be very hard and learning from behavior observations requires a more complex agent.  The implicit Culture  approach is to make the agent behave as a member of the group would do, i.e. as he/she implicitly belongs to the same "culture", without extra-effort or direct interaction. We introduce the concept of Implicit Culture and propose a general architecture for Systems for Implicit Culture Support. The main component takes as input the current agent's behavior and a set of past actions performed by the group and suggest actions coherently. These "cultural actions" are representative of the behavior of the group's members and suggested in an implicit way, namely the overall process does not require to be known by the agents.
  • UNICUIQUE SUUM: Universal Networked Infrastructure for Communities of Users Implementing Quality  Enabled Services and Utilities Ultimately Mobile
  • Hyperion: p2p databases
  • Belief Revision in Multi-agent Environments, mental states recognition, and distributed knowledge elicitation