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 × Canada
1 × Spain
1 × Taiwan
1 × USA
Collaborated with:
C.Percebois B.Coulette M.Strecker D.T.B.Thuy T.D.Thu M.H.Vu
Talks about:
process (4) transform (2) pattern (2) verif (2) model (2) level (2) graph (2) rule (2) framework (1) properti (1)

Person: Hanh Nhi Tran

DBLP DBLP: Tran:Hanh_Nhi

Contributed to:

SEFM 20132013
ICST 20122012
SAC 20112011
SEKE 20072007

Wrote 4 papers:

SEFM-2013-PerceboisST #graph transformation #invariant #transitive #verification
Rule-Level Verification of Graph Transformations for Invariants Based on Edges’ Transitive Closure (CP, MS, HNT), pp. 106–121.
ICST-2012-TranP #framework #graph transformation #towards #verification
Towards a Rule-Level Verification Framework for Property-Preserving Graph Transformations (HNT, CP), pp. 946–953.
SAC-2011-TranCTV #automation #modelling #process #reuse #using
Automatic reuse of process patterns in process modeling (HNT, BC, TDT, MHV), pp. 1431–1438.
SEKE-2007-TranCT #modelling #process #using
Broadening the Use of Process Patterns for Modeling Processes (HNT, BC, DTBT), pp. 57–62.

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.