Fredrik Orava

According to our database, Fredrik Orava authored at least 11 papers between 1989 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Wireless LANs: From WarChalking to Open Access Networks.

Roberto Battiti, Renato Lo Cigno, Mikalai Sabel, Fredrik Orava, Björn Pehrson

Mob. Networks Appl., 2005

2004

Inter-Domain Routing in Optical Networks.

Américo Muchanga, Lena Wosinska, Fredrik Orava, Joanna Haralson

Proceedings of the Optical Networks and Technologies, 2004

2003

Global growth of open access networks: from warchalking and connection sharing to sustainable business.

Roberto Battiti, Renato Lo Cigno, Fredrik Orava, Björn Pehrson

Proceedings of the 1st ACM International Workshop on Wireless Mobile Applications and Services on WLAN Hotspots, 2003

1996

Formalising and Prototyping a Concurrent Object-Based Language.

Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1992

An Algebraic Verification of a Mobile Network.

Fredrik Orava, Joachim Parrow

Formal Aspects Comput., 1992

A Process Calculus with Incomparable Priorities.

Hans Hansson, Fredrik Orava

Proceedings of the NAPAW 92, 1992

1991

Refining Interfaces of Communicating Systems.

Ed Brinksma, Bengt Jonsson, Fredrik Orava

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Modelling Dynamic Communication Structures in LOTOS.

Lars-Åke Fredlund, Fredrik Orava

Proceedings of the Formal Description Techniques, 1991

1990

Algebraic descriptions of mobile networks: An example.

Fredrik Orava, Joachim Parrow

Proceedings of the Protocol Specification, 1990

1989

Verifying Safety and Deadlock Properties of Networks of Asynchronously Communicating Processes.

Fredrik Orava

Proceedings of the Protocol Specification, 1989

Specification for Verification.

Hans Hansson, Bengt Jonsson, Fredrik Orava, Björn Pehrson

Proceedings of the Formal Description Techniques, 1989