Duc-Hanh Dang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2007–2016
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ICDCIT | A Type System for Counting Logs of Multi-threaded Nested Transactional Programs. | Anh-Hoang Truong, Dang Van Hung, Duc-Hanh Dang, Xuan-Tung Vu |
| 2016 | ICTAC | Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. | Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang |
| 2016 | SoMeT | On Model Finding with Constraint Patterns. | Duc-Hanh Dang, Anh-Hoang Truong, Dang Van Hung |
| 2013 | APSEC | Automating Inference of OCL Business Rules from User Scenarios. | Duc-Hanh Dang, Jordi Cabot |
| 2010 | ATVA | On Scenario Synchronization. | Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla |
| 2009 | SEFM | Precise Model-Driven Transformations Based on Graphs and Metamodels. | Duc-Hanh Dang, Martin Gogolla |
| 2008 | MODELS | On Integrating OCL and Triple Graph Grammars. | Duc-Hanh Dang, Martin Gogolla |
| 2007 | MODELS | Validation of System Behavior from an Integrated Semantics of Use Case and Design Models. | Duc-Hanh Dang |