Fredrik Orava

11 papers C 2Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2005 J jnl
Wireless LANs: From WarChalking to Open Access Networks.
Mob. Networks Appl.
Roberto Battiti, Renato Lo Cigno, Mikalai Sabel, Fredrik Orava, Björn Pehrson
2004 — conf
Inter-Domain Routing in Optical Networks.
OpNeTec
Américo Muchanga, Lena Wosinska, Fredrik Orava, Joanna Haralson
2003 — conf
Global growth of open access networks: from warchalking and connection sharing to sustainable business.
WMASH
Roberto Battiti, Renato Lo Cigno, Fredrik Orava, Björn Pehrson
1996 — conf
Formalising and Prototyping a Concurrent Object-Based Language.
LOMAPS
Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava
1992 — conf
A Process Calculus with Incomparable Priorities.
NAPAW
Hans Hansson, Fredrik Orava
1992 J jnl
An Algebraic Verification of a Mobile Network.
Formal Aspects Comput.
Fredrik Orava, Joachim Parrow
1991 C conf
Modelling Dynamic Communication Structures in LOTOS.
FORTE
Lars-Åke Fredlund, Fredrik Orava
1991 — conf
Refining Interfaces of Communicating Systems.
TAPSOFT, Vol.2
Ed Brinksma, Bengt Jonsson, Fredrik Orava
1990 — conf
Algebraic descriptions of mobile networks: An example.
PSTV
Fredrik Orava, Joachim Parrow
1989 C conf
Specification for Verification.
FORTE
Hans Hansson, Bengt Jonsson, Fredrik Orava, Björn Pehrson
1989 — conf
Verifying Safety and Deadlock Properties of Networks of Asynchronously Communicating Processes.
PSTV
Fredrik Orava