Arild B. Torjusen
DissertationOn March 3, 2011 I defended my dissertation for the degree of Ph.D. |
I currently work for Det Norske Veritas as Principal Consultant, Information Risk Management
From January 2005 until May 2010 I was research fellow at the Department of Informatics at the University of Oslo. I belonged to the research group: Precise Modeling and Analysis of Dependable Systems and worked on the CREOL project.
I finished my "hovedfag" (masters) 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 received 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, testing, rewriting logic, XML.
- Programming languages: object-oriented programming, functional programming, program analysis, foundations of programming languages.
Curriculum Vitae
My CV can be downloaded hereTeaching
Publications
- Olaf Owe, Martin Steffen and Arild Torjusen
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
Accepted for the 6th Workshop on Model-Based Testing (MBT 2010)
[Pdf (19.02.2010)].
- Immo Grabe, Marcel Kyas, Martin Steffen and Arild Torjusen
Executable interface specifications for testing asynchronous Creol components
Proc. of the 3rd Intl. Conference on Fundamentals of Software Engineering (FSEN '09)
LNCS 5961.Springer-Verlag, 2010.
[Pdf] | Bibtex].
- Immo Grabe, Arild Torjusen, Martin Steffen
Executable interface specifications for testing asynchronous Creol components
Research Report 375, Dept. of Informatics, Univ. of Oslo
The report is an extended version of the conference version with the same title.
[Pdf]
- Arild B. Torjusen, Olaf Owe, and Gerardo Schneider
Towards integration of XML in the Creol object-oriented language
Research Report 365, Dept. of Informatics, Univ. of Oslo, Oct. 2007 (revised Feb. 2008).
[Pdf ]
- Arild Torjusen, Olaf Owe, and Gerardo Schneider.
Towards integration of XML in the Creol object-oriented language.
In Norsk informatikkonferanse 2007, pages 107-111. Tapir Akademisk Forlag, 2007.
[ Compressed postscript | Pdf | Bibtex ].
- Einar Broch Johnsen, Olaf Owe, and Arild B. Torjusen
Validating Behavioral Component Interfaces in Rewriting Logic
Fundamenta Informaticae, 82(4):341-359, 2008.
[ Compressed postscript | Pdf | Bibtex ]. (Extended version of the FSEN05 paper.)
- 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 ].
- 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].
- Arild B. Torjusen
Om matematisk sannhet
Master's thesis, University of Oslo, 1996.
[ps .ps.zip .pdf .pdf.zip].
