Validating Behavioral Component Interfaces in Rewriting Logic. - Einar Broch Johnsen; Olaf Owe; Arild B. Torjusen (Fundam. Informaticae, 2008)

Executable Interface Specifications for Testing Asynchronous Creol Components. - Immo Grabe; Marcel Kyas; Martin Steffen; Arild B. Torjusen (FSEN, 2009)

Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting. - Olaf Owe; Martin Steffen; Arild B. Torjusen (MBT@ETAPS, 2010)

Specification-based verification and testing of open distributed systems. - Arild B. Torjusen (2011)

Towards Run-Time Verification of Adaptive Security for IoT in eHealth. - Arild B. Torjusen; Habtamu Abie; Ebenezer Paintsil; Denis Trcek; Åsmund Skomedal (ECSA Workshops, 2014)