Oskar Wibling

According to our database, Oskar Wibling authored at least 4 papers between 2004 and 2008.

Collaborative distances:

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

2008

Creating Correct Network Protocols.

Oskar Wibling

PhD thesis, 2008

Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols.

Mayank Saksena, Oskar Wibling, Bengt Jonsson

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2005

Ad Hoc Routing Protocol Verification Through Broadcast Abstraction.

Oskar Wibling, Joachim Parrow, Arnold Neville Pears

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

2004

Automatized Verification of Ad Hoc Routing Protocols.

Oskar Wibling, Joachim Parrow, Arnold Neville Pears

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004