BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Manna:Valerio_Panzica_La

Contributed to:

ICSE 20152015
MoDELS 20152015
WICSA 20142014
GT-VMT 20132013
CBSE 20122012
ESEC/FSE 20112011
QoSA 20102010

Wrote 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.
QoS Driven Dynamic Binding in-the-many (CG, AM, VPLM, GT), pp. 68–83.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.