Hung, Dang Van (ed.); Sokolsky, Oleg (ed.) Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. (English) Zbl 1502.68030 Lecture Notes in Computer Science 12302. Cham: Springer (ISBN 978-3-030-59151-9/pbk; 978-3-030-59152-6/ebook). xiv, 574 p. (2020). MSC: 68-06 68Q60 00B25 PDFBibTeX XMLCite \textit{D. Van Hung} (ed.) and \textit{O. Sokolsky} (ed.), Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19--23, 2020. Proceedings. Cham: Springer (2020; Zbl 1502.68030) Full Text: DOI
Hung, Dang Van (ed.); Ogawa, Mizuhito (ed.) Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15–18, 2013. Proceedings. (English) Zbl 1291.68023 Lecture Notes in Computer Science 8172. Berlin: Springer (ISBN 978-3-319-02443-1/pbk). xiv, 528 p. (2013). MSC: 68-06 68Q60 00B25 PDFBibTeX XMLCite \textit{D. Van Hung} (ed.) and \textit{M. Ogawa} (ed.), Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15--18, 2013. Proceedings. Berlin: Springer (2013; Zbl 1291.68023) Full Text: DOI
Changil, Choe; Hung, Dang Van On verification of linear occurrence properties of real-time systems. (English) Zbl 1279.68201 Pu, Geguang (ed.) et al., Proceedings of the 1st international workshop on harnessing theories for tool support in software (TTSS 2007), Macau, China, September 22–23, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 207, 107-120 (2008). MSC: 68Q60 03B70 68Q45 PDFBibTeX XMLCite \textit{C. Changil} and \textit{D. Van Hung}, Electron. Notes Theor. Comput. Sci. 207, 107--120 (2008; Zbl 1279.68201) Full Text: DOI
Zhang, Miaomiao; Hung, Dang Van; Liu, Zhiming Verification of linear duration invariants by model checking CTL properties. (English) Zbl 1161.68595 Fitzgerald, John S. (ed.) et al., Theoretical aspects of computing – ICTAC 2008. 5th international colloquium, Istanbul, Turkey, September 1–3, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85761-7/pbk). Lecture Notes in Computer Science 5160, 395-409 (2008). MSC: 68Q60 03B44 03B70 PDFBibTeX XMLCite \textit{M. Zhang} et al., Lect. Notes Comput. Sci. 5160, 395--409 (2008; Zbl 1161.68595) Full Text: DOI
Hansen, Michael Reichhardt; Hung, Dang Van A theory of duration calculus with application. (English) Zbl 1145.03310 George, Chris W. (ed.) et al., Domain modeling and the duration calculus. International training school, Shanghai, China, September 17–21. 2007. Advanced lectures. Berlin: Springer (ISBN 978-3-540-74963-9/pbk). Lecture Notes in Computer Science 4710, 119-176 (2007). MSC: 03B70 68Q60 PDFBibTeX XMLCite \textit{M. R. Hansen} and \textit{D. Van Hung}, Lect. Notes Comput. Sci. 4710, 119--176 (2007; Zbl 1145.03310) Full Text: DOI
Geguang, Pu; Hung, Dang Van; Jifeng, He; Yi, Wang An optimal approach to hardware/software partitioning for synchronous model. (English) Zbl 1196.68136 Boiten, Eerke A. (ed.) et al., Integrated formal methods. 4th international conference, IFM 2004, Canterbury, UK, April 4–7, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21377-5/pbk). Lecture Notes in Computer Science 2999, 363-381 (2004). MSC: 68Q60 68M20 68Q45 PDFBibTeX XMLCite \textit{P. Geguang} et al., Lect. Notes Comput. Sci. 2999, 363--381 (2004; Zbl 1196.68136) Full Text: DOI
Hung, Dang Van Real-time systems development with duration calculi: an overview. (English) Zbl 1274.68192 Aichernig, Bernhard K. (ed.) et al., Formal methods at the crossroads. From Panacea to foundational support. 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18–20, 2002. Revised papers. Berlin: Springer (ISBN 3-540-20527-6/pbk). Lect. Notes Comput. Sci. 2757, 81-96 (2003). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{D. Van Hung}, Lect. Notes Comput. Sci. 2757, 81--96 (2003; Zbl 1274.68192) Full Text: DOI
Guelev, Dimitar P.; Van Hung, Dang Prefix and projection onto state in duration calculus. (English) Zbl 1270.68169 Asarin, Eugene (ed.) et al., TPTS’2002. Proceedings of the 1st workshop on the theory and practice of timed systems (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 6, 101-119 (2002). MSC: 68Q60 03B70 PDFBibTeX XMLCite \textit{D. P. Guelev} and \textit{D. Van Hung}, Electron. Notes Theor. Comput. Sci. 65, No. 6, 101--119 (2002; Zbl 1270.68169) Full Text: DOI