Protocol verification with reactive Promela/Rspin. - Elie Najm; Frank Olsen (The Spin Verification System, 1996)

Reactive EFSMs - Reactive Promela/RSPIN. - Elie Najm; Frank Olsen (TACAS, 1996)

From SIBS to Distributed Objects: A Transformation Approach for Service Creation. - Elie Najm; Frank Olsen; Sylvie Vignes (SMARTNET, 1999)

Economic gains from electronic message exchange: The importance of working procedures. - Margrethe Aanesen; Mikko Moilanen; Frank Olsen (Int. J. Medical Informatics, 2010)

Smarter elder care? A cost-effectiveness analysis of implementing technology in elder care. - Margrethe Aanesen; Ann Therese Lotherington; Frank Olsen (Health Informatics J., 2011)