Valerio Panzica La Manna
Valerio Panzica La Manna
Project Manager, imec, The Netherlands
Verified email at mit.edu
TitleCited byYear
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
692010
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
392013
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
272012
Formalizing correctness criteria of dynamic updates derived from specification changes
V Panzica La Manna, J Greenyer, C Ghezzi, C Brenner
Proceedings of the 8th International Symposium on Software Engineering for …, 2013
252013
Dynamic software update for component-based distributed systems
V Panzica La Manna
Proceedings of the 16th international workshop on Component-oriented …, 2011
202011
Qos driven dynamic binding in-the-many
C Ghezzi, A Motta, VP La Manna, G Tamburrelli
International Conference on the Quality of Software Architectures, 68-83, 2010
192010
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
142015
Efficient Dynamic Updates of Distributed Components through Version Consistency
L Baresi, C Ghezzi, X Ma, VP La Manna
IEEE Transactions on Software Engineering, 2016
112016
Local dynamic update for component-based distributed systems
V Panzica La Manna
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software …, 2012
112012
Poster on a simple pacemaker implementation
VP La Manna, AT Bonanno, A Motta
ACM, May, 163, 2009
92009
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
62015
Consistent runtime evolution of service-based business processes
L Baresi, S Guinea, VP La Manna
2014 IEEE/IFIP Conference on Software Architecture, 77-86, 2014
42014
Towards executing dynamically updating finite-state controllers on a robot system
VP La Manna, J Greenyer, D Clun, C Ghezzi
Proceedings of the Seventh International Workshop on Modeling in Software …, 2015
32015
SPF: a middleware for social interaction in mobile proximity environments
L Baresi, LW Goix, S Guinea, VP La Manna, J Aliprandi, D Archetti
Proceedings of the 37th International Conference on Software Engineering …, 2015
32015
Live objects: A system for infrastructure-less location-based services
A Miyamoto, VP La Manna, VM Bove
2016 IEEE International Conference on Pervasive Computing and Communication …, 2016
22016
Synthesizing safe dynamic updates from evolving specifications
J Greenyer, VP La Manna, C Brenner, C Ghezzi
Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di …, 2013
12013
Towards a framework for proximity-based hybrid mobile applications
VPL Manna, F Pasveer
Proceedings of the 5th International Conference on Mobile Software …, 2018
2018
Safe and Efficient Dynamic Updates of Distributed Software Systems
V PANZICA LA MANNA
Politecnico di Milano, Italy, 2014
2014
The system can't perform the operation now. Try again later.
Articles 1–18