Ph.D. student at the Department of Computer Science, University of Copenhagen
| [1] | Tom Hvitved. Architectural analysis of microsoft dynamics nav. Technical report, Department of Computer Science, University of Copenhagen, 2009. [ bib | .pdf ] |
| [2] | Anders Starcke Henriksen, Tom Hvitved, and Andrzej Filinski. A game-theoretic model for distributed programming by contract. In Informatik 2009. Proceedings der 39. GI-Jahrestagung, pages 3473-3484, 2009. [ bib | .pdf ] |
| [3] | Tom Hvitved. Contracts in programming and in enterprise systems. Master's thesis, Department of Computer Science, University of Copenhagen, 2009. [ bib | .pdf ] |
| [4] | Tom Hvitved. A survey of formal languages for contracts, September 17-18 2010. Extended Abstract, FLACOS 2010. [ bib | .pdf ] |
| [5] | Tom Hvitved. A trace-based model for multi-party contracts, September 17-18 2010. Extended Abstract, FLACOS 2010. [ bib | .pdf ] |