Hoang Truong
Cited by
Cited by
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
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
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
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
Checking the Conformance between Models Based on Scenario Synchronization.
DH Dang, AH Truong, M Gogolla
J. Univers. Comput. Sci. 16 (17), 2293-2312, 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
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
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
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
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
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
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
An Object-Oriented approach to managing model complexity
R Powers
The University of Bergen, 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
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
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
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
Counting instances of software components
MA Bezem, AH Truong
University of Bergen, Department of Informatics, 2004
Extending CREST with multiple SMT solvers and real arithmetic
TA Hoang, NN Binh
2010 Second International Conference on Knowledge and Systems Engineering …, 2010
Computing heap space cost of Java Card applets
HT Pham, AH Truong, NT Truong
The system can't perform the operation now. Try again later.
Articles 1–20