Travelled to:
1 × China
1 × Cyprus
1 × France
1 × Germany
1 × Norway
2 × USA
Collaborated with:
N.A.Day J.M.Atlee R.Majumdar J.Fischer B.Fischer T.Wies D.Zufferey J.Niu
Talks about:
model (5) languag (4) step (4) big (4) semant (3) prescript (1) framework (1) synchron (1) interfac (1) criteria (1)
Person: Shahram Esmaeilsabzali
DBLP: Esmaeilsabzali:Shahram
Contributed to:
Wrote 7 papers:
- FASE-2014-EsmaeilsabzaliMWZ #interface
- Dynamic Package Interfaces (SE, RM, TW, DZ), pp. 261–275.
- PLDI-2012-FischerME #deployment #named
- Engage: a deployment management system (JF, RM, SE), pp. 263–274.
- FASE-2011-EsmaeilsabzaliD #modelling #quality #semantics
- Semantic Quality Attributes for Big-Step Modelling Languages (SE, NAD), pp. 65–80.
- GPCE-2011-EsmaeilsabzaliFA #aspect-oriented #automation #modelling #monitoring
- Monitoring aspects for the customization of automatically generated code for big-step models (SE, BF, JMA), pp. 117–126.
- FASE-2010-EsmaeilsabzaliD #modelling #semantics
- Prescriptive Semantics for Big-Step Modelling Languages (SE, NAD), pp. 158–172.
- MoDELS-v2-2010-EsmaeilsabzaliDA #framework #modelling #requirements
- A Common Framework for Synchronization in Requirements Modelling Languages (SE, NAD, JMA), pp. 198–212.
- RE-2009-EsmaeilsabzaliDAN #modelling #semantics
- Semantic Criteria for Choosing a Language for Big-Step Models (SE, NAD, JMA, JN), pp. 181–190.