default search action
Dang Van Hung
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [e7]Dang Van Hung, Oleg Sokolsky:
Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings. Lecture Notes in Computer Science 12302, Springer 2020, ISBN 978-3-030-59151-9 [contents] - [e6]Dang Van Hung, Meenakshi D'Souza:
Distributed Computing and Internet Technology - 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings. Lecture Notes in Computer Science 11969, Springer 2020, ISBN 978-3-030-36986-6 [contents]
2010 – 2019
- 2018
- [c47]Hoang-Viet Tran, Pham Ngoc Hung, Dang Van Hung:
On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software. KSE 2018: 270-275 - 2017
- [e5]Dang Van Hung, Deepak Kapur:
Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings. Lecture Notes in Computer Science 10580, Springer 2017, ISBN 978-3-319-67728-6 [contents] - 2016
- [c46]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: 157-168 - [c45]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: 82-99 - [c44]Duc-Hanh Dang, Anh-Hoang Truong, Dang Van Hung:
On Model Finding with Constraint Patterns. SoMeT 2016: 279-290 - 2013
- [j9]Padmanabhan Krishnan, Dang Van Hung, Antonio Cerone:
Guest editorial to the special section on SEFM 2009. Softw. Syst. Model. 12(2): 227-228 (2013) - [c43]Dang Van Hung, Hoang Truong:
Modeling and Specification of Real-Time Interfaces with UTP. Theories of Programming and Formal Methods 2013: 136-150 - [e4]Dang Van Hung, Mizuhito Ogawa:
Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings. Lecture Notes in Computer Science 8172, Springer 2013, ISBN 978-3-319-02443-1 [contents] - 2012
- [c42]Do Van Chieu, Dang Van Hung:
Timed traces and their applications in specification and verification of distributed real-time systems. SoICT 2012: 31-40 - [e3]Dang Van Hung, Hung Trung Vo, Jeff Sanders, Lam Thu Bui, Son Bao Pham:
Fourth International Conference on Knowledge and Systems Engineering, KSE 2012, Danang, Vietnam, August 17-19, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-2171-6 [contents] - [i1]Changil Choe, Dang Van Hung, Song Han:
Towards Approximate Model Checking DC and PDC Specifications. CoRR abs/1212.3838 (2012) - 2011
- [c41]Trinh-Dong Nguyen, Dang Van Hung, Anh-Hoang Truong:
Real-Time Relational Interface Behavior Modeling and Specification. KSE 2011: 112-119
2000 – 2009
- 2009
- [e2]Dang Van Hung, Padmanabhan Krishnan:
Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3870-9 [contents] - 2008
- [c40]Miaomiao Zhang, Dang Van Hung, Zhiming Liu:
Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC 2008: 395-409 - [c39]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: 382-386 - [c38]Dimitar P. Guelev, Dang Van Hung:
Reasoning about QoS Contracts in the Probabilistic Duration Calculus. FESCA@ETAPS 2008: 41-62 - 2007
- [c37]Michael R. Hansen, Dang Van Hung:
A Theory of Duration Calculus with Application. Domain Modeling and the Duration Calculus 2007: 119-176 - [c36]Dang Van Hung:
Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus. Formal Methods and Hybrid Real-Time Systems 2007: 170-187 - [c35]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: 116-145 - [c34]Dang Van Hung, Miaomiao Zhang:
On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties. RTCSA 2007: 165-172 - [c33]Dang Van Hung, Pham Hong Thai:
Towards a Template Language for Component-based Programming. Software Engineering Research and Practice 2007: 326-332 - [c32]Hung Ledang, Dang Van Hung:
Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. TASE 2007: 293-304 - [c31]Choe Changil, Dang Van Hung:
On Verification of Linear Occurrence Properties of Real-Time Systems. TTSS 2007: 107-120 - 2006
- [c30]Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa:
Modeling Urgency in Component-Based Real-Time Systems. ASIAN 2006: 248-255 - [c29]Miaomiao Zhang, Dang Van Hung:
Formal Analysis of Streaming Downloading Protocol for System Upgrading. QAPL 2006: 205-224 - 2005
- [j8]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): 443-460 (2005) - [j7]Dimitar P. Guelev, Dang Van Hung:
On the completeness and decidability of duration calculus with iteration. Theor. Comput. Sci. 337(1-3): 278-304 (2005) - [c28]Dang Van Hung:
Toward a formal model for component interfaces for real-time systems. FMICS 2005: 106-114 - [c27]Dang Van Hung:
A Summary of the Tutorials at ICTAC 2005. ICTAC 2005: 609-612 - [c26]Dang Van Hung, Bui Vu Anh:
Model Checking Real-Time Component Based Systems with Blackbox Testing. RTCSA 2005: 76-79 - [e1]Dang Van Hung, Martin Wirsing:
Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings. Lecture Notes in Computer Science 3722, Springer 2005, ISBN 3-540-29107-5 [contents] - 2004
- [j6]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): 149-180 (2004) - [c25]Dang Van Hung, Ho Van Huong:
Modelling Real-time Database Systems in Duration Calculus. Databases and Applications 2004: 37-42 - [c24]Pham Hong Thai, Dang Van Hung:
Verifying Linear Duration Constraints of Timed Automata. ICTAC 2004: 295-309 - [c23]Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi:
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM 2004: 363-381 - 2003
- [c22]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: 1464-1468 - 2002
- [j5]Yong Li, Dang Van Hung:
Checking Temporal Duration Properties of Timed Automata. J. Comput. Sci. Technol. 17(6): 689-698 (2002) - [c21]Kim Yong Chun, Dang Van Hung:
Specification and Verification of Spatial Data Types with B-Toolkit. COMPSAC 2002: 711-716 - [c20]Dang Van Hung:
Real-Time Systems Development with Duration Calculi: An Overview. 10th Anniversary Colloquium of UNU/IIST 2002: 81-96 - [c19]Dimitar P. Guelev, Dang Van Hung:
Prefix and Projection onto State in Duration Calculus. Theory and Practice of Timed Systems @ ETAPS 2002: 101-119 - 2001
- [c18]François Siewe, Dang Van Hung:
Deriving Real-Time Programs from Duration Calculus Specifications. CHARME 2001: 92-97 - [c17]Hong Ki Thae, Dang Van Hung:
A Case Study on Formal Design of Hybrid Control Systems. COMPSAC 2001: 423-428 - 2000
- [j4]Jianhua Zhao, Dang Van Hung:
Checking Timed Automata for Linear Duration Properties. J. Comput. Sci. Technol. 15(5): 423-429 (2000)
1990 – 1999
- 1999
- [j3]Dang Van Hung, Zhou Chaochen:
Probabilistic Duration Calculus for Continuous Time. Formal Aspects Comput. 11(1): 21-44 (1999) - [c16]Ekaterina Pavlova, Dang Van Hung:
A Formal Specification of the Concurrency Control in Real-Time Databases. APSEC 1999: 94-101 - [c15]Dang Van Hung, Dimitar P. Guelev:
Completeness and Decidability of a Fragment of Duration Calculus with Iteration. ASIAN 1999: 139-150 - 1998
- [c14]Dang Van Hung:
Modeling and Verification of Biphase Mark Protocolsin Duration Calculus Using PVS. ACSD 1998: 88-98 - [c13]Paritosh K. Pandya, Dang Van Hung:
Duration Calculus of Weakly Monotonic Time. FTRTFT 1998: 55-64 - [c12]Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya:
Some Decidability Results for Duration Calculus under Synchronous Interpretation. FTRTFT 1998: 186-197 - [c11]Jianhua Zhao, Dang Van Hung:
On Checking Parallel Real-Time Systems for Linear Duration Properties. FTRTFT 1998: 241-250 - [c10]Víctor A. Braberman, Dang Van Hung:
On Checking Timed Automata for Linear Duration Invariants. RTSS 1998: 264-273 - 1997
- [c9]Xuandong Li, Dang Van Hung, Tao Zheng:
Checking Hybrid Automata for Linear Duration Invariants. ASIAN 1997: 166-180 - 1996
- [c8]Dang Van Hung, Ko Kwang Il:
Verification via Digitized Models of Real-Time Hybrid Systems. APSEC 1996: 4-15 - [c7]Xuandong Li, Dang Van Hung:
Checking Linear Duration Invariants by Linear Programming. ASIAN 1996: 321-332 - [c6]Dang Van Hung, Ji Wang:
On the Design of Hybrid Control Systems Using Automata Models. FSTTCS 1996: 156-167 - [c5]Dang Van Hung, Phan Hong Giang:
Sampling Semantics of Duration Calculus. FTRTFT 1996: 188-207 - 1995
- [c4]Philip Chan, Dang Van Hung:
Duration Calculus Specification of Schedulimg for Tasks with Shared Resources. ASIAN 1995: 365-380 - [c3]Chaochen Zhou, Dang Van Hung, Xiaoshan Li:
A Duration Calculus with Infinite Intervals. FCT 1995: 16-41 - 1994
- [c2]Dang Van Hung:
An algorithm for maintaining consistent view of processes in distributed systems. ISPAN 1994: 33-40 - 1993
- [c1]Dang Van Hung, Tran Van Dung:
On the Relation Between Firing Sequences and Processes of Petri Nets. FCT 1993: 309-318
1980 – 1989
- 1989
- [j2]Dang Van Hung, Elöd Knuth:
Semi-Commutations and Petri Nets. Theor. Comput. Sci. 64(1): 67-81 (1989) - 1988
- [j1]Dang Van Hung, Elöd Knuth:
A noninterleaving semantics for communicating sequential processes: a fixed-point approach. Acta Cybern. 8(3): 293-314 (1988)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-25 23:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint