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 × Germany
1 × Italy
1 × USA
2 × Brazil
Collaborated with:
L.Baresi C.Ghezzi L.Pasquale C.Menghi L.S.Pinto G.Tamburrelli A.M.Sharifloo V.Rafe A.T.Rahmani A.Morzenti M.Pradella P.S.Pietro M.Chechik D.Pometto F.Blasi T.Redaelli
Talks about:
model (4) requir (3) driven (3) transform (2) system (2) verif (2) graph (2) check (2) adapt (2) physiotherapi (1)

Person: Paola Spoletini

DBLP DBLP: Spoletini:Paola

Contributed to:

ICSE 20132013
RE 20132013
REFSQ 20132013
RE 20102010
GT-VC 20072008
ICGT 20062006
FME 20032003
FASE 20182018

Wrote 8 papers:

ICSE-2013-GhezziPST #adaptation #modelling #non-functional #nondeterminism
Managing non-functional uncertainty via model-driven adaptivity (CG, LSP, PS, GT), pp. 33–42.
RE-2013-GhezziMSS #on the #requirements #verification
On requirements verification for model refinements (CG, CM, AMS, PS), pp. 62–71.
REFSQ-2013-PasqualeSPBR #experience #game studies #requirements
Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games (LP, PS, DP, FB, TR), pp. 315–330.
RE-2010-BaresiPS #adaptation #fuzzy
Fuzzy Goals for Requirements-Driven Adaptation (LB, LP, PS), pp. 125–134.
GT-VC-2007-BaresiRRS08 #graph transformation #model checking #performance
An Efficient Solution for Model Checking Graph Transformation Systems (LB, VR, ATR, PS), pp. 3–21.
ICGT-2006-BaresiS #alloy #graph transformation #on the #using
On the Use of Alloy to Analyze Graph Transformation Systems (LB, PS), pp. 306–320.
FME-2003-MorzentiPPS #model checking #specification
Model-Checking TRIO Specifications in SPIN (AM, MP, PSP, PS), pp. 542–561.
FASE-2018-MenghiSCG #component #design #distributed #incremental
Supporting Verification-Driven Incremental Distributed Design of Components (CM, PS, MC, CG), pp. 169–188.

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.