Fredrik Orava
Fredrik Orava
Associate Professor, KTH, Stockholm, Sweden
Verified email at
Cited by
Cited by
Method of sending information through a tree and ring topology of a network system
F Orava, L Ramfelt
US Patent 7,391,771, 2008
An algebraic verification of a mobile network
F Orava, J Parrow
Formal aspects of computing 4 (6), 497-543, 1992
Wireless LANs: from warchalking to open access networks
R Battiti, RL Cigno, M Sabel, F Orava, B Pehrson
Mobile Networks and Applications 10 (3), 275-287, 2005
Refining interfaces of communicating systems
E Brinksma, B Jonsson, F Orava
International Joint Conference on Theory and Practice of Software …, 1991
Global growth of open access networks: from warchalking and connection sharing to sustainable business
R Battiti, R Lo Cigno, F Orava, B Pehrson
Proceedings of the 1st ACM international workshop on Wireless mobile …, 2003
Formal semantics of SDL specifications
F Orava
Protocol Specification, Testing, and Verification VIII, 1988
Modelling dynamic communication structures in LOTOS
L Fredlund, F Orava
Formal Description Techniques, IV, 185-200, 1992
A process calculus with incomparable priorities
H Hansson, F Orava
NAPAW 92, 43-64, 1993
The DIY approach to QoS
G Karisson, F Orava
1999 Seventh International Workshop on Quality of Service. IWQoS'99.(Cat. No …, 1999
Restoration mechanism for network topologies
F Orava, L Ramfelt
US Patent App. 10/778,291, 2005
Tandem node system and a method therefor
F Orava, L Ramfelt
US Patent 7,174,389, 2007
Algebraic descriptions of mobile networks: An example
F Orava, J Parrow
Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990
Verifying safety and deadlock properties of networks of asynchronously communicating processes
F Orava
SICS Research Report, 1988
Method of sending a packet through a node
F Orava, L Ramfelt
US Patent 7,283,524, 2007
Inter-layer communication for improving restoration time in optical networks
AF Muchanga, L Wonsiska, F Orava
National Fiber Optic Engineers Conference, NThB3, 2006
An experiment in formalizing and analysing railyard configurations
L Fredlund, F Orava
Proceedings of COST 247, 51-60, 1996
An Algebraic Verification of a Mobile Network
F Orava, J Parrow
Formal Aspects of Computing 4 (6), 1996
Analysing a-calculus specification of a cache coherence protocol
LH Eriksson, F Orava
Research Report, Swedish Institute of Computer Science, 1994
Guidelines for specification and verification of communication protocols
P Ernberg, LA Fredlund, H Hansson, B Jonsson, F Orava, B Pehrson
Swedish Institute of Computer Science, 1991
Formal design of communication protocols
H Hansson, B Jonsson, F Orava, B Pehrson
International Symposium on Switching 4, 99-104, 1990
The system can't perform the operation now. Try again later.
Articles 1–20