Search Results - "Manna, Valerio Panzica La"

Efficient Dynamic Updates of Distributed Components Through Version Consistency by Baresi, Luciano, Ghezzi, Carlo, Xiaoxing Ma, Panzica La Manna, Valerio

“…Modern component-based distributed software systems are increasingly required to offer non-stop service and thus their updates must be carried out at runtime…”
Get full text

Explaining Graph Neural Networks With Topology-Aware Node Selection: Application in Air Quality Inference by Bonet, Esther Rodrigo, Do, Tien Huu, Qin, Xuening, Hofman, Jelle, Manna, Valerio Panzica La, Philips, Wilfried, Deligiannis, Nikos

“…Graph neural networks (GNNs) have proven their ability in modelling graph-structured data in diverse domains, including natural language processing and…”
Get full text

Graph-Deep-Learning-Based Inference of Fine-Grained Air Quality From Mobile IoT Sensors by Do, Tien Huu, Tsiligianni, Evaggelia, Qin, Xuening, Hofman, Jelle, La Manna, Valerio Panzica, Philips, Wilfried, Deligiannis, Nikos

“…Internet-of-Things (IoT) technologies incorporate a large number of different sensing devices and communication technologies to collect a large amount of data…”
Get full text

Fine-Grained Urban Air Quality Mapping from Sparse Mobile Air Pollution Measurements and Dense Traffic Density by Qin, Xuening, Do, Tien Huu, Hofman, Jelle, Bonet, Esther Rodrigo, La Manna, Valerio Panzica, Deligiannis, Nikos, Philips, Wilfried

“…Urban air quality mapping has been widely applied in urban planning, air pollution control and personal air pollution exposure assessment. Urban air quality…”
Get full text

The Air Quality Paradigm inside Car Microenvironments; Balancing between PM2.5 and CO2 Offsets by Hofman, Jelle, Manna, Valerio Panzica-La

“…In confined spaces, such as vehicle cabins, air quality can easily improve or deteriorate as it can be considered as a semi-controlled environment. By…”
Get full text

Why do people use portable air purifiers? Evidence from occupant surveys and air quality monitoring in homes in three European cities by Cooper, Elizabeth, Wang, Yan, Stamp, Samuel, Nijsen, Tamara, de Graaf, Pascal, Hofman, Jelle, Inki, Tiina, Driessen, Rufus, Liebmann, Joerg, Geven, Inge T. M., Vervoort, Koen, La Manna, Valerio Panzica, Valster, Sanne, de Wolf, Pauline, Peltonen, Silja, Burman, Esfandiar, Salminen, Aki, van Galen, Roger, Mumovic, Dejan

“…One of the most widely available technologies to clean the air in homes of particulate matter of less than 2.5 µm in diameter (PM 2.5 ), known to have negative…”
Get full text

Towards a framework for proximity-based hybrid mobile applications by Manna, Valerio Panzica La, Pasveer, Frank

“…Despite the increasing availability of IoT devices and technology, the current user interaction requires users to download dedicated ad-hoc mobile apps, each…”
Get full text

Performance-driven dynamic service selection by Ghezzi, Carlo, Panzica La Manna, Valerio, Motta, Alfredo, Tamburrelli, Giordano

“…SummaryModern software systems are increasingly built by integrating different services implemented by independent organizations and offered in an open service…”
Get full text

Matrix Completion with Variational Graph Autoencoders: Application in Hyperlocal Air Quality Inference by Do, Tien Huu, Minh Nguyen, Duc, Tsiligianni, Evaggelia, Aguirre, Angel Lopez, Panzica La Manna, Valerio, Pasveer, Frank, Philips, Wilfried, Deligiannis, Nikos

“…Inferring air quality from a limited number of observations is an essential task for monitoring and controlling air pollution. Existing inference methods…”
Get full text

SPF: A Middleware for Social Interaction in Mobile Proximity Environments by Baresi, Luciano, Goix, Laurent-Walter, Guinea, Sam, Panzica La Manna, Valerio, Aliprandi, Jacopo, Archetti, Dario

“…Smart interconnected devices are changing our lives and are turning conventional spaces into smart ones. Physical proximity, a key enabler of social…”
Get full text

Spatiotemporal air quality inference of low-cost sensor data: Evidence from multiple sensor testbeds by Hofman, Jelle, Do, Tien Huu, Qin, Xuening, Bonet, Esther Rodrigo, Philips, Wilfried, Deligiannis, Nikos, La Manna, Valerio Panzica

“…Recent advances in sensor and IoT technologies allow for denser and mobile air quality measurements. These measurements are still spatiotemporally sparse at…”
Get full text

Distant calibration of low-cost PM and NO2 sensors; evidence from multiple sensor testbeds by Hofman, Jelle, Nikolaou, Mania, Shantharam, Sharada Prasad, Stroobants, Christophe, Weijs, Sander, La Manna, Valerio Panzica

“…Air quality improved significantly over the past decades. Nevertheless, air pollution continuous to have significant health impacts worldwide. To better assess…”
Get full text

Formalizing correctness criteria of dynamic updates derived from specification changes by Panzica La Manna, Valerio, Greenyer, Joel, Ghezzi, Carlo, Brenner, Christian

“…Modern software-intensive systems often have to be updated to adapt to unpredicted changes in their environments or to satisfy unpredicted requirement changes…”
Get full text

Live objects: A system for infrastructure-less location-based services by Miyamoto, Arata, La Manna, Valerio Panzica, Bove, V. Michael

“…Location-based services are rapidly changing the way users explore and interact with the surrounding environment. They typically associate location…”
Get full text

Consistent Runtime Evolution of Service-Based Business Processes by Baresi, Luciano, Guinea, Sam, La Manna, Valerio Panzica

“…Service-based business processes must evolve to remain aligned with their goals, with zero downtime to guarantee business continuity. A new version of a…”
Get full text

Opportunistic mobile air quality mapping using sensors on postal service vehicles: from point clouds to actionable insights by Hofman, Jelle, Panzica La Manna, Valerio, Ibarrola-Ulzurrun, Edurne, Peters, Jan, Escribano Hierro, Miguel, Van Poppel, Martine

“…This study aimed to examine the validity of a mobile air quality sensor fleet in improving pollution exposure assessments in urban areas. The scope of this…”
Get full text

Synthesizing dynamically updating controllers from changes in scenario-based specifications by Ghezzi, C., Greenyer, J., Manna, V. P. L.

“…Many software-intensive systems are expected to run continuously while their environments change and their requirements evolve, so their implementation must be…”
Get full text

Mapping Air Quality in IoT Cities: Cloud Calibration and Air Quality Inference of Sensor Data by Hofman, Jelle, Nikolaou, Martha E., Huu Do, Tien, Qin, Xuening, Rodrigo, Esther, Philips, Wilfried, Deligiannis, Nikos, La Manna, Valerio Panzica

“…Monitoring air quality in cities is challenging as a high resolution in both space and time is required to accurately assess population exposure. This paper…”
Get full text

Conditional Variational Graph Autoencoder for Air Quality Forecasting by Bonet, Esther Rodrigo, Do, Tien Huu, Qin, Xuening, Hofman, Jelle, La Manna, Valerio Panzica, Philips, Wilfried, Deligiannis, Nikos

“…To control air pollution and mitigate its negative effect on health, it is of the utmost importance to have accurate real-time forecasting models. Existing…”
Get full text

Synthesizing tests for combinatorial coverage of modal scenario specifications by Panzica La Manna, Valerio, Segall, Itai, Greenyer, Joel

“…Software-intensive systems often consist of many components that interact to fulfill complex functionality. Testing these systems is vital, preferably by a…”
Get full text