Dang Van Hung

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Checking linear duration invariants by linear programming	2024-06-21	Paper
Calculating statically maximum log memory used by multi-threaded transactional programs Theoretical Aspects of Computing – ICTAC 2016	2016-12-21	Paper
On verification of linear occurrence properties of real-time systems Electronic Notes in Theoretical Computer Science	2014-01-24	Paper
Prefix and projection onto state in duration calculus Electronic Notes in Theoretical Computer Science	2013-08-15	Paper
Real-time systems development with duration calculi: an overview. Lecture Notes in Computer Science	2010-03-30	Paper
Integrated Formal Methods Lecture Notes in Computer Science	2009-05-07	Paper
Verification of Linear Duration Invariants by Model Checking CTL Properties Theoretical Aspects of Computing - ICTAC 2008	2009-01-27	Paper
A Theory of Duration Calculus with Application Lecture Notes in Computer Science	2008-09-16	Paper
Exploring optimal solution to hardware/software partitioning for synchronous model Formal Aspects of Computing	2006-10-25	Paper
On the completeness and decidability of duration calculus with iteration Theoretical Computer Science	2005-06-30	Paper
scientific article; zbMATH DE number 1852150 (Why is no real title available?)	2003-01-09	Paper

Research outcomes over time

This page was built for person: Dang Van Hung