Fredrik Orava
Fredrik Orava
Associate Professor, KTH, Stockholm, Sweden
Verified email at orava.com
Title
Cited by
Cited by
Year
Method of sending information through a tree and ring topology of a network system
F Orava, L Ramfelt
US Patent 7,391,771, 2008
1392008
An algebraic verification of a mobile network
F Orava, J Parrow
Formal aspects of computing 4 (6), 497-543, 1992
1341992
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
782005
Refining interfaces of communicating systems
E Brinksma, B Jonsson, F Orava
International Joint Conference on Theory and Practice of Software …, 1991
451991
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
272003
Formal semantics of SDL specifications
F Orava
Protocol Specification, Testing, and Verification VIII, 1988
231988
Modelling dynamic communication structures in LOTOS
L Fredlund, F Orava
Formal Description Techniques, IV, 185-200, 1992
191992
A process calculus with incomparable priorities
H Hansson, F Orava
NAPAW 92, 43-64, 1993
161993
The DIY approach to QoS
G Karisson, F Orava
1999 Seventh International Workshop on Quality of Service. IWQoS'99.(Cat. No …, 1999
141999
Restoration mechanism for network topologies
F Orava, L Ramfelt
US Patent App. 10/778,291, 2005
132005
Tandem node system and a method therefor
F Orava, L Ramfelt
US Patent 7,174,389, 2007
122007
Algebraic descriptions of mobile networks: An example
F Orava, J Parrow
Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990
91990
Verifying safety and deadlock properties of networks of asynchronously communicating processes
F Orava
SICS Research Report, 1988
91988
Method of sending a packet through a node
F Orava, L Ramfelt
US Patent 7,283,524, 2007
52007
Inter-layer communication for improving restoration time in optical networks
AF Muchanga, L Wonsiska, F Orava
National Fiber Optic Engineers Conference, NThB3, 2006
52006
An experiment in formalizing and analysing railyard configurations
L Fredlund, F Orava
Proceedings of COST 247, 51-60, 1996
41996
An Algebraic Verification of a Mobile Network
F Orava, J Parrow
Formal Aspects of Computing 4 (6), 1996
41996
Analysing a-calculus specification of a cache coherence protocol
LH Eriksson, F Orava
Research Report, Swedish Institute of Computer Science, 1994
41994
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
41991
Formal design of communication protocols
H Hansson, B Jonsson, F Orava, B Pehrson
International Symposium on Switching 4, 99-104, 1990
31990
The system can't perform the operation now. Try again later.
Articles 1–20