Phan Anh Dung

  1. 2015
  2. Published
  3. Submitted

    Modelling and Analysis for Cyber-Physical Systems: An SMT-based approach. / Dung, Phan Anh; Hansen, Michael Reichhardt (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2015. 83 p. (DTU Compute PHD-2015; No. 373).

    Publication: ResearchPh.D. thesis – Annual report year: 2015

  4. Published

    vZ - An Optimizing SMT Solver. / Bjørner, Nikolaj; Dung, Phan Anh; Fleckenstein, Lars .

    Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015. Springer, 2015. p. 194-199 (Lecture Notes in Computer Science, Vol. 9035).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  5. Published

    vZ - Maximal Satisfaction with Z3. / Bjørner, Nikolaj; Dung, Phan Anh.

    Proceedings of the 6th International Symposium on Symbolic Computation in Software Science (SCSS 2014). 2015.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2015

  6. 2014
  7. Published
  8. Published

    EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. / Dung, Phan Anh; Hansen, Michael Reichhardt; Madsen, Jan.

    Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. Springer, 2014. p. 520-540 (Lecture Notes in Computer Science, Vol. 8373).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2014

  9. 2012
  10. Published

    Anatomy of Alternating Quantifier Satisfiability (Work in progress). / Dung, Phan Anh; Bjørner, Nikolaj; Monniaux, David.

    2012. Paper presented at 10th International Workshop on Satisfiability Modulo Theories (SMT 2012), Manchester, United Kingdom.

    Publication: Research - peer-reviewPaper – Annual report year: 2012

  11. 2011
  12. Published

    From functional programming to multicore parallelism: A case study based on Presburger Arithmetic. / Dung, Phan Anh; Hansen, Michael Reichhardt.

    Proceedings of the 23rd Nordic Workshop Programming Theory. 2011.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word