FlowManager: A Workflow Management System Based on Petri Nets. - Lerina Aversano; Aniello Cimitile; Pierpaolo Gallucci; Maria Luisa Villani (COMPSAC, 2002)

ContentP2P: A Peer-to-Peer Content Management System. - Gerardo Canfora; Sandro Manzo; Vincenzo Fabio Rollo; Maria Luisa Villani (COMPSAC, 2002)

Model Checking Multithreaded Programs by Means of Reduced Models. - Sara Gradara; Antonella Santone; Maria Luisa Villani; Gigliola Vaglini (LDTA@ETAPS, 2004)

Managing coordination and cooperation in distributed software processes: the GENESIS environment. - Lerina Aversano; Andrea De Lucia; Matteo Gaeta; Pierluigi Ritrovato; Silvio Stefanucci; Maria Luisa Villani (Softw. Process. Improv. Pract., 2004)

An approach for QoS-aware service composition based on genetic algorithms. - Gerardo Canfora; Massimiliano Di Penta; Raffaele Esposito; Maria Luisa Villani (GECCO, 2005)

QoS-Aware Replanning of Composite Web Services. - Gerardo Canfora; Massimiliano Di Penta; Raffaele Esposito; Maria Luisa Villani (ICWS, 2005)

Using heuristic search for finding deadlocks in concurrent systems. - Sara Gradara; Antonella Santone; Maria Luisa Villani (Inf. Comput., 2005)

The C-Cube framework: developing autonomic applications through web services. - Gerardo Canfora; Piero Corte; Antonio De Nigro; Debora Desideri; Massimiliano Di Penta; Raffaele Esposito; Amedeo Falanga; Gloria Renna; Rita Scognamiglio; Francesco Torelli; Maria Luisa Villani; Paolo Zampognaro (ACM SIGSOFT Softw. Eng. Notes, 2005)

Service Composition (re)Binding Driven by Application-Specific QoS. - Gerardo Canfora; Massimiliano Di Penta; Raffaele Esposito; Francesco Perfetto; Maria Luisa Villani (ICSOC, 2006)

Formal Verification of Concurrent Systems via Directed Model Checking. - Sara Gradara; Antonella Santone; Maria Luisa Villani (AVoCS, 2006)

DELFIN+: An efficient deadlock detection tool for CCS processes. - Sara Gradara; Antonella Santone; Maria Luisa Villani (J. Comput. Syst. Sci., 2006)

Negotiation of Service Level Agreements: An Architecture and a Search-Based Approach. - Elisabetta Di Nitto; Massimiliano Di Penta; Alessio Gambi; Gianluca Ripa; Maria Luisa Villani (ICSOC, 2007)

Discovery of SOA patterns via model checking. - Massimiliano Di Penta; Antonella Santone; Maria Luisa Villani (IW-SOSWE, 2007)

A framework for QoS-aware binding and re-binding of composite web services. - Gerardo Canfora; Massimiliano Di Penta; Raffaele Esposito; Maria Luisa Villani (J. Syst. Softw., 2008)

Modular formal verification of specifications of concurrent systems. - Sara Gradara; Antonella Santone; Gigliola Vaglini; Maria Luisa Villani (Softw. Test. Verification Reliab., 2008)

Abstracting Models from Execution Traces for Performing Formal Verification. - Thierry Bodhuin; Federico Pagnozzi; Antonella Santone; Maria Tortorella; Maria Luisa Villani (FGIT-ASEA, 2009)

Dynamic composition of web applications in human-centered processes. - Gerardo Canfora; Massimiliano Di Penta; Pierpaolo Lombardi; Maria Luisa Villani (PESOS@ICSE, 2009)

A Formula Driven Incremental Construction of Web Service Compositions. - Antonella Santone; Gigliola Vaglini; Maria Luisa Villani (ICSOFT (1), 2009)

Ant Colony Optimization for Deadlock Detection in Concurrent Systems. - Gianpiero Francesca; Antonella Santone; Gigliola Vaglini; Maria Luisa Villani (COMPSAC, 2011)

A Rule-based Approach for Modelling Behaviour in Crisis and Emergency Scenarios. - Antonio De Nicola 001; Giordano Vicoli; Maria Luisa Villani (I-ESA, 2012)

Semantic Modeling of the Emissions Trading System. - Cecilia Camporeale; Antonio De Nicola 001; Vittorio Rosato; Maria Luisa Villani; Umberto Ciorba (DEXA Workshops, 2013)

Towards ontological foundations of knowledge related to the emissions trading system. - Umberto Ciorba; Antonio De Nicola 001; Stefano La Malfa; Tiziano Pignatelli; Vittorio Rosato; Maria Luisa Villani (EDBT/ICDT Workshops, 2013)

Incremental construction of systems: An efficient characterization of the lacking sub-system. - Antonella Santone; Gigliola Vaglini; Maria Luisa Villani (Sci. Comput. Program., 2013)

A Lateral Thinking Framework for Semantic Modelling of Emergencies in Smart Cities. - Antonio De Nicola 001; Michele Melchiori; Maria Luisa Villani (DEXA (2), 2014)

A Semantics-Based Approach to Generation of Emergency Management Scenario Models. - Antonio De Nicola 001; Michele Melchiori; Maria Luisa Villani (I-ESA, 2014)

Semantics-based services for a low carbon society: An application on emissions trading system data and scenarios management. - Cecilia Camporeale; Antonio De Nicola 001; Maria Luisa Villani (Environ. Model. Softw., 2015)

TEMPORANA: Flexible Temporal Query Processing for Supporting System Behavior Detection across Complex Scenarios. - Alfredo Cuzzocrea; Ilaria D'Elia; Antonio De Nicola 001; Hugo Maldini; Maria Luisa Villani (CSE/EUC/DCABES, 2016)

Towards Temporal Analysis of Integrated Scenarios for Sustainable Innovation. - Alfredo Cuzzocrea; Ilaria D'Elia; Antonio De Nicola 001; Hugo Maldini; Maria Luisa Villani (ICCSA (5), 2016)

A methodology for modeling and measuring interdependencies of information and communications systems used for public administration and eGovernment services. - Antonio De Nicola 001; Maria Luisa Villani; Maria Cristina Brugnoli; Gregorio D'Agostino (Int. J. Crit. Infrastructure Prot., 2016)

A Gamified Approach to Participatory Modelling of Water System Risks. - Alex Coletti; Antonio De Nicola 001; Giordano Vicoli; Maria Luisa Villani (CRITIS, 2017)

Enhancing Creativity in Risk Assessment of Complex Sociotechnical Systems. - Alex Coletti; Antonio De Nicola 001; Maria Luisa Villani (ICCSA (2), 2017)

A Flexible Architecture for Cognitive Sensing of Activities in Ambient Assisted Living. - Rita Zgheib; Antonio De Nicola 001; Maria Luisa Villani; Emmanuel Conchon; Rémi Bastide (WETICE, 2017)

M-CREAM: A Tool for Creative Modelling of Emergency Scenarios in Smart Cities. - Antonio De Nicola 001; Michele Melchiori; Maria Luisa Villani (ESWC (Satellite Events), 2018)

Semantic Modeling of Cascading Risks in Interoperable Socio-technical Systems. - Alex Coletti; Antonio De Nicola 001; Giordano Vicoli; Maria Luisa Villani (I-ESA, 2018)

Gamified Software to Support the Design of Business Innovation. - Antonio De Nicola 001; Giordano Vicoli; Maria Luisa Villani (Inf., 2018)

An Automatic Approach to Qualitative Risk Assessment in Metropolitan Areas. - Denis Barcaroli; Alex Coletti; Antonio De Nicola 001; Antonio Di Pietro; Luigi La Porta; Maurizio Pollino; Vittorio Rosato; Giordano Vicoli; Maria Luisa Villani (ISCRAM, 2019)

Creative design of emergency management scenarios driven by semantics: An application to smart cities. - Antonio De Nicola 001; Michele Melchiori; Maria Luisa Villani (Inf. Syst., 2019)

Towards a Framework for Definition of Enterprise Safety Indicators. - Francesco Costantino; Antonio De Nicola 001; Giulio Di Gravio; Andrea Falegnami; Riccardo Patriarca; Massimo Tronci; Giordano Vicoli; Maria Luisa Villani (I-ESA Workshops, 2020)

Drivers of Knowledge Conversion in Socio-Technical Systems. - Antonio De Nicola 001; Maria Luisa Villani; Francesco Costantino; Andrea Falegnami; Riccardo Patriarca (STPIS, 2020)

Knowledge Fusion for Distributed Situational Awareness driven by the WAx Conceptual Framework. - Antonio De Nicola 001; Maria Luisa Villani; Francesco Costantino; Andrea Falegnami; Riccardo Patriarca (ISCRAM, 2021)

Co-Creating GIS-Based Dashboards to Democratize Knowledge on Urban Resilience Strategies: Experience with Camerino Municipality. - Maria Luisa Villani; Sonia Giovinazzi; Antonio Costanzo 003 (ISPRS Int. J. Geo Inf., 2023)

A Modular Architecture of Command-and-Control Software in Multi-Sensor Systems Devoted to Public Security. - Maria Luisa Villani; Antonio De Nicola 001; Henri Bouma; Arthur van Rooijen; Pauli Räsänen; Johannes Peltola; Sirra Toivonen; Massimiliano Guarneri; Cristiano Stifini; Luigi De Dominicis (Inf., 2023)

An Integrated Fusion Engine for Early Threat Detection Demonstrated in Public-Space Trials. - Henri Bouma; Maria Luisa Villani; Arthur van Rooijen; Pauli Räsänen; Johannes Peltola; Sirra Toivonen; Antonio De Nicola 001; Massimiliano Guarneri; Cristiano Stifini; Luigi De Dominicis (Sensors, 2023)

Development and measurement of a resilience indicator for cyber-socio-technical systems: The allostatic load. - Antonio De Nicola 001; Maria Luisa Villani; Mark Sujan; John Watt; Francesco Costantino; Andrea Falegnami; Riccardo Patriarca (J. Ind. Inf. Integr., 2023)

Assessment of Population Health Risks Due to Heat Islands Using Thermal Satellite Images (The Case of Valencia). - Antonio Costanzo 003; Malvina Silvestri; Massimo Musacchio; Fabrizia Buongiorno; Sonia Giovinazzi; Maria Luisa Villani (IGARSS, 2024)

A NLP Approach to Quantify Resilience in Cyber-Socio-Technical Systems with LLM Agents. - Antonio De Nicola 001; Maria Guariglia Migliore; Ida Mele; Maria Luisa Villani (ISM, 2024)