Arild B. Torjusen

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Towards Run-Time Verification of Adaptive Security for IoT in eHealth.
Proceedings of the ECSA 2014 Workshops & Tool Demos Track, 2014

2011
Specification-based verification and testing of open distributed systems.
PhD thesis, 2011

2010
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting.
Proceedings of the Sixth Workshop on Model-Based Testing, 2010

2009
Executable Interface Specifications for Testing Asynchronous Creol Components.
Proceedings of the Fundamentals of Software Engineering, 2009

2008
Validating Behavioral Component Interfaces in Rewriting Logic.
Fundam. Informaticae, 2008


  Loading...