Items where Author is "Arts, Thomas"
Group by: Item Type | No Grouping Jump to: Article | Conference or Workshop Item Number of items: 4.
ArticleFredlund, Lars-Åke and Gurov, Dilian and Noll, Thomas and Dam, Mads and Arts, Thomas and Chugunov, Gennady (2003) A tool for verifying software written in Erlang. International Journal on Software Tools for Technology Transfer (STTT), 4 (4). pp. 405-420. ISSN 1433-2779 (Print) 1433-2787 (Online) Conference or Workshop ItemArts, Thomas and Fredlund, Lars-Åke (2002) Trace analysis of Erlang programs. In: Erlang Workshop, ACM SIGPLAN, 7 Oct 2002, Pittsburgh, Pennsylvania, USA. Arts, Thomas and Dam, Mads (1999) Verifying a distributed database lookup manager written in Erlang. In: FM'99 - Formal Methods: Proceedings of World Congress on Formal Methods in the Development of Computing Systems, 20- 24 Sept 1999, Toulouse, France. Arts, Thomas and Dam, Mads and Fredlund, Lars-Åke and Gurov, Dilian (1998) System description: verification of distributed Erlang programs. In: Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction, 1998. |