Valerio Panzica La Manna
Valerio Panzica La Manna
Program Manager, imec
Bestätigte E-Mail-Adresse bei
Zitiert von
Zitiert von
Version-consistent dynamic reconfiguration of component-based distributed systems
X Ma, L Baresi, C Ghezzi, VP La Manna, J Lu
Proceedings of the 19th Symposium and the 13th European Conference on …, 2010
The ScenarioTools play-out of modal sequence diagram specifications with environment assumptions
J Greenyer, C Brenner, VP La Manna
Electronic Communications of the EASST 58, 2013
Formalizing correctness criteria of dynamic updates derived from specification changes
VP La Manna, J Greenyer, C Ghezzi, C Brenner
2013 8th International Symposium on Software Engineering for Adaptive and …, 2013
Synthesizing dynamically updating controllers from changes in scenario-based specifications
C Ghezzi, J Greenyer, VP La Manna
2012 7th International Symposium on Software Engineering for Adaptive and …, 2012
Graph-deep-learning-based inference of fine-grained air quality from mobile IoT sensors
TH Do, E Tsiligianni, X Qin, J Hofman, VP La Manna, W Philips, ...
IEEE Internet of Things Journal 7 (9), 8943-8955, 2020
Efficient Dynamic Updates of Distributed Components through Version Consistency
L Baresi, C Ghezzi, X Ma, VP La Manna
IEEE Transactions on Software Engineering, 2016
Matrix completion with variational graph autoencoders: Application in hyperlocal air quality inference
TH Do, DM Nguyen, E Tsiligianni, AL Aguirre, VP La Manna, F Pasveer, ...
ICASSP 2019-2019 IEEE International Conference on Acoustics, Speech and …, 2019
Dynamic software update for component-based distributed systems
V Panzica La Manna
Proceedings of the 16th international workshop on Component-oriented …, 2011
Distant calibration of low-cost PM and NO2 sensors; evidence from multiple sensor testbeds
J Hofman, M Nikolaou, SP Shantharam, C Stroobants, S Weijs, ...
Atmospheric Pollution Research 13 (1), 101246, 2022
Qos driven dynamic binding in-the-many
C Ghezzi, A Motta, V Panzica La Manna, G Tamburrelli
Research into Practice–Reality and Gaps: 6th International Conference on the …, 2010
Spatiotemporal air quality inference of low-cost sensor data: Evidence from multiple sensor testbeds
J Hofman, TH Do, X Qin, ER Bonet, W Philips, N Deligiannis, ...
Environmental Modelling & Software 149, 105306, 2022
Performance‐driven dynamic service selection
C Ghezzi, V Panzica La Manna, A Motta, G Tamburrelli
Concurrency and Computation: Practice and Experience 27 (3), 633-650, 2015
Local dynamic update for component-based distributed systems
V Panzica La Manna
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software …, 2012
Mapping air quality in IoT cities: Cloud calibration and air quality inference of sensor data
J Hofman, ME Nikolaou, TH Do, X Qin, E Rodrigo, W Philips, ...
2020 IEEE SENSORS, 1-4, 2020
Synthesizing tests for combinatorial coverage of modal scenario specifications
VP La Manna, I Segall, J Greenyer
2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015
Why do people use portable air purifiers? Evidence from occupant surveys and air quality monitoring in homes in three European cities
E Cooper, Y Wang, S Stamp, T Nijsen, P de Graaf, J Hofman, T Inki, ...
Building Research & Information 50 (1-2), 213-229, 2022
Poster on a simple pacemaker implementation
VP La Manna, AT Bonanno, A Motta
ACM, May, 163, 2009
Fine-grained urban air quality mapping from sparse mobile air pollution measurements and dense traffic density
X Qin, TH Do, J Hofman, ER Bonet, VP La Manna, N Deligiannis, ...
Remote Sensing 14 (11), 2613, 2022
Context-based analysis of urban air quality using an opportunistic mobile sensor network
X Qin, L Platisa, TH Do, E Tsiligianni, J Hofman, VPL Manna, ...
International Summit Smart City 360°, 285-300, 2019
Street-level air quality inference based on geographically context-aware random forest using opportunistic mobile sensor network
X Qin, TH Do, J Hofman, E Rodrigo, VLM Panzica, N Deligiannis, ...
Proceedings of the 2021 5th International Conference on Innovation in …, 2021
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20