Oskar Wibling
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2004–2008
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | TACAS | Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols. | Mayank Saksena, Oskar Wibling, Bengt Jonsson |
| 2005 | FORTE | Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. | Oskar Wibling, Joachim Parrow, Arnold Neville Pears |
| 2004 | FORTE | Automatized Verification of Ad Hoc Routing Protocols. | Oskar Wibling, Joachim Parrow, Arnold Neville Pears |