Dang Van Hung - RankMe

64 papers A 1B 11C 10Misc 4Journal 10Unranked 27

Year	Rank	Type	Title / Venue / Authors
2020	B	`ed.`	Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings ATVA Dang Van Hung, Oleg Sokolsky
2020	Misc	`ed.`	Distributed Computing and Internet Technology - 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings ICDCIT Dang Van Hung, Meenakshi D'Souza
2018	—	`conf`	On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software. KSE Hoang-Viet Tran, Pham Ngoc Hung, Dang Van Hung
2017	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings ICTAC Dang Van Hung, Deepak Kapur
2016	Misc	`conf`	A Type System for Counting Logs of Multi-threaded Nested Transactional Programs. ICDCIT Anh-Hoang Truong, Dang Van Hung, Duc-Hanh Dang, Xuan-Tung Vu
2016	C	`conf`	Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. ICTAC Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang
2016	C	`conf`	On Model Finding with Constraint Patterns. SoMeT Duc-Hanh Dang, Anh-Hoang Truong, Dang Van Hung
2013	B	`ed.`	Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings ATVA Dang Van Hung, Mizuhito Ogawa
2013	J	`jnl`	Guest editorial to the special section on SEFM 2009. Softw. Syst. Model. Padmanabhan Krishnan, Dang Van Hung, Antonio Cerone
2013	—	`conf`	Modeling and Specification of Real-Time Interfaces with UTP. Theories of Programming and Formal Methods Dang Van Hung, Hoang Truong
2012	—	`ed.`	Fourth International Conference on Knowledge and Systems Engineering, KSE 2012, Danang, Vietnam, August 17-19, 2012 KSE Dang Van Hung, Hung Trung Vo, Jeff Sanders, Lam Thu Bui, Son Bao Pham
2012	—	`conf`	Timed traces and their applications in specification and verification of distributed real-time systems. SoICT Do Van Chieu, Dang Van Hung
2012	J	`jnl`	Towards Approximate Model Checking DC and PDC Specifications CoRR Changil Choe, Dang Van Hung, Song Han
2011	—	`conf`	Real-Time Relational Interface Behavior Modeling and Specification. KSE Trinh-Dong Nguyen, Dang Van Hung, Anh-Hoang Truong
2009	B	`ed.`	Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009 SEFM Dang Van Hung, Padmanabhan Krishnan
2008	B	`conf`	Checking Interface Interaction Protocols Using Aspect-Oriented Programming. SEFM Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung
2008	—	`conf`	Reasoning about QoS Contracts in the Probabilistic Duration Calculus. FESCA@ETAPS Dimitar P. Guelev, Dang Van Hung
2008	C	`conf`	Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC Miaomiao Zhang, Dang Van Hung, Zhiming Liu
2007	—	`conf`	A Theory of Duration Calculus with Application. Domain Modeling and the Duration Calculus Michael R. Hansen, Dang Van Hung
2007	—	`conf`	Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 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
2007	—	`conf`	On Verification of Linear Occurrence Properties of Real-Time Systems. TTSS Choe Changil, Dang Van Hung
2007	B	`conf`	On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties. RTCSA Dang Van Hung, Miaomiao Zhang
2007	—	`conf`	Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus. Formal Methods and Hybrid Real-Time Systems Dang Van Hung
2007	Misc	`conf`	Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development. TASE Hung Ledang, Dang Van Hung
2007	—	`conf`	Towards a Template Language for Component-based Programming. Software Engineering Research and Practice Dang Van Hung, Pham Hong Thai
2006	—	`conf`	Formal Analysis of Streaming Downloading Protocol for System Upgrading. QAPL Miaomiao Zhang, Dang Van Hung
2006	—	`conf`	Modeling Urgency in Component-Based Real-Time Systems. ASIAN Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
2005	C	`conf`	A Summary of the Tutorials at ICTAC 2005. ICTAC Dang Van Hung
2005	J	`jnl`	Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Aspects Comput. Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi
2005	B	`conf`	Model Checking Real-Time Component Based Systems with Blackbox Testing. RTCSA Dang Van Hung, Bui Vu Anh
2005	J	`jnl`	On the completeness and decidability of duration calculus with iteration. Theor. Comput. Sci. Dimitar P. Guelev, Dang Van Hung
2005	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings ICTAC Dang Van Hung, Martin Wirsing
2005	C	`conf`	Toward a formal model for component interfaces for real-time systems. FMICS Dang Van Hung
2004	J	`jnl`	A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus. J. Appl. Non Class. Logics Dimitar P. Guelev, Dang Van Hung
2004	B	`conf`	An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi
2004	—	`conf`	Modelling Real-time Database Systems in Duration Calculus. Databases and Applications Dang Van Hung, Ho Van Huong
2004	C	`conf`	Verifying Linear Duration Constraints of Timed Automata. ICTAC Pham Hong Thai, Dang Van Hung
2003	Misc	`conf`	A Formal Model for Dynamic Channel Allocation as a Mutual Exclusion Concept in a Distributed Mobile Computing System. PDPTA Siba K. Udgata, Dang Van Hung
2002	J	`jnl`	Checking Temporal Duration Properties of Timed Automata. J. Comput. Sci. Technol. Yong Li, Dang Van Hung
2002	—	`conf`	Prefix and Projection onto State in Duration Calculus. Theory and Practice of Timed Systems @ ETAPS Dimitar P. Guelev, Dang Van Hung
2002	—	`conf`	Real-Time Systems Development with Duration Calculi: An Overview. 10th Anniversary Colloquium of UNU/IIST Dang Van Hung
2002	B	`conf`	Specification and Verification of Spatial Data Types with B-Toolkit. COMPSAC Kim Yong Chun, Dang Van Hung
2001	B	`conf`	A Case Study on Formal Design of Hybrid Control Systems. COMPSAC Hong Ki Thae, Dang Van Hung
2001	—	`conf`	Deriving Real-Time Programs from Duration Calculus Specifications. CHARME François Siewe, Dang Van Hung
2000	J	`jnl`	Checking Timed Automata for Linear Duration Properties. J. Comput. Sci. Technol. Jianhua Zhao, Dang Van Hung
1999	C	`conf`	A Formal Specification of the Concurrency Control in Real-Time Databases. APSEC Ekaterina Pavlova, Dang Van Hung
1999	—	`conf`	Completeness and Decidability of a Fragment of Duration Calculus with Iteration. ASIAN Dang Van Hung, Dimitar P. Guelev
1999	J	`jnl`	Probabilistic Duration Calculus for Continuous Time. Formal Aspects Comput. Dang Van Hung, Zhou Chaochen
1998	—	`conf`	Duration Calculus of Weakly Monotonic Time. FTRTFT Paritosh K. Pandya, Dang Van Hung
1998	—	`conf`	Modeling and Verification of Biphase Mark Protocolsin Duration Calculus Using PVS. ACSD Dang Van Hung
1998	—	`conf`	On Checking Parallel Real-Time Systems for Linear Duration Properties. FTRTFT Jianhua Zhao, Dang Van Hung
1998	A	`conf`	On Checking Timed Automata for Linear Duration Invariants. RTSS Víctor A. Braberman, Dang Van Hung
1998	—	`conf`	Some Decidability Results for Duration Calculus under Synchronous Interpretation. FTRTFT Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya
1997	—	`conf`	Checking Hybrid Automata for Linear Duration Invariants. ASIAN Xuandong Li, Dang Van Hung, Tao Zheng
1996	—	`conf`	Checking Linear Duration Invariants by Linear Programming. ASIAN Xuandong Li, Dang Van Hung
1996	—	`conf`	On the Design of Hybrid Control Systems Using Automata Models. FSTTCS Dang Van Hung, Ji Wang
1996	—	`conf`	Sampling Semantics of Duration Calculus. FTRTFT Dang Van Hung, Phan Hong Giang
1996	C	`conf`	Verification via Digitized Models of Real-Time Hybrid Systems. APSEC Dang Van Hung, Ko Kwang Il
1995	B	`conf`	A Duration Calculus with Infinite Intervals. FCT Chaochen Zhou, Dang Van Hung, Xiaoshan Li
1995	—	`conf`	Duration Calculus Specification of Schedulimg for Tasks with Shared Resources. ASIAN Philip Chan, Dang Van Hung
1994	—	`conf`	An algorithm for maintaining consistent view of processes in distributed systems. ISPAN Dang Van Hung
1993	B	`conf`	On the Relation Between Firing Sequences and Processes of Petri Nets. FCT Dang Van Hung, Tran Van Dung
1989	J	`jnl`	Semi-Commutations and Petri Nets. Theor. Comput. Sci. Dang Van Hung, Elöd Knuth
1988	J	`jnl`	A noninterleaving semantics for communicating sequential processes: a fixed-point approach. Acta Cybern. Dang Van Hung, Elöd Knuth