Maria Luisa Villani

Orcid: 0000-0002-7582-806X

According to our database1, Maria Luisa Villani authored at least 45 papers between 2002 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Assessment of Population Health Risks Due to Heat Islands Using Thermal Satellite Images (The Case of Valencia).
Proceedings of the IGARSS 2024, 2024

2023
Development and measurement of a resilience indicator for cyber-socio-technical systems: The allostatic load.
J. Ind. Inf. Integr., October, 2023

An Integrated Fusion Engine for Early Threat Detection Demonstrated in Public-Space Trials.
Sensors, 2023

A Modular Architecture of Command-and-Control Software in Multi-Sensor Systems Devoted to Public Security.
Inf., 2023

Co-Creating GIS-Based Dashboards to Democratize Knowledge on Urban Resilience Strategies: Experience with Camerino Municipality.
ISPRS Int. J. Geo Inf., 2023

2021
Knowledge Fusion for Distributed Situational Awareness driven by the WAx Conceptual Framework.
Proceedings of the 18th International Conference on Information Systems for Crisis Response and Management, 2021

2020
Drivers of Knowledge Conversion in Socio-Technical Systems.
Proceedings of the 6th International Workshop on Socio-Technical Perspective in IS Development (STPIS 2020), 2020

Towards a Framework for Definition of Enterprise Safety Indicators.
Proceedings of Interoperability for Enterprise Systems and Applications Workshops co-located with 10th International Conference on Interoperability for Enterprise Systems and Applications (I-ESA 2020), 2020

2019
Creative design of emergency management scenarios driven by semantics: An application to smart cities.
Inf. Syst., 2019

An Automatic Approach to Qualitative Risk Assessment in Metropolitan Areas.
Proceedings of the 16th International Conference on Information Systems for Crisis Response and Management, 2019

2018
Gamified Software to Support the Design of Business Innovation.
Inf., 2018

Semantic Modeling of Cascading Risks in Interoperable Socio-technical Systems.
Proceedings of the Enterprise Interoperability VIII: Smart Services and Business Impact of Enterprise Interoperability, 2018

M-CREAM: A Tool for Creative Modelling of Emergency Scenarios in Smart Cities.
Proceedings of the Semantic Web: ESWC 2018 Satellite Events, 2018

2017
A Flexible Architecture for Cognitive Sensing of Activities in Ambient Assisted Living.
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Enhancing Creativity in Risk Assessment of Complex Sociotechnical Systems.
Proceedings of the Computational Science and Its Applications - ICCSA 2017, 2017

A Gamified Approach to Participatory Modelling of Water System Risks.
Proceedings of the Critical Information Infrastructures Security, 2017

2016
A methodology for modeling and measuring interdependencies of information and communications systems used for public administration and eGovernment services.
Int. J. Crit. Infrastructure Prot., 2016

Towards Temporal Analysis of Integrated Scenarios for Sustainable Innovation.
Proceedings of the Computational Science and Its Applications - ICCSA 2016, 2016

TEMPORANA: Flexible Temporal Query Processing for Supporting System Behavior Detection across Complex Scenarios.
Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015
Semantics-based services for a low carbon society: An application on emissions trading system data and scenarios management.
Environ. Model. Softw., 2015

2014
A Semantics-Based Approach to Generation of Emergency Management Scenario Models.
Proceedings of the Enterprise Interoperability VI: Interoperability for Agility, 2014

A Lateral Thinking Framework for Semantic Modelling of Emergencies in Smart Cities.
Proceedings of the Database and Expert Systems Applications, 2014

2013
Incremental construction of systems: An efficient characterization of the lacking sub-system.
Sci. Comput. Program., 2013

Towards ontological foundations of knowledge related to the emissions trading system.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

Semantic Modeling of the Emissions Trading System.
Proceedings of the 24th International Workshop on Database and Expert Systems Applications, 2013

2012
A Rule-based Approach for Modelling Behaviour in Crisis and Emergency Scenarios.
Proceedings of the Enterprise Interoperability V, 2012

2011
Ant Colony Optimization for Deadlock Detection in Concurrent Systems.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2009
A Formula Driven Incremental Construction of Web Service Compositions.
Proceedings of the ICSOFT 2009, 2009

Dynamic composition of web applications in human-centered processes.
Proceedings of the International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2009

Abstracting Models from Execution Traces for Performing Formal Verification.
Proceedings of the Advances in Software Engineering, 2009

2008
Modular formal verification of specifications of concurrent systems.
Softw. Test. Verification Reliab., 2008

A framework for QoS-aware binding and re-binding of composite web services.
J. Syst. Softw., 2008

2007
Discovery of SOA patterns via model checking.
Proceedings of the 2nd International Workshop on Service Oriented Software Engineering: in conjunction with the 6th ESEC/FSE joint meeting, 2007

Negotiation of Service Level Agreements: An Architecture and a Search-Based Approach.
Proceedings of the Service-Oriented Computing, 2007

2006
DELFIN<sup>+</sup>: An efficient deadlock detection tool for CCS processes.
J. Comput. Syst. Sci., 2006

Formal Verification of Concurrent Systems via Directed Model Checking.
Proceedings of the 6th International Workshop on Automated Verification of Critical Systems, 2006

Service Composition (re)Binding Driven by Application-Specific QoS.
Proceedings of the Service-Oriented Computing, 2006

2005
The C-Cube framework: developing autonomic applications through web services.
ACM SIGSOFT Softw. Eng. Notes, 2005

Using heuristic search for finding deadlocks in concurrent systems.
Inf. Comput., 2005

QoS-Aware Replanning of Composite Web Services.
Proceedings of the 2005 IEEE International Conference on Web Services (ICWS 2005), 2005

An approach for QoS-aware service composition based on genetic algorithms.
Proceedings of the Genetic and Evolutionary Computation Conference, 2005

2004
Managing coordination and cooperation in distributed software processes: the GENESIS environment.
Softw. Process. Improv. Pract., 2004

Model Checking Multithreaded Programs by Means of Reduced Models.
Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications, 2004

2002
ContentP2P: A Peer-to-Peer Content Management System.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

FlowManager: A Workflow Management System Based on Petri Nets.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002


  Loading...