Dang Van Hung - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

Reasoning about QoS Contracts in the Probabilistic Duration CalculusDimitar P. Guelev, Dang Van Hung. ENTCS, 238(6):41-62, 2010. [doi]

2009

Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009Dang Van Hung, Padmanabhan Krishnan, editors, IEEE Computer Society, 2009.

2008

2007

Modelling with Relational Calculus of Object and Component Systems - rCOSZhenbang Chen, Abdel Hakim 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. dagstuhl 2008: 116-145 [doi]

A Theory of Duration Calculus with ApplicationMichael R. Hansen, Dang Van Hung. ac 2007: 119-176 [doi]

On Verification of Probabilistic Timed Automata against Probabilistic Duration PropertiesDang Van Hung, Miaomiao Zhang. rtcsa 2007: 165-172 [doi]

Specifying Various Time Models with Temporal Propositional Variables in Duration CalculusDang Van Hung. birthday 2007: 170-187 [doi]

Towards a Template Language for Component-based ProgrammingDang Van Hung, Pham Hong Thai. serp 2007: 326-332

Timing and Concurrency Specification in Component-based Real-Time Embedded Systems DevelopmentHung Ledang, Dang Van Hung. tase 2007: 293-304 [doi]

2006

Modeling Urgency in Component-Based Real-Time SystemsNguyen Van Tang, Dang Van Hung, Mizuhito Ogawa. asian 2008: 248-255 [doi]

Formal Analysis of Streaming Downloading Protocol for System UpgradingMiaomiao Zhang, Dang Van Hung. ENTCS, 164(3):205-224, 2006. [doi]

2005

On the completeness and decidability of duration calculus with iterationDimitar P. Guelev, Dang Van Hung. TCS, 337(1-3):278-304, 2005. [doi]

Exploring optimal solution to hardware/software partitioning for synchronous modelJifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi. fac, 17(4):443-460, 2005. [doi]

Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, ProceedingsDang Van Hung, Martin Wirsing, editors, Volume 3722 of Lecture Notes in Computer Science, Springer, 2005.

A Summary of the Tutorials at ICTAC 2005Dang Van Hung. ictac 2005: 609-612 [doi]

Model Checking Real-Time Component Based Systems with Blackbox TestingDang Van Hung, Bui Vu Anh. rtcsa 2005: 76-79 [doi]

2004

2003

A Formal Model for Dynamic Channel Allocation as a Mutual Exclusion Concept in a Distributed Mobile Computing SystemSiba K. Udgata, Dang Van Hung. pdpta 2003: 1464-1468

2002

Checking Temporal Duration Properties of Timed AutomataYong Li 0005, Dang Van Hung. jcst, 17(6):689-698, 2002. [doi]

Specification and Verification of Spatial Data Types with B-ToolkitKim Yong Chun, Dang Van Hung. compsac 2002: 711-716 [doi]

Prefix and Projection onto State in Duration CalculusDimitar P. Guelev, Dang Van Hung. ENTCS, 65(6), 2002. [doi]

Real-Time Systems Development with Duration Calculi: An OverviewDang Van Hung. unu 2003: 81-96 [doi]

2001

Deriving Real-Time Programs from Duration Calculus SpecificationsFrançois Siewe, Dang Van Hung. charme 2001: 92-97 [doi]

A Case Study on Formal Design of Hybrid Control SystemsHong Ki Thae, Dang Van Hung. compsac 2001: 423-428 [doi]

2000

Checking Timed Automata for Linear Duration PropertiesJianhua Zhao, Dang Van Hung. jcst, 15(5):423-429, 2000. [doi]

1999

Probabilistic Duration Calculus for Continuous TimeDang Van Hung, Zhou Chaochen. fac, 11(1):21-44, 1999. [doi]

Completeness and Decidability of a Fragment of Duration Calculus with IterationDang Van Hung, Dimitar P. Guelev. asian 1999: 139-150 [doi]

A Formal Specification of the Concurrency Control in Real-Time DatabasesEkaterina Pavlova, Dang Van Hung. apsec 1999: 94-101 [doi]

1998

1997

Checking Hybrid Automata for Linear Duration InvariantsXuandong Li, Dang Van Hung, Tao Zheng. asian 1997: 166-180

1996

Verification via Digitized Models of Real-Time Hybrid SystemsDang Van Hung, Ko Kwang Il. apsec 1996: 4-15 [doi]

Sampling Semantics of Duration CalculusDang Van Hung, Phan Hong Giang. ftrtft 1996: 188-207

On the Design of Hybrid Control Systems Using Automata ModelsDang Van Hung, Wang Ji. fsttcs 1996: 156-167

Checking Linear Duration Invariants by Linear ProgrammingXuandong Li, Dang Van Hung. asian 1996: 321-332

1995

Duration Calculus Specification of Schedulimg for Tasks with Shared ResourcesPhilip Chan, Dang Van Hung. asian 1995: 365-380

A Duration Calculus with Infinite IntervalsChaochen Zhou, Dang Van Hung, Xiaoshan Li. fct 1995: 16-41

1993

On the Relation Between Firing Sequences and Processes of Petri NetsDang Van Hung, Tran Van Dung. fct 1993: 309-318

1989

Semi-Commutations and Petri NetsDang Van Hung, Elöd Knuth. TCS, 64(1):67-81, 1989.

1988

A nouinterleaving semantics for communicating sequential processes: a fixed-point approachDang Van Hung, Elöd Knuth. actaC, 8:293-314, 1988.