Dang Van Hung

Publication Activity (10 Years)

Years Active: 1988-2018
Publications (10 Years): 4

Top Topics

Verification Method

Top Venues

Theories of Programming and Formal Methods

Publications

Hoang-Viet Tran, Pham Ngoc Hung, Dang Van Hung
On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software. KSE (2018)
Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang
Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. ICTAC (2016)
Anh-Hoang Truong, Dang Van Hung, Duc-Hanh Dang, Xuan-Tung Vu
A Type System for Counting Logs of Multi-threaded Nested Transactional Programs. ICDCIT (2016)
Duc-Hanh Dang, Anh-Hoang Truong, Dang Van Hung
On Model Finding with Constraint Patterns. SoMeT (2016)
Dang Van Hung, Hoang Truong
Modeling and Specification of Real-Time Interfaces with UTP. Theories of Programming and Formal Methods (2013)
Padmanabhan Krishnan, Dang Van Hung, Antonio Cerone
Guest editorial to the special section on SEFM 2009. Softw. Syst. Model. 12 (2) (2013)
Do Van Chieu, Dang Van Hung
Timed traces and their applications in specification and verification of distributed real-time systems. SoICT (2012)
Changil Choe, Dang Van Hung, Song Han
Towards Approximate Model Checking DC and PDC Specifications CoRR (2012)
Nguyen Trinh Dong, Dang Van Hung, Anh-Hoang Truong
Real-Time Relational Interface Behavior Modeling and Specification. KSE (2011)
Dimitar P. Guelev, Dang Van Hung
Reasoning about QoS Contracts in the Probabilistic Duration Calculus. Electron. Notes Theor. Comput. Sci. 238 (6) (2010)
Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung
Checking Interface Interaction Protocols Using Aspect-Oriented Programming. SEFM (2008)
Miaomiao Zhang, Dang Van Hung, Zhiming Liu
Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC (2008)
Choe Changil, Dang Van Hung
On Verification of Linear Occurrence Properties of Real-Time Systems. Electron. Notes Theor. Comput. Sci. 207 (2008)
Dang Van Hung, Pham Hong Thai
Towards a Template Language for Component-based Programming. Software Engineering Research and Practice (2007)
Michael R. Hansen, Dang Van Hung
A Theory of Duration Calculus with Application. Domain Modeling and the Duration Calculus (2007)
Zhenbang Chen, Abdelhakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan
Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME (2007)
Hung Ledang, Dang Van Hung
Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. TASE (2007)
Dang Van Hung, Miaomiao Zhang
On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties. RTCSA (2007)
Dang Van Hung
Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus. Formal Methods and Hybrid Real-Time Systems (2007)
Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
Modeling Urgency in Component-Based Real-Time Systems. ASIAN (2006)
Miaomiao Zhang, Dang Van Hung
Formal Analysis of Streaming Downloading Protocol for System Upgrading. Electron. Notes Theor. Comput. Sci. 164 (3) (2006)
Dang Van Hung
A Summary of the Tutorials at ICTAC 2005. ICTAC (2005)
Dimitar P. Guelev, Dang Van Hung
On the completeness and decidability of duration calculus with iteration. Theor. Comput. Sci. 337 (1-3) (2005)
Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi
Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Aspects Comput. 17 (4) (2005)
Dang Van Hung
Toward a formal model for component interfaces for real-time systems. FMICS (2005)
Dang Van Hung, Bui Vu Anh
Model Checking Real-Time Component Based Systems with Blackbox Testing. RTCSA (2005)
Dimitar P. Guelev, Dang Van Hung
A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus. J. Appl. Non Class. Logics 14 (1-2) (2004)
Dang Van Hung, Ho Van Huong
Modelling Real-time Database Systems in Duration Calculus. Databases and Applications (2004)
Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM (2004)
Pham Hong Thai, Dang Van Hung
Verifying Linear Duration Constraints of Timed Automata. ICTAC (2004)
Siba K. Udgata, Dang Van Hung
A Formal Model for Dynamic Channel Allocation as a Mutual Exclusion Concept in a Distributed Mobile Computing System. PDPTA (2003)
Dang Van Hung
Real-Time Systems Development with Duration Calculi: An Overview. 10th Anniversary Colloquium of UNU/IIST (2002)
Yong Li, Dang Van Hung
Checking Temporal Duration Properties of Timed Automata. J. Comput. Sci. Technol. 17 (6) (2002)
Kim Yong Chun, Dang Van Hung
Specification and Verification of Spatial Data Types with B-Toolkit. COMPSAC (2002)
Dimitar P. Guelev, Dang Van Hung
Prefix and Projection onto State in Duration Calculus. Electron. Notes Theor. Comput. Sci. 65 (6) (2002)
Hong Ki Thae, Dang Van Hung
A Case Study on Formal Design of Hybrid Control Systems. COMPSAC (2001)
François Siewe, Dang Van Hung
Deriving Real-Time Programs from Duration Calculus Specifications. CHARME (2001)
Jianhua Zhao, Dang Van Hung
Checking Timed Automata for Linear Duration Properties. J. Comput. Sci. Technol. 15 (5) (2000)
Dang Van Hung, Dimitar P. Guelev
Completeness and Decidability of a Fragment of Duration Calculus with Iteration. ASIAN (1999)
Dang Van Hung, Zhou Chaochen
Probabilistic Duration Calculus for Continuous Time. Formal Aspects Comput. 11 (1) (1999)
Ekaterina Pavlova, Dang Van Hung
A Formal Specification of the Concurrency Control in Real-Time Databases. APSEC (1999)
Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya
Some Decidability Results for Duration Calculus under Synchronous Interpretation. FTRTFT (1998)
Jianhua Zhao, Dang Van Hung
On Checking Parallel Real-Time Systems for Linear Duration Properties. FTRTFT (1998)
Paritosh K. Pandya, Dang Van Hung
Duration Calculus of Weakly Monotonic Time. FTRTFT (1998)
Dang Van Hung
Modeling and Verification of Biphase Mark Protocolsin Duration Calculus Using PVS. ACSD (1998)
Víctor A. Braberman, Dang Van Hung
On Checking Timed Automata for Linear Duration Invariants. RTSS (1998)
Xuandong Li, Dang Van Hung, Tao Zheng
Checking Hybrid Automata for Linear Duration Invariants. ASIAN (1997)
Dang Van Hung, Ji Wang
On the Design of Hybrid Control Systems Using Automata Models. FSTTCS (1996)
Dang Van Hung, Phan Hong Giang
Sampling Semantics of Duration Calculus. FTRTFT (1996)
Xuandong Li, Dang Van Hung
Checking Linear Duration Invariants by Linear Programming. ASIAN (1996)
Dang Van Hung, Ko Kwang Il
Verification via Digitized Models of Real-Time Hybrid Systems. APSEC (1996)
Chaochen Zhou, Dang Van Hung, Xiaoshan Li
A Duration Calculus with Infinite Intervals. FCT (1995)
Philip Chan, Dang Van Hung
Duration Calculus Specification of Schedulimg for Tasks with Shared Resources. ASIAN (1995)
Dang Van Hung
An algorithm for maintaining consistent view of processes in distributed systems. ISPAN (1994)
Dang Van Hung, Tran Van Dung
On the Relation Between Firing Sequences and Processes of Petri Nets. FCT (1993)
Dang Van Hung, Elöd Knuth
Semi-Commutations and Petri Nets. Theor. Comput. Sci. 64 (1) (1989)
Dang Van Hung, Elöd Knuth
A noninterleaving semantics for communicating sequential processes: a fixed-point approach. Acta Cybern. 8 (3) (1988)