Dang Van Hung

According to our database, Dang Van Hung authored at least 57 papers between 1988 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software.

Hoang-Viet Tran, Pham Ngoc Hung, Dang Van Hung

Proceedings of the 10th International Conference on Knowledge and Systems Engineering, 2018

2016

On Model Finding with Constraint Patterns.

Duc-Hanh Dang, Anh-Hoang Truong, Dang Van Hung

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016

Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs.

Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

A Type System for Counting Logs of Multi-threaded Nested Transactional Programs.

Anh-Hoang Truong, Dang Van Hung, Duc-Hanh Dang, Xuan-Tung Vu

Proceedings of the Distributed Computing and Internet Technology, 2016

2013

Guest editorial to the special section on SEFM 2009.

Padmanabhan Krishnan, Dang Van Hung, Antonio Cerone

Softw. Syst. Model., 2013

Modeling and Specification of Real-Time Interfaces with UTP.

Dang Van Hung, Hoang Truong

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

Towards Approximate Model Checking DC and PDC Specifications

Changil Choe, Dang Van Hung, Song Han

CoRR, 2012

Timed traces and their applications in specification and verification of distributed real-time systems.

Do Van Chieu, Dang Van Hung

Proceedings of the Symposium on Information and Communication Technology 2012, 2012

2011

Real-Time Relational Interface Behavior Modeling and Specification.

Nguyen Trinh Dong, Dang Van Hung, Anh-Hoang Truong

Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011

2008

Reasoning about QoS Contracts in the Probabilistic Duration Calculus.

Dimitar P. Guelev, Dang Van Hung

Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008

Checking Interface Interaction Protocols Using Aspect-Oriented Programming.

Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Verification of Linear Duration Invariants by Model Checking CTL Properties.

Miaomiao Zhang, Dang Van Hung, Zhiming Liu

Proceedings of the Theoretical Aspects of Computing, 2008

2007

On Verification of Linear Occurrence Properties of Real-Time Systems.

Choe Changil, Dang Van Hung

Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007

Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development.

Hung Ledang, Dang Van Hung

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Towards a Template Language for Component-based Programming.

Dang Van Hung, Pham Hong Thai

Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties.

Dang Van Hung, Miaomiao Zhang

Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007

Modelling with Relational Calculus of Object and Component Systems - rCOS.

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

Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007

Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus.

Dang Van Hung

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

A Theory of Duration Calculus with Application.

Michael R. Hansen, Dang Van Hung

Proceedings of the Domain Modeling and the Duration Calculus, 2007

2006

Formal Analysis of Streaming Downloading Protocol for System Upgrading.

Miaomiao Zhang, Dang Van Hung

Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006

Modeling Urgency in Component-Based Real-Time Systems.

Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa

Proceedings of the Advances in Computer Science, 2006

2005

On the completeness and decidability of duration calculus with iteration.

Dimitar P. Guelev, Dang Van Hung

Theor. Comput. Sci., 2005

Exploring optimal solution to hardware/software partitioning for synchronous model.

Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi

Formal Aspects Comput., 2005

Model Checking Real-Time Component Based Systems with Blackbox Testing.

Dang Van Hung, Bui Vu Anh

Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

A Summary of the Tutorials at ICTAC 2005.

Dang Van Hung

Proceedings of the Theoretical Aspects of Computing, 2005

Toward a formal model for component interfaces for real-time systems.

Dang Van Hung

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

2004

A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus.

Dimitar P. Guelev, Dang Van Hung

J. Appl. Non Class. Logics, 2004

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model.

Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Verifying Linear Duration Constraints of Timed Automata.

Pham Hong Thai, Dang Van Hung

Proceedings of the Theoretical Aspects of Computing, 2004

Modelling Real-time Database Systems in Duration Calculus.

Dang Van Hung, Ho Van Huong

Proceedings of the IASTED International Conference on Databases and Applications, 2004

2003

A Formal Model for Dynamic Channel Allocation as a Mutual Exclusion Concept in a Distributed Mobile Computing System.

Siba K. Udgata, Dang Van Hung

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

2002

Checking Temporal Duration Properties of Timed Automata.

Yong Li, Dang Van Hung

J. Comput. Sci. Technol., 2002

Prefix and Projection onto State in Duration Calculus.

Dimitar P. Guelev, Dang Van Hung

Proceedings of the Theory and Practice of Timed Systems, 2002

Real-Time Systems Development with Duration Calculi: An Overview.

Dang Van Hung

Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Specification and Verification of Spatial Data Types with B-Toolkit.

Kim Yong Chun, Dang Van Hung

Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001

A Case Study on Formal Design of Hybrid Control Systems.

Hong Ki Thae, Dang Van Hung

Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

Deriving Real-Time Programs from Duration Calculus Specifications.

François Siewe, Dang Van Hung

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

Checking Timed Automata for Linear Duration Properties.

Jianhua Zhao, Dang Van Hung

J. Comput. Sci. Technol., 2000

1999

Probabilistic Duration Calculus for Continuous Time.

Dang Van Hung, Zhou Chaochen

Formal Aspects Comput., 1999

Completeness and Decidability of a Fragment of Duration Calculus with Iteration.

Dang Van Hung, Dimitar P. Guelev

Proceedings of the Advances in Computing Science, 1999

A Formal Specification of the Concurrency Control in Real-Time Databases.

Ekaterina Pavlova, Dang Van Hung

Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999

1998

On Checking Timed Automata for Linear Duration Invariants.

Víctor A. Braberman, Dang Van Hung

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

Some Decidability Results for Duration Calculus under Synchronous Interpretation.

Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Duration Calculus of Weakly Monotonic Time.

Paritosh K. Pandya, Dang Van Hung

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

On Checking Parallel Real-Time Systems for Linear Duration Properties.

Jianhua Zhao, Dang Van Hung

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

Modeling and Verification of Biphase Mark Protocolsin Duration Calculus Using PVS.

Dang Van Hung

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Checking Hybrid Automata for Linear Duration Invariants.

Xuandong Li, Dang Van Hung, Tao Zheng

Proceedings of the Advances in Computing Science, 1997

1996

Sampling Semantics of Duration Calculus.

Dang Van Hung, Phan Hong Giang

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

On the Design of Hybrid Control Systems Using Automata Models.

Dang Van Hung, Ji Wang

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

Checking Linear Duration Invariants by Linear Programming.

Xuandong Li, Dang Van Hung

Proceedings of the Concurrency and Parallelism, 1996

Verification via Digitized Models of Real-Time Hybrid Systems.

Dang Van Hung, Ko Kwang Il

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1995

A Duration Calculus with Infinite Intervals.

Chaochen Zhou, Dang Van Hung, Xiaoshan Li

Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

Duration Calculus Specification of Schedulimg for Tasks with Shared Resources.

Philip Chan, Dang Van Hung

Proceedings of the Algorithms, 1995

1994

An algorithm for maintaining consistent view of processes in distributed systems.

Dang Van Hung

Proceedings of the International Symposium on Parallel Architectures, 1994

1993

On the Relation Between Firing Sequences and Processes of Petri Nets.

Dang Van Hung, Tran Van Dung

Proceedings of the Fundamentals of Computation Theory, 9th International Symposium, 1993

1989

Semi-Commutations and Petri Nets.

Dang Van Hung, Elöd Knuth

Theor. Comput. Sci., 1989

1988

A noninterleaving semantics for communicating sequential processes: a fixed-point approach.

Dang Van Hung, Elöd Knuth

Acta Cybern., 1988