Maria Luisa Villani

48 papers A 4B 3C 4Journal 16Unranked 21
YearRankTypeTitle / Venue / Authors
2024 — conf
A Geospatial Heuristic-Based Service for Resilient Electricity Infrastructures in Varying Environments.
IHTC
Matteo Ferigo, Maria Luisa Villani
2024 C conf
A NLP Approach to Quantify Resilience in Cyber-Socio-Technical Systems with LLM Agents.
ISM
Antonio De Nicola, Maria Guariglia Migliore, Ida Mele, Maria Luisa Villani
2024 C conf
Assessment of Population Health Risks Due to Heat Islands Using Thermal Satellite Images (The Case of Valencia).
IGARSS
Antonio Costanzo, Malvina Silvestri, Massimo Musacchio, Fabrizia Buongiorno, Sonia Giovinazzi, Maria Luisa Villani
2023 J jnl
A Modular Architecture of Command-and-Control Software in Multi-Sensor Systems Devoted to Public Security.
Inf.
Maria Luisa Villani, Antonio De Nicola, Henri Bouma, Arthur van Rooijen, Pauli Räsänen, Johannes Peltola, Sirra Toivonen, Massimiliano Guarneri, Cristiano Stifini, Luigi De Dominicis
2023 J jnl
An Integrated Fusion Engine for Early Threat Detection Demonstrated in Public-Space Trials.
Sensors
Henri Bouma, Maria Luisa Villani, Arthur van Rooijen, Pauli Räsänen, Johannes Peltola, Sirra Toivonen, Antonio De Nicola, Massimiliano Guarneri, Cristiano Stifini, Luigi De Dominicis
2023 J jnl
Co-Creating GIS-Based Dashboards to Democratize Knowledge on Urban Resilience Strategies: Experience with Camerino Municipality.
ISPRS Int. J. Geo Inf.
Maria Luisa Villani, Sonia Giovinazzi, Antonio Costanzo
2023 J jnl
Development and measurement of a resilience indicator for cyber-socio-technical systems: The allostatic load.
J. Ind. Inf. Integr.
Antonio De Nicola, Maria Luisa Villani, Mark Sujan, John Watt, Francesco Costantino, Andrea Falegnami, Riccardo Patriarca
2021 — conf
Knowledge Fusion for Distributed Situational Awareness driven by the WAx Conceptual Framework.
ISCRAM
Antonio De Nicola, Maria Luisa Villani, Francesco Costantino, Andrea Falegnami, Riccardo Patriarca
2020 — conf
Drivers of Knowledge Conversion in Socio-Technical Systems.
STPIS
Antonio De Nicola, Maria Luisa Villani, Francesco Costantino, Andrea Falegnami, Riccardo Patriarca
2020 — conf
Towards a Framework for Definition of Enterprise Safety Indicators.
I-ESA Workshops
Francesco Costantino, Antonio De Nicola, Giulio Di Gravio, Andrea Falegnami, Riccardo Patriarca, Massimo Tronci, Giordano Vicoli, Maria Luisa Villani
2019 — conf
An Automatic Approach to Qualitative Risk Assessment in Metropolitan Areas.
ISCRAM
Denis Barcaroli, Alex Coletti, Antonio De Nicola, Antonio Di Pietro, Luigi La Porta, Maurizio Pollino, Vittorio Rosato, Giordano Vicoli, Maria Luisa Villani
2019 J jnl
Creative design of emergency management scenarios driven by semantics: An application to smart cities.
Inf. Syst.
Antonio De Nicola, Michele Melchiori, Maria Luisa Villani
2018 J jnl
Gamified Software to Support the Design of Business Innovation.
Inf.
Antonio De Nicola, Giordano Vicoli, Maria Luisa Villani
2018 — conf
M-CREAM: A Tool for Creative Modelling of Emergency Scenarios in Smart Cities.
ESWC (Satellite Events)
Antonio De Nicola, Michele Melchiori, Maria Luisa Villani
2018 — conf
Semantic Modeling of Cascading Risks in Interoperable Socio-technical Systems.
I-ESA
Alex Coletti, Antonio De Nicola, Giordano Vicoli, Maria Luisa Villani
2017 C conf
A Flexible Architecture for Cognitive Sensing of Activities in Ambient Assisted Living.
WETICE
Rita Zgheib, Antonio De Nicola, Maria Luisa Villani, Emmanuel Conchon, Rémi Bastide
2017 C conf
A Gamified Approach to Participatory Modelling of Water System Risks.
CRITIS
Alex Coletti, Antonio De Nicola, Giordano Vicoli, Maria Luisa Villani
2017 — conf
Enhancing Creativity in Risk Assessment of Complex Sociotechnical Systems.
ICCSA (2)
Alex Coletti, Antonio De Nicola, Maria Luisa Villani
2016 J jnl
A methodology for modeling and measuring interdependencies of information and communications systems used for public administration and eGovernment services.
Int. J. Crit. Infrastructure Prot.
Antonio De Nicola, Maria Luisa Villani, Maria Cristina Brugnoli, Gregorio D'Agostino
2016 — conf
TEMPORANA: Flexible Temporal Query Processing for Supporting System Behavior Detection across Complex Scenarios.
CSE/EUC/DCABES
Alfredo Cuzzocrea, Ilaria D'Elia, Antonio De Nicola, Hugo Maldini, Maria Luisa Villani
2016 — conf
Towards Temporal Analysis of Integrated Scenarios for Sustainable Innovation.
ICCSA (5)
Alfredo Cuzzocrea, Ilaria D'Elia, Antonio De Nicola, Hugo Maldini, Maria Luisa Villani
2015 J jnl
Semantics-based services for a low carbon society: An application on emissions trading system data and scenarios management.
CoRR
Cecilia Camporeale, Antonio De Nicola, Maria Luisa Villani
2015 J jnl
Semantics-based services for a low carbon society: An application on emissions trading system data and scenarios management.
Environ. Model. Softw.
Cecilia Camporeale, Antonio De Nicola, Maria Luisa Villani
2014 — conf
A Lateral Thinking Framework for Semantic Modelling of Emergencies in Smart Cities.
DEXA (2)
Antonio De Nicola, Michele Melchiori, Maria Luisa Villani
2014 — conf
A Semantics-Based Approach to Generation of Emergency Management Scenario Models.
I-ESA
Antonio De Nicola, Michele Melchiori, Maria Luisa Villani
2013 J jnl
Incremental construction of systems: An efficient characterization of the lacking sub-system.
Sci. Comput. Program.
Antonella Santone, Gigliola Vaglini, Maria Luisa Villani
2013 — conf
Semantic Modeling of the Emissions Trading System.
DEXA Workshops
Cecilia Camporeale, Antonio De Nicola, Vittorio Rosato, Maria Luisa Villani, Umberto Ciorba
2013 — conf
Towards ontological foundations of knowledge related to the emissions trading system.
EDBT/ICDT Workshops
Umberto Ciorba, Antonio De Nicola, Stefano La Malfa, Tiziano Pignatelli, Vittorio Rosato, Maria Luisa Villani
2012 — conf
A Rule-based Approach for Modelling Behaviour in Crisis and Emergency Scenarios.
I-ESA
Antonio De Nicola, Giordano Vicoli, Maria Luisa Villani
2011 B conf
Ant Colony Optimization for Deadlock Detection in Concurrent Systems.
COMPSAC
Gianpiero Francesca, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani
2009 — conf
A Formula Driven Incremental Construction of Web Service Compositions.
ICSOFT (1)
Antonella Santone, Gigliola Vaglini, Maria Luisa Villani
2009 — conf
Abstracting Models from Execution Traces for Performing Formal Verification.
FGIT-ASEA
Thierry Bodhuin, Federico Pagnozzi, Antonella Santone, Maria Tortorella, Maria Luisa Villani
2009 — conf
Dynamic composition of web applications in human-centered processes.
PESOS@ICSE
Gerardo Canfora, Massimiliano Di Penta, Pierpaolo Lombardi, Maria Luisa Villani
2008 J jnl
A framework for QoS-aware binding and re-binding of composite web services.
J. Syst. Softw.
Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani
2008 J jnl
Modular formal verification of specifications of concurrent systems.
Softw. Test. Verification Reliab.
Sara Gradara, Antonella Santone, Gigliola Vaglini, Maria Luisa Villani
2007 — conf
Discovery of SOA patterns via model checking.
IW-SOSWE
Massimiliano Di Penta, Antonella Santone, Maria Luisa Villani
2007 A conf
Negotiation of Service Level Agreements: An Architecture and a Search-Based Approach.
ICSOC
Elisabetta Di Nitto, Massimiliano Di Penta, Alessio Gambi, Gianluca Ripa, Maria Luisa Villani
2006 J jnl
DELFIN
J. Comput. Syst. Sci.
Sara Gradara, Antonella Santone, Maria Luisa Villani
2006 — conf
Formal Verification of Concurrent Systems via Directed Model Checking.
AVoCS
Sara Gradara, Antonella Santone, Maria Luisa Villani
2006 A conf
Service Composition (re)Binding Driven by Application-Specific QoS.
ICSOC
Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Francesco Perfetto, Maria Luisa Villani
2005 A conf
An approach for QoS-aware service composition based on genetic algorithms.
GECCO
Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani
2005 A conf
QoS-Aware Replanning of Composite Web Services.
ICWS
Gerardo Canfora, Massimiliano Di Penta, Raffaele Esposito, Maria Luisa Villani
2005 J jnl
The C-Cube framework: developing autonomic applications through web services.
ACM SIGSOFT Softw. Eng. Notes
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
2005 J jnl
Using heuristic search for finding deadlocks in concurrent systems.
Inf. Comput.
Sara Gradara, Antonella Santone, Maria Luisa Villani
2004 J jnl
Managing coordination and cooperation in distributed software processes: the GENESIS environment.
Softw. Process. Improv. Pract.
Lerina Aversano, Andrea De Lucia, Matteo Gaeta, Pierluigi Ritrovato, Silvio Stefanucci, Maria Luisa Villani
2004 — conf
Model Checking Multithreaded Programs by Means of Reduced Models.
LDTA@ETAPS
Sara Gradara, Antonella Santone, Maria Luisa Villani, Gigliola Vaglini
2002 B conf
ContentP2P: A Peer-to-Peer Content Management System.
COMPSAC
Gerardo Canfora, Sandro Manzo, Vincenzo Fabio Rollo, Maria Luisa Villani
2002 B conf
FlowManager: A Workflow Management System Based on Petri Nets.
COMPSAC
Lerina Aversano, Aniello Cimitile, Pierpaolo Gallucci, Maria Luisa Villani