| 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 | 59 | 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 | 12 | 2012 |
| 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 | 12 | 2008 |
| 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 |
| 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 | 10 | 2010 |
| 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 | 9 | 2019 |
| 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 | 9 | 2015 |
| 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 | 6 | 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 | 6 | 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 | 4 | 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 | 4 | 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 | 4 | 2013 |
| 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 | 4 | 2010 |
| Counting instances of software components MA Bezem, AH Truong University of Bergen, Department of Informatics, 2004 | 4 | 2004 |
| 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 |
| Computing heap space cost of Java Card applets HT Pham, AH Truong, NT Truong | 3 | 2008 |
Duc-Hanh DangAssistant Professor of VNU University of Engineering and TechnologyVerified email at vnu.edu.vn
