Dang Van Hung
According to our database1,
Dang Van Hung
authored at least 57 papers
between 1988 and 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on iist.unu.edu
On csauthors.net:
Bibliography
2018
On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software.
Proceedings of the 10th International Conference on Knowledge and Systems Engineering, 2018
2016
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016
Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016
Proceedings of the Distributed Computing and Internet Technology, 2016
2013
Proceedings of the Theories of Programming and Formal Methods, 2013
2012
Timed traces and their applications in specification and verification of distributed real-time systems.
Proceedings of the Symposium on Information and Communication Technology 2012, 2012
2011
Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011
2008
Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008
Proceedings of the Theoretical Aspects of Computing, 2008
2007
Proceedings of the 1st International Workshop on Harnessing Theories for Tool Support in Software, 2007
Timing and Concurrency Specification in Component-based Real-Time Embedded Systems Development.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007
Towards a Template Language for Component-based Programming.
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007
On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties.
Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
Specifying Various Time Models with Temporal Propositional Variables in Duration Calculus.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007
Proceedings of the Domain Modeling and the Duration Calculus, 2007
2006
Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, 2006
Proceedings of the Advances in Computer Science, 2006
2005
Theor. Comput. Sci., 2005
Formal Aspects Comput., 2005
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005
Proceedings of the Theoretical Aspects of Computing, 2005
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005
2004
A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus.
J. Appl. Non Class. Logics, 2004
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004
Proceedings of the Theoretical Aspects of Computing, 2004
Modelling Real-time Database Systems in Duration Calculus.
Proceedings of the IASTED International Conference on Databases and Applications, 2004
2003
A Formal Model for Dynamic Channel Allocation as a Mutual Exclusion Concept in a Distributed Mobile Computing System.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003
2002
J. Comput. Sci. Technol., 2002
Proceedings of the Theory and Practice of Timed Systems, 2002
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
2001
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
Proceedings of the Correct Hardware Design and Verification Methods, 2001
2000
J. Comput. Sci. Technol., 2000
1999
Proceedings of the Advances in Computing Science, 1999
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999
1998
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998
1997
Proceedings of the Advances in Computing Science, 1997
1996
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996
Proceedings of the Concurrency and Parallelism, 1996
Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996
1995
Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995
Proceedings of the Algorithms, 1995
1994
Proceedings of the International Symposium on Parallel Architectures, 1994
1993
Proceedings of the Fundamentals of Computation Theory, 9th International Symposium, 1993
1989
1988
A noninterleaving semantics for communicating sequential processes: a fixed-point approach.
Acta Cybern., 1988