BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Japan
1 × Portugal
1 × South Korea
4 × USA
Collaborated with:
A.Bertolino G.D.Angelis F.Corradini H.Muccini R.Cognini B.Re F.D.Angelis F.Fornari B.R.0001 F.Tiezzi A.Vandin P.Zhang X.Li C.Bartolini E.Marchetti L.Frantzen F.Ricci S.Gnesi D.Falcioni A.Polzonetti
Talks about:
process (4) busi (4) servic (3) verif (3) model (3) tool (3) test (3) base (3) framework (2) monitor (2)

Person: Andrea Polini

DBLP DBLP: Polini:Andrea

Contributed to:

SAC 20142014
SAC 20132013
ASE 20112011
ICST 20102010
ICST 20092009
TestCom/FATES 20082008
CBSE 20072007
ICSE 20032003
ASE 20172017

Wrote 10 papers:

SAC-2014-CogniniCGPR #adaptation #challenge #process #research
Research challenges in business process adaptability (RC, FC, SG, AP, BR), pp. 1049–1054.
SAC-2013-CogniniFPPR #collaboration #modelling #named #process #verification
HawkEye: a tool for collaborative business process modelling and verification (RC, DF, AP, AP, BR), pp. 785–786.
ASE-2011-ZhangMPL #monitoring #predict #runtime
Run-time systems failure prediction via proactive monitoring (PZ, HM, AP, XL), pp. 484–487.
ICST-2010-AngelisPA #approach #testing
A Counter-Example Testing Approach for Orchestrated Services (FDA, AP, GDA), pp. 373–382.
ICST-2009-BartoliniBMP #named #testing #web #web service
WS-TAXI: A WSDL-based Testing Tool for Web Services (CB, AB, EM, AP), pp. 326–335.
TestCom-FATES-2008-BertolinoAFP #generative #modelling #web #web service
Model-Based Generation of Testbeds for Web Services (AB, GDA, LF, AP), pp. 266–282.
CBSE-2007-MucciniPRB #architecture #component #monitoring
Monitoring Architectural Properties in Dynamic Component-Based Systems (HM, AP, FR, AB), pp. 124–139.
ICSE-2003-BertolinoP #component #deployment #framework #testing
A Framework for Component Deployment Testing (AB, AP), pp. 221–231.
ASE-2017-CorradiniFP0TV #framework #modelling #named #process #verification
BProVe: a formal verification framework for business process models (FC, FF, AP, BR0, FT, AV), pp. 217–228.
ASE-2017-CorradiniFP0TV17a #named #process #tool support #verification
BProVe: tool support for business process verification (FC, FF, AP, BR0, FT, AV), pp. 937–942.

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.