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: Spoletini:Paola
Contributed to:
2013
2013
20132010
2008
2006
2003
2018Wrote 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.