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: Tran:Hanh_Nhi
Contributed to:
2013
2012
2011
2007Wrote 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.