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 | 69 | 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 | 39 | 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 | 27 | 2012 |
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 | 25 | 2013 |
Dynamic software update for component-based distributed systems V Panzica La Manna Proceedings of the 16th international workshop on Component-oriented …, 2011 | 20 | 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 | 19 | 2010 |
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 | 14 | 2015 |
Efficient Dynamic Updates of Distributed Components through Version Consistency L Baresi, C Ghezzi, X Ma, VP La Manna IEEE Transactions on Software Engineering, 2016 | 11 | 2016 |
Local dynamic update for component-based distributed systems V Panzica La Manna Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software …, 2012 | 11 | 2012 |
Poster on a simple pacemaker implementation VP La Manna, AT Bonanno, A Motta ACM, May, 163, 2009 | 9 | 2009 |
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 | 6 | 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 | 4 | 2014 |
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 | 3 | 2015 |
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 | 3 | 2015 |
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 | 2 | 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 | 1 | 2013 |
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 |