Arild B. Torjusen

According to our database, Arild B. Torjusen authored at least 5 papers between 2005 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Towards Run-Time Verification of Adaptive Security for IoT in eHealth.

Arild B. Torjusen, Habtamu Abie, Ebenezer Paintsil, Denis Trcek, Åsmund Skomedal

Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014

2011

Specification-based verification and testing of open distributed systems.

Arild B. Torjusen

PhD thesis, 2011

2010

Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting.

Olaf Owe, Martin Steffen, Arild B. Torjusen

Proceedings of the Sixth Workshop on Model-Based Testing, 2010

2009

Executable Interface Specifications for Testing Asynchronous Creol Components.

Immo Grabe, Marcel Kyas, Martin Steffen, Arild B. Torjusen

Proceedings of the Fundamentals of Software Engineering, 2009

2005

Validating Behavioral Component Interfaces in Rewriting Logic.

Einar Broch Johnsen, Olaf Owe, Arild B. Torjusen

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005