Travelled to:1 × Australia
1 × Czech Republic
1 × Hungary
2 × Italy
Collaborated with:L.Baresi J.Greenyer S.Guinea ∅ C.Ghezzi I.Segall C.Brenner A.Motta G.Tamburrelli X.Ma J.Lü L.Goix J.Aliprandi D.Archetti
Talks about:dynam (3) base (3) distribut (2) scenario (2) environ (2) consist (2) system (2) specif (2) compon (2) modal (2)
Person: Valerio Panzica La Manna
DBLP: Manna:Valerio_Panzica_La
Contributed to:
2015
2015
2014
2013
2012
2011
2010Wrote 7 papers:
- ICSE-v2-2015-BaresiGGMAA #interactive #middleware #mobile #named #proximity #social
- SPF: A Middleware for Social Interaction in Mobile Proximity Environments (LB, LWG, SG, VPLM, JA, DA), pp. 79–88.
- MoDELS-2015-MannaSG #combinator #specification #testing
- Synthesizing tests for combinatorial coverage of modal scenario specifications (VPLM, IS, JG), pp. 126–135.
- WICSA-2014-BaresiGM #consistency #evolution #process #runtime
- Consistent Runtime Evolution of Service-Based Business Processes (LB, SG, VPLM), pp. 77–86.
- GT-VMT-2013-GreenyerBM #diagrams #sequence chart #specification
- The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions (JG, CB, VPLM).
- CBSE-2012-Manna #component #distributed
- Local dynamic update for component-based distributed systems (VPLM), pp. 167–176.
- ESEC-FSE-2011-MaBGML #component #configuration management #distributed
- Version-consistent dynamic reconfiguration of component-based distributed systems (XM, LB, CG, VPLM, JL), pp. 245–255.
- QoSA-2010-GhezziMMT
- QoS Driven Dynamic Binding in-the-many (CG, AM, VPLM, GT), pp. 68–83.