Personal details

Curriculum Vitae
Front Page (Home)

Publications

Publications since 1994
Publications before 1994

Contact details

Mailing address:
Dang Van Hung
University of Engineering and Technology
144 Xuan Thuy, Cau Giay
Hanoi, Vietnam


E-mail: dvh[aT]vnu[DoT]edu[DoT]vn
URL: www.coltech.vnu.edu.vn

Publications since 1994

[1]

Dang Van Hung and Zhou Chaochen. Probabilistic Duration Calculus for Continuous Time. Research Report 25, UNU/IIST, P.O.Box 3058, Macau, May 1994. Presented at NSL'94 (Workshop on Non-standard Logics and Logical Aspects of Computer Science, Kanazawa, Japan, December 5-8, 1994). Published in the International Journal Formal Aspects of Computing. (1999) 11: 21-44. pdf, DOI: 10.1007/s001650050034

[2]

Dang Van Hung. An Algorithm for Maintaining Consistent View of Processes in Distributed Systems. Research Report 33, UNU/IIST, P.O.Box 3058, Macau, January 1994. Published in S. Horiguchi, D.F. Hsu and M. Kimura (eds.), the Proceedings of the International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN), December 14-16, 1994, Kanazawa, Japan, IEEE Computer Society Press, 1994, pp. 33-40. pdf, DOI: 10.1109/ISPAN.1994.367167

[3]

Dang Van Hung and Wang Ji. On The Design of Hybrid Control Systems Using Automata Model. Research Report 35, UNU/IIST, P.O.Box 3058, Macau, November 1994. Published in V. Chandru and V. Vinay (Eds.) Foundations of Software Technology and Theoretical Computer Science (FST&TCS16), LNCS 1180, Springer-Verlag, Dec 1996, pp. 156-167. DOI: 10.1007/3-540-62034-6_46 pdf

[4]

Zhou Chaochen, Dang Van Hung, and Li Xiaoshan. A Duration Calculus with Infinite Intervals. Research Report 40, UNU/IIST, P.O.Box 3058, Macau, February 1995. Published in: Fundamentals of Computation Theory, Horst Reichel (ed.), pp 16-41, LNCS 965, Springer-Verlag, 1995. DOI: 10.1007/3-540-60249-6_39 pdf

[5]

Philip Chan and Dang Van Hung. Duration Calculus Specification of Scheduling for Tasks with Shared Resources. Research Report 44, UNU/IIST, P.O.Box 3058, Macau, June 1995. Published in: Kanchana Kanchanasut and Jean-Jacques Levy (Eds.), Algorithms, Concurrency and Knowledge, LNCS 1023, Springer-Verlag 1995, pp. 365-380. DOI:10.1007/3-540-60688-2_56

[6]

Dang Van Hung and Phan Hong Giang. A Sampling Semantics of Duration Calculus. Research Report 50, UNU/IIST, P.O.Box 3058, Macau, November 1995. Published in: Formal Techniques for Real-Time and Fault Tolerant Systems, Bengt Jonsson and Joachim Parrow (Eds), LNCS 1135, Spriger-Verlag, pp. 188-207, 1996. DOI:10.1007/3-540-61648-9_41 pdf

[7]

Dang Van Hung and Ko Kwang Il. Verification via Digitized Model of Real-Time Systems. Research Report 54, UNU/IIST, P.O.Box 3058, Macau, February 1996. Published in the proceedings of Asia-Pacific Software Engineering Conference 1996 (APSEC'96), IEEE Computer Society Press, 1996, pp 4-15. pdf, DOI Bookmark:10.1109/APSEC.1996.566735

[8]

Li Xuandong and Dang Van Hung. Checking Linear Duration Invariants by Linear Programming. Research Report 70, UNU/IIST, P.O.Box 3058, Macau, May 1996. Published in Joxan Jaffar and Roland H. C. Yap (Eds.), Concurrency and Palalellism, Programming, Networking, and Securiry LNCS 1179, Springer-Verlag, Dec 1996, pp. 321-332. pdf DOI: 10.1007/BFb0027804

[9]

Manoranjan Satpathy, Dang Van Hung, and Paritosh K. Pandya. Some Results on The Decidability of Duration Calculus under Synchronous Interpretation. Research Report 86, UNU/IIST, P.O.Box 3058, Macau, December 1996. Presented at and published in the proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, Lyngby, Denmark, September 1998 (FTRTFT'98), LNCS 1486, Springer-Verlag 1998, pp 186-197. pdf, DOI:10.1007/BFb0055347

[10]

Dang Van Hung. Modelling and Verificaton of Biphase Mark Protocols in Duration Calculus Using PVS/DC^-. Research Report 103, UNU/IIST, P.O.Box 3058, Macau, April 1997. Presented at and published in the Proceedings of the 1998 International Conference on Application of Concurrency to System Design (CSD'98), 23-26 March 1998, Aizu-wakamatsu, Fukushima, Japan, IEEE Computer Society Press, 1998, pp. 88 - 98. pdf, DOI Bookmark: 10.1109/CSD.1998.657542

[11]

Li Xuandong, Dang Van Hung, and Zheng Tao. Checking Hybrid Automata for Linear Duration Invariants. Research Report 109, UNU/IIST, P.O.Box 3058, Macau, June 1997. Published in R.K.Shamasundar, K.Ueda (Eds.), Advances in Computing Science, Lecture Notes in Computer Science 1345, Springer-Verlag, pp.166-180. pdf DOI: 10.1007/3-540-63875-X_51

[12]

Dang Van Hung and Pham Hong Thai. Checking a Regular Class of Duration Calculus Models for Linear Duration Invariants. Technical Report 118, UNU/IIST, P.O.Box 3058, Macau, July 1997. Presented at and published in the Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'98), 20 - 21 April 1998, Kyoto, Japan, Bernd Kramer, Naoshi Uchihira, Peter Croll and Stefano Russo (Eds), IEEE Computer Society Press, 1998, pp. 61 - 71. pdf, DOI Bookmark:10.1109/PDSE.1998.668157

[13]

Paritosh K. Pandya and Dang Van Hung. Duration Calculus with Weakly Monotonic Time. Technical Report 122, UNU/IIST, P.O.Box 3058, Macau, September 1997. Presented at and published in the proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, Lyngby, Denmark, September 1998 (FTRTFT'98), LNCS 1486, Springer-Verlag 1998, pp. 55-64. pdf, DOI:10.1007/BFb0055336

[14]

Zhao Jianhua and Dang Van Hung. On Checking Real-Time Parallel Systems for Linear Duration Properties. Technical Report 130, UNU/IIST, P.O.Box 3058, Macau, Jan 1998. Presented at and published in the proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, Lyngby, Denmark, September 1998 (FTRTFT'98), LNCS 1486, Springer-Verlag 1998, pp. 241-250. A paper based on this report with the title ``Automatic Verification of a Class of Concurrent Real-time Systems'' has been published in Journal of Software, 2000, 11(2), Beijing, China. pdf

[15]

Victor A. Braberman and Dang Van Hung. On Checking Timed Automata for Linear Duration Invariants. Technical Report 135, UNU/IIST, P.O.Box 3058, Macau, February 1998. Presented at and published in the proceedings of the 19th IEEE Real-Time Systems Symposium RTSS'98, December 2-4, 1998, Madrid, Spain, IEEE Computer Society Press, 1998, pp. 264-273. pdf, DOI:10.1007/BFb0055351 , DOI Bookmark:10.1109/REAL.1998.739752

[16]

Zhao Jianhua and Dang Van Hung. Checking Timed Automata for Some Discretisable Duration Properties. Technical Report 145, UNU/IIST, P.O.Box 3058, Macau, August 1998. Published in Journal of Computer Science and Technology, Volume 15, Number 5, September 2000, pp. 423-429. DOI bookmarks, pdf

[17]

Sheila A. Karipel and Dang Van Hung. A Formal Specification of an Information Processing System in Duration Calculus. Technical Report 148, UNU/IIST, P.O.Box 3058, Macau, October 1998. A revised version of the report has been presented at and published in the proceedings of the 4th world multiconference on systematics, cybernetics and informatics (SCI2000), 23-26, 2000 at Sheraton World Resort, Orlando, Florida, USA, IEEE Computer Society Press, Belkis Sanchez et al (eds), pp 334-339. pdf

[18]

Ekaterina Pavlova and Dang Van Hung. A Formal Specification of the Concurrency Control in Real-Time Databases. Technical Report 152, UNU/IIST, P.O.Box 3058, Macau, January 1999. Published in the proceedings of 6th Asia-Pacific Software Engineering Conference (APSEC'99) Takamatsu, Japan, December 7-10, 1999, IEEE Computer Society Press, pp. 94-101. pdf, DOI Bookmark:10.1109/APSEC.1999.809589

[19]

Dang Van Hung and Dimitar P. Guelev. Completeness and Decidability of a Fragment of Duration Calculus with Iteration. Technical Report 163, UNU/IIST, P.O.Box 3058, Macau, April 1999. Presented at International Conference on Mathematical Foundation of Informatics, Hanoi, October 25-28, 1999. Presented at and published in the proceedings of Asian Computing Science Conference (ASIAN'99), Phuket, Thailand, December 10-12, 1999, P.S. Thiagarajan and R. Yap (eds), Advances in Computing Science, LNCS 1742, Springer-Verlag, 1999, pp. 139-150. pdf

[20]

Dang Van Hung. Projections: A Technique for Verifying Real-Time Programs in Duration Calculus. Technical Report 178, UNU/IIST, P.O. Box 3058, Macau, November 1999. Published in the proceedings of the Conference on Information Technology and Education, Ho Chi Minh city, Vietnam, January 2000. pdf

[21]

François Siewe and Dang Van Hung. From Continuous Specification to Discrete Design. Technical Report 182, UNU/IIST, P.O. Box 3058, Macau, December 1999. Presented at and published in the proceedings of the International Conference on Software: Theory and Practice (ICS2000), Yulin Feng, David Notkin and Marie-Claude Gaudel (eds), Beijing, August 21-24, 2000, pp. 407-414. pdf

[22]

Do Van Nhon and Dang Van Hung. A Systematic Design of Real-time Systems Using Duration Calculus. Technical Report 197, UNU/IIST, P.O.Box 3058, Macau, May 2000. Presented at and published in the proceedings of the 5th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2001), Orlando, USA, July 22-25, 2001, IEEE Computer Society Press, pp. 241-246. pdf

[23]

Hong Ki Thae and Dang Van Hung. Formal Design of Hybrid Control Systems: Duration Calculus Approach. Technical Report 221, UNU/IIST, P.O. Box 3058, Macau, November 2000. Presented at and published in the proceedings of The 25th Annual International Computer Software and Applications Conference (COMPSAC 2001), October 8-12, 2001, Chicago, USA, IEEE Computer Society Press 2001, pp. 423-428. pdf, DOI Bookmark:10.1109/CMPSAC.2001.960648

[24]

François Siewe and Dang Van Hung. Deriving Real-Time Programs from Duration Calculus Specifications. Technical Report 222, UNU/IIST, P.O. Box 3058, Macau, December 2000. Published in the proceedings of the 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME 2001), Livingston-Edinburgh, Scotland, 4-7 September 2001, LNCS 2144, Springer-Verlag, 2001, pp. 92-97. pdf

[25]

Siba K Udgata and Dang Van Hung. Distributed Dynamic Channel Assignment in Mobile Cellular Network as a Special Mutual Exclusion Concept, presented at and published in the proceedings of the 4th International Conference on Information Technology (CIT'01), Gopalpur-on-sea, Orissa, India, December 20-22, 2001, A K Pujari and P. K. Mahapatra (Eds.), pp. 23-31, Tata-McGraw Hill Publications, 2001.

[26]

Dimitar P. Guelev and Dang Van Hung. Prefix and Projection onto State in Duration Calculus. Presented at and published in the proceedings of the Workshop on Theory and Practice of Timed Systems, April 6-7, 2002, Grenoble, France. Published in the Electronic Notes in Theoretical Computer Science, Volume 65, Issue 6, Elsevier Science 2002. pdf, doi:10.1016/S1571-0661(04)80472-9

[27]

Li Yong and Dang Van Hung. Checking Temporal Duration Properties of Timed Automata. Published in Journal of Computer Science and Technology, Vol. 17, No. 6, Nov. 2002, pp. 689-698. DOI Bookmark: 10.1007/BF02960759 pdf

[28]

Kim Yong Chun and Dang Van Hung. Specification and Verification of Spatial Data Types with B-Toolkit. Presented at and published in the proceedings of the IEEE conference COMPSAC 2002, Oxford, England, August 26-29, 2002, IEEE Computer Society Press, pp. 711-716. pdf, DOI Bookmark: 10.1109/CMPSAC.2002.1045085

[29]

Dang Van Hung and Ngo Quoc Tao. Formalisation of Realm-Based Spatial Data Types. Chapter in Specification Case Studies in RAISE, Hung Dang Van, Chris George, Tomasz Janowski, and Richard Moore (eds.), the FACIT (Formal Approaches to Computing and Information Technology) series, Springer-Verlag, 2002.

[30]

GUELEV D.P., DANG VAN H., ``Projection onto State in DC: Relative Completeness'', Third Workshop on Automatic Verification of Critical Systems (EVoCS'03), University of Southampton, United Kingdom, April 2-3 2003, p 64-73.

[31]

Siba K Udgata and Dang Van Hung. A formal model for dynamic channel allocation as a mutual exclusion concept in a distributed mobile computing system. Presented at and published in the proceedings of the 2003 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'03), June 23-26, 2003, Las Vegas, Nevada, USA, Hamid Arabania and Youngsong Mun (eds), CSREA Press, pp. 1464-1468.

[32]

Dang Van Hung. Real-time Systems Development with Duration Calculus: an Overview, Bernhard K. Aichernig, T. S. E. Maibaum (Eds.): Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, Lisbon, Portugal, March 18-20, 2002, LNCS 2757 Springer-Verlag, November 2003, pp. 81-96. pdf

[33]

Dang Van Hung and Ho Van Huong. Modelling Real-time Database Systems in Duration Calculus. Presented at and published in the proceedings of the IASTED International Conference on Databases and Applications (IASTED-DBA 2004), February 17 - 19, 2004, Innsbruck, Austria, M.H. Hamza (ed.), ACTA Press, pp. 37-42. pdf

[34]

Pu Geguang, Dang Van Hung, He Jifeng and Wang Yi. An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. Presented at and published in the proceedings of the Intergrated Formal Method (IFM) 2004 Conference, Canterbury, UK, 4-7 April, 2004, Eerke A. Boiten, John Derrick, Graeme Smith (Eds.), LNCS 2999, Springer-Verlag, 2004, pp. 363-381. pdf

[35]

Dimitar P. Guelev and Dang Van Hung. A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus, published in the special issue on ITL and DC, Jounal of Applied and Non-Classical Logics, Vol 14, No 1-2, Lavoisier, Paris, 2004, pp. 151-182. pdf, DOI Bookmark

[36]

Pham Hong Thai and Dang Van Hung. Verifying Linear Duration Constraints of Timed Automata. Presented at and published in the proceedings of the First International Colloquium on Theoretical Aspects of Computing ICTAC'04, Gui Yang, China, 22-24 September, 2004, LNCS 3407, pp. 295-309, Springer-Verlag, 2005. pdf

[37]

François Siewe, Dang Van Hung, Hussein Zedan and Antonio Cau. A Formal Design Technique for Real-Time Embedded Systems Development using Duration Calculus. IEEE-RAS Latin American Robotics Symposium, pp. 60-65, Oct 28-29, 2004. Editors: A. Weitzenfeld and A. Barrera. pdf

[38]

Dimitar P. Guelev and Dang Van Hung. On the Completeness and Decidability of Duration Calculus with Iteration. Theoretical Computer Science Journal, Vol 337/1-3, 9 June 2005, pp 278-304, Elsevier. DOI:10.1016/j.tcs.2005.01.017.

[39]

Dang Van Hung and Bui Vu Anh. Model Checking Component Based Systems with Blackbox Testing. Presented at and published in the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 17-19 August 2005, Hong Kong, IEEE Computer Society Press, Los Alamitos, California, pp. 76 -- 79. pdf, DOI Bookmark: 10.1109/RTCSA.2005.59

[40]

Dang Van Hung. Toward a Formal Model for Component Interfaces for Real-time Systems. Presented at and published in the proceedings of the ACM SIGSOFT workshop "Formal Methods for Industrial Critical Systems FMICS 2005", 5--6 September 2005, Lisbon, Portugal, Taziana Margaria and Mieke Massink (eds), ACM Press, 2005, pp 106--114. pdf, DOI Bookmark: 10.1145/1081180.1081194

[41]

Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, and Wang Yi. Exploring Optimal Solution to Hardware/software Partitioning for Synchronous Model. Published in the international journal Formal Aspects of Computing, Volume 17, Number 4 December 2005, pp 443 - 460, DOI: 10.1007/s00165-005-0072-y.

[42]

Dang Van Hung and Martin Wirsing (eds). Theoretical Aspects of Computing - ICTAC 2005, Second International Colloqium, Hanoi, Vietnam, October 2005, Proceedings, LNCS 3722, 614 pp, Spinger, 2005. Online Version DOI: 10.1007/11560647

[43]

Miaomiao Zhang and Dang Van Hung. Formal Analysis of Streaming Downloading Protocol for System Upgrading. Presented and published in the proceedings of the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 06), Vienna, Austria - April 1 - 2, 2006, ENTCS, Elsevier, 2006. DOI bookmark pdf

[44]

Dang Van Hung and Paritosh Pandya (eds). Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), Proceedings, IEEE Computer Society Press, 2006. DOI Bookmark

[45]

Hung Ledang Dang Van Hung. Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development, Proceedings of the 1st IEEE and IFIP International Symposium on Theoretical Aspects of Software Engineering, June 6 - 8, 2007 Shanghai, China, IEEE Computer Society Press, pp. 293-302, 2007. Doi Bookmark pdf

[46]

Dang Van Hung and Pham Hong Thai. Towards a Template Language for Component-Based Programming. Technical Report 354, UNU-IIST, P.O.Box 3058, Macau, April 2007. Presented at and published in the proceedings of the 2007 International Conference on Software Engineering Research and Practice, SERP'07, Las Vegas, June 25-28, 2007, pp. 326--332, Hamid R. Arabnia and Hassan Reza (eds), WORLDCOMP'07, CSREA Press, 2007. pdf

[47]

Dang Van Hung and Zhang Miaomiao. On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties. Presented at and published in the proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications RTCSA 2007, Daegu, Korea, August 21-24, 2007. IEEE Computer Society Press, Los Alamitos, California, pp. 165 -- 172. DOI Bookmark pdf

[48]

Michael R. Hansen and Dang Van Hung. A Theory of Duration Calculus with Application, Book Chapter, Domain Modeling and the Duration Calculus 2007: 119-176, LNCS 4700, Spinger, 2007. DOI Bookmark pdf

[49]

Dang Van Hung. Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus. Formal Methods and Hybrid Real-Time Systems 2007: 170-187, LNCS 4710, Spinger, 2007. DOI Bookmark pdf

[50]

Choe Changil and Dang Van Hung. On Verification of Linear Occurrence Properties of Real-Time Systems. 1st International Workshop on Harnessing Theories for Tool Support in Software TTSS'07. ENTCS, 2008. Volume 207C pp. 107-120. DOI Bookmark: 10.1016/j.entcs.2008.03.088. pdf

[51]

Tang Nguyen, Dang Van Hung and Mizuhito Ogawa. Modeling Urgency in Component Based Real-time Systems, ASIAN'06 11th Annual Asian Computing Science Conference Focusing on Secure Software and Related Issues December 6-8, 2006. National Center of Sciences, Tokyo. LNCS 4435, pp. 248-255, Springer 2007, DOI: 10.1007/978-3-540-77505-8_20

[52]

Dimitar P. Guelev and Dang Van Hung. Reasoning about QoS Contracts in the Probabilistic Duration Calculus. Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA08, a satellite event for ETAPS 2008, Electronic Notes in Theoretical Computer Science (ENTCS) archive Volume 238 , Issue 6 (June 2010), Pages 41-62. DOI Bookmark, pdf

[53]

Miaomiao Zhang, Dang Van Hung and Zhiming Liu. Verification of Linear Duration Invariants by Model Checking CTL Properties. Proceedings of ICTAC08, 1-3 September 2008, The Marmara, Istanbul, Turkey, LNCS 5160, Springer 2008, pp. 395-409. DOI Bookmark, pdf

[54]

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

[55]

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

[56]

Dang Van Hung, Hung Trung Vo, Jeff Sanders, Lam Thu Bui, Son Bao Pham (Eds.): 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

[57]

Dang Van Hung and Hoang Truong: Modeling and Specification of Real-Time Interfaces with UTP. Theories of Programming and Formal Methods 2013: 136-150, LNCS ISBN 978-3-642-39697-7, Springer 2013, DOI Bookmark, pdf

[58]

Dang Van Hung, Mizuhito Ogawa (Eds.): 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.