| Toward service placement on fog computing landscape QT Minh, DT Nguyen, A Van Le, HD Nguyen, A Truong 2017 4th NAFOSTED conference on information and computer science, 291-296, 2017 | 63 | 2017 |
| FixBag: A Fixpoint Calculator for Quantified Bag Constraints TH Pham, MT Trinh, AH Truong, WN Chin Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011 | 17 | 2011 |
| A type system for finding upper resource bounds of multi-threaded programs with nested transactions XT Vu, MT Tran, AH Truong, M Steffen Proceedings of the 3rd Symposium on Information and Communication Technology …, 2012 | 13 | 2012 |
| USLTG: test case automatic generation by transforming use cases CTM Hue, DD Hanh, NN Binh, TA Hoang International Journal of Software Engineering and Knowledge Engineering 29 …, 2019 | 11 | 2019 |
| Checking the Conformance between Models Based on Scenario Synchronization. DH Dang, AH Truong, M Gogolla J. Univers. Comput. Sci. 16 (17), 2293-2312, 2010 | 11 | 2010 |
| A fast algorithm to compute heap memory bounds of Java Card applets TH Pham, AH Truong, NT Truong, WN Chin 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 11 | 2008 |
| A type system for counting logs of multi-threaded nested transactional programs AH Truong, D Van Hung, DH Dang, XT Vu International Conference on Distributed Computing and Internet Technology …, 2015 | 10 | 2015 |
| Verifying implementation of uml sequence diagrams using java pathfinder DP Nguyen, CT Luu, AH Truong, N Radics 2010 Second International Conference on Knowledge and Systems Engineering …, 2010 | 9 | 2010 |
| Checking interface interaction protocols using aspect-oriented programming AH Truong, TB Trinh, D Van Hung, VH Nguyen, NTT Trang, PD Hung 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 9 | 2008 |
| Checking protocol-conformance in component models using Aspect oriented programming TB Trinh, AH Truong, VH Nguyen Advances in Computer Science and Engineering, 150-155, 2009 | 8 | 2009 |
| Automated testing reactive systems from Event-B model DH Vu, AH Truong, Y Chiba, T Aoki 2017 4th NAFOSTED Conference on Information and Computer Science, 207-212, 2017 | 7 | 2017 |
| Calculating statically maximum log memory used by multi-threaded transactional programs AH Truong, NK Nguyen, D Van Hung, DH Dang International Colloquium on Theoretical Aspects of Computing, 82-99, 2016 | 7 | 2016 |
| An object-oriented approach to managing model complexity R Powers The University of Bergen, 2011 | 6 | 2011 |
| A compositional type systems for finding log memory bounds of transactional programs NK Nguyen, AH Truong Proceedings of the 8th International Symposium on Information and …, 2017 | 5 | 2017 |
| A type system for counting logs of a minimal language with multithreaded and nested transactions TA Hoang, NN Khai Journal of science of hnue, 2015 | 5 | 2015 |
| Modeling and specification of real-time interfaces with UTP H Dang Van, H Truong Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on …, 2013 | 5 | 2013 |
| Counting instances of software components MA Bezem, AH Truong University of Bergen, Department of Informatics, 2004 | 4 | 2004 |
| A type system for inferring the log memory of transactional program from shared variables NN Khai, TA Hoang Le Quy Don Technical University-Section on Information and Communication …, 2018 | 3 | 2018 |
| Test case generation for adequacy of floating-point to fixed-point conversion TH Pham, AH Truong, WN Chin, T Aoshima Electronic Notes in Theoretical Computer Science 266, 49-61, 2010 | 3 | 2010 |
| Extending CREST with multiple SMT solvers and real arithmetic TA Hoang, NN Binh 2010 Second International Conference on Knowledge and Systems Engineering …, 2010 | 3 | 2010 |
Duc-Hanh DangAssociate Professor of VNU University of Engineering and TechnologyVerified email at vnu.edu.vn
