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 × Cyprus
1 × Germany
1 × Italy
2 × Canada
2 × New Zealand
2 × USA
Collaborated with:
G.Karsai E.K.Jackson T.Levendovszky C.S.Pasareanu A.Narayanan M.R.Lowry S.Neema F.Shi R.Thibodeaux W.Schulte M.W.Whalen B.Ness
Talks about:
model (5) transform (4) statechart (3) metamodel (3) automat (3) analysi (3) formal (3) polyglot (2) multipl (2) reason (2)

Person: Daniel Balasubramanian

DBLP DBLP: Balasubramanian:Daniel

Contributed to:

TACAS 20132013
ICST 20122012
ISSTA 20112011
MoDELS 20112011
MODELS 20112015
FASE 20102010
ASE 20092009
MoDELS 20092009
SLE 20092009
AGTIVE 20072007
GT-VMT 20072007

Wrote 11 papers:

TACAS-2013-BalasubramanianPKL #analysis #multi #named #statechart
Polyglot: Systematic Analysis for Multiple Statechart Formalisms (DB, CSP, GK, MRL), pp. 523–529.
ICST-2012-PasareanuB #analysis #statechart
Statechart Analysis with Symbolic PathFinder (CSP, DB), p. 772.
ISSTA-2011-BalasubramanianPWKL #analysis #modelling #multi #named #statechart
Polyglot: modeling and analysis for multiple Statechart formalisms (DB, CSP, MWW, GK, MRL), pp. 45–55.
MoDELS-2011-JacksonLB #automation #metamodelling #proving #reasoning #specification
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs (EKJ, TL, DB), pp. 653–667.
MoDELS-J-2011-JacksonLB15 #automation #metamodelling #reasoning
Automatically reasoning about metamodeling (EKJ, TL, DB), pp. 271–285.
FASE-2010-JacksonSBK #model transformation #reuse
Reusing Model Transformations While Preserving Properties (EKJ, WS, DB, GK), pp. 44–58.
ASE-2009-BalasubramanianJ #semantics
Lost in Translation: Forgetful Semantic Anchoring (DB, EKJ), pp. 645–649.
MoDELS-2009-NarayananLBK #automation #domain model #evolution #metamodelling #migration
Automatic Domain Model Migration to Manage Metamodel Evolution (AN, TL, DB, GK), pp. 706–711.
SLE-2009-LevendovszkyBNK #approach #automation #domain-specific language #evolution #model transformation #novel
A Novel Approach to Semi-automated Evolution of DSML Model Transformation (TL, DB, AN, GK), pp. 23–41.
AGTIVE-2007-BalasubramanianNNNSTK #model transformation
Applying a Grouping Operator in Model Transformations (DB, AN, SN, BN, FS, RT, GK), pp. 410–425.
GT-VMT-2007-BalasubramanianNNSTK #graph transformation #model transformation #transformation language
A Subgraph Operator for Graph Transformation Languages (DB, AN, SN, FS, RT, GK).
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.