Specification for Verification. - Hans Hansson; Bengt Jonsson 001; Fredrik Orava; Björn Pehrson (FORTE, 1989)

Verifying Safety and Deadlock Properties of Networks of Asynchronously Communicating Processes. - Fredrik Orava (PSTV, 1989)

Algebraic descriptions of mobile networks: An example. - Fredrik Orava; Joachim Parrow (PSTV, 1990)

Modelling Dynamic Communication Structures in LOTOS. - Lars-Åke Fredlund; Fredrik Orava (FORTE, 1991)

Refining Interfaces of Communicating Systems. - Ed Brinksma; Bengt Jonsson 001; Fredrik Orava (TAPSOFT, Vol.2, 1991)

A Process Calculus with Incomparable Priorities. - Hans Hansson; Fredrik Orava (NAPAW, 1992)

An Algebraic Verification of a Mobile Network. - Fredrik Orava; Joachim Parrow (Formal Aspects Comput., 1992)

Formalising and Prototyping a Concurrent Object-Based Language. - Lars-Åke Fredlund; Jari Koistinen; Fredrik Orava (LOMAPS, 1996)

Global growth of open access networks: from warchalking and connection sharing to sustainable business. - Roberto Battiti; Renato Lo Cigno; Fredrik Orava; Björn Pehrson (WMASH, 2003)

Inter-Domain Routing in Optical Networks. - Américo Muchanga; Lena Wosinska; Fredrik Orava; Joanna Haralson (OpNeTec, 2004)

Wireless LANs: From WarChalking to Open Access Networks. - Roberto Battiti; Renato Lo Cigno; Mikalai Sabel; Fredrik Orava; Björn Pehrson (Mob. Networks Appl., 2005)