Items where Author is "Dang, Van Hung"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 6. Conference or Workshop ItemTran, Hoang Viet and Pham, Ngoc Hung and Dang, Van Hung (2018) On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software. In: 2018 10th International Conference on Knowledge and Systems Engineering (KSE), 1-3 November 2018, Ho Chi Minh city, Vietnam. (In Press) Pham, Dinh Chinh and Miaomiao, Zhang and Dang, Van Hung (2016) On Model-Checking Probabilistic Timed Automata against Probabilistic Duration Properties. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 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). |
