Homepage for Arild Torjusen

Since January 2005 I am a research fellow at the Department of Informatics at the University of Oslo. I belong to the research group: Precise Modeling and Analysis of Dependable Systems and work on the CREOL project.

I finished my "hovedfag" in informatics in the spring term of 2003 with the thesis "A Formal and Executable Model for Comparing XML Documents"

I previously studied philosophy and got my "hovedfag" degree (1996) with the thesis "On mathematical truth" (in Norwegian). I were for some years editor and cofounder of a journal for philosophical logic. NJPL. In my sparetime I among other things do Kendô.

Research interests

• Modelling of concurrent and distributed systems, formal methods for program verification, compositional reasoning, adaptive testing, rewriting logic, XML.
• vrogramming languages: object-oriented programming, functional programming, program analysis, foundations of programming languages.

Curriculum Vitae

Publications

1. Einar Broch Johnsen, Olaf Owe, and Arild B. Torjusen
   Validating Behavioral Component Interfaces in Rewriting Logic
   Fundamenta Informaticae, 2007. © IOS Press. To appear.
   [ Compressed postscript | Pdf | Bibtex ]. (Extended version of the FSEN05 paper.)
   
   
2. Einar Broch Johnsen, Olaf Owe, and Arild B. Torjusen
   Validating Behavioral Component Interfaces in Rewriting Logic
   Proc. 1st IPM Intl. Workshop on Foundations of Software Engineering (FSEN 2005).
   Electronic Notes in Theoretical Computer Science 159:187-204, 2006. © Elsevier.
   [ Compressed postscript | Pdf | Bibtex ].
   
   
3. Arild B. Torjusen
   A Formal and Executable Model for Comparing XML Documents
   Master's thesis, University of Oslo, 2003.
   [.ps .ps.zip .pdf .pdf.zip summary].
   
   
4. Arild B. Torjusen
   Om matematisk sannhet
   Master's thesis, University of Oslo, 1996.
   [ps .ps.zip .pdf .pdf.zip].