Valerio Panzica La Manna
Valerio Panzica La Manna
Program Manager, imec
Verified email at
Cited by
Cited by
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
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
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
Dynamic software update for component-based distributed systems
V Panzica La Manna
Proceedings of the 16th international workshop on Component-oriented …, 2011
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
Efficient Dynamic Updates of Distributed Components through Version Consistency
L Baresi, C Ghezzi, X Ma, VP La Manna
IEEE Transactions on Software Engineering, 2016
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
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
Poster on a simple pacemaker implementation
VP La Manna, AT Bonanno, A Motta
ACM, May, 163, 2009
Towards executing dynamically updating finite-state controllers on a robot system
VP La Manna, J Greenyer, D Clun, C Ghezzi
2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering …, 2015
SPF: a middleware for social interaction in mobile proximity environments
L Baresi, LW Goix, S Guinea, VP La Manna, J Aliprandi, D Archetti
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
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
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
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
Towards a framework for proximity-based hybrid mobile applications
VPL Manna, F Pasveer
Proceedings of the 5th International Conference on Mobile Software …, 2018
Safe and Efficient Dynamic Updates of Distributed Software Systems
Politecnico di Milano, Italy, 2014
The system can't perform the operation now. Try again later.
Articles 1–18