VNU-UET Repository

Items where Author is "Truong, Anh Hoang"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 17.

Article

Nguyen, Ngoc Khai and Truong, Anh Hoang and Dang, Duc Hanh (2021) Estimate the memory bounds required by shared variables in software transactional memory programs. VNU Journal of Science: Computer Science and Communication Engineering, 37 (2). pp. 1-19. ISSN 2588-1086

Chu, Minh Hue and Dang, Duc Hanh and Nguyen, Ngoc Binh and Truong, Anh Hoang (2019) USLTG: Test Case Automatic Generation by Transforming Use Cases. International journal of software engineering and knowledge engineering (IJSEKE), 29 (9). pp. 1313-1345. ISSN 0218-1940

Nguyen, Ngoc Khai and Truong, Anh Hoang (2018) HỆ THỐNG KIỂU ĐỂ TÍNH BỘ NHỚ LOG CỦA CHƯƠNG TRÌNH GIAO DỊCH TỪ BIẾN DÙNG CHUNG. Chuyên san Công nghệ thông tin và Truyền thông (JICT), 11 . ISSN 1859-0209

Truong, Anh Hoang and Nguyen, Ngoc Khai (2015) Hệ thống kiểu tính cận trên số log cho ngôn ngữ giao dịch đa luồng tối giản. Tạp chí khoa học .

Truong, Anh Hoang and Tran, Huy Vu and Nguyen, Bao Ngoc (2014) Symbolic round-off error between floating-point and fixed-point. VNU Journal of Science: Comp. Science & Com. Eng., 30 (3). pp. 12-21.

Dang, Duc Hanh and Truong, Anh Hoang and Gogolla, Martin (2010) Checking the Conformance between Models Based on Scenario Synchronization. Journal of Universal Computer Science, 16 (17). pp. 2293-2312. ISSN 0948-695x

Nguyen, Ngoc Khai and Truong, Anh Hoang and Dang, Duc Hanh Estimate the memory bounds required by shared variables in software transactional memory programs", ID 280. VNU Journal of Science: Computer Science and Communication Engineering . ISSN 2588-1086

Conference or Workshop Item

Nguyen, Trinh Dong and Truong, Anh Hoang (2017) A formal contract-based model for component-based real-time systems. In: 2017 4th NAFOSTED Conference on Information and Computer Science (NICS 2017), 24-25 November 2017, Hanoi, Vietnam.

Vu, Dieu Huong and Truong, Anh Hoang and Chiba, Yuki and Aoki, Toshiaki (2017) Automated testing reactive systems from Event-B model. In: 2017 4th National Foundation for Science and Technology Development Conference on Information and Computer Science, 24-25 November2017, Ha Noi, Viet Nam.

Nguyen, Ngoc Khai and Truong, Anh Hoang (2017) A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs. In: SoICT 2017: 8th International Symposium on Information and Communications, December 2017, Nha Trang.

Nguyen, The Huy and Nguyen, Duc Thinh and Nguyen, Nam Phong and Phung, Nguyen Ngoc and Truong, Anh Hoang (2016) Meboo-the health & medical services management application. In: SSC: the 2016 Student Scientific Contest, 29 April 2016, Hanoi.

Nguyen, Ngoc Khai and Truong, Anh Hoang and Dang, Van Hung (2016) A type system for calculating the maximum log memory used by transactional programs. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.

Truong, Anh Hoang and Nguyen, Ngoc Khai and Dang, Van Hung and Dang, Duc Hanh (2016) Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. In: 13th International Conference on Theoretical Aspects of Computing (ICTAC).

Dang, Duc Hanh and Truong, Anh Hoang and Dang, Van Hung (2016) On Model Finding with Constraint Patterns. In: Proc. 5th Int. Conf. on New Trends in Software Methodologies, Tools and Technique (SoMeT).

Truong, Anh Hoang and Dang, Van Hung and Dang, Duc Hanh and Vu, Xuan Tung (2016) A Type System for Counting Logs of Multi-threaded Nested Transactional Programs. In: 12th International Conference on Distributed Computing and Internet Technology (ICDCIT).

Truong, Anh Hoang and Nguyen, Ngoc Khai (2015) Hệ thống kiểu để tính biên tài nguyên của các chương trình giao dịch lồng nhau và đa luồng. In: Hội nghị nghiên cứu và ứng dụng Công nghệ thông tin 2015, 21-23 October 2015, Hanoi, Vietnam.

Dang, Duc Hanh and Truong, Anh Hoang and Gogolla, Martin (2010) On Scenario Synchronization. In: 8th International Conference on Automated Technology for Verification and Analysis (ATVA).

This list was generated on Thu Mar 28 23:07:01 2024 +07.