| 2008 |
|---|
| 6 | EE | Mayank Saksena,
Oskar Wibling,
Bengt Jonsson:
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols.
TACAS 2008: 18-32 |
| 2007 |
|---|
| 5 | EE | Bengt Jonsson,
Mayank Saksena:
Systematic Acceleration in Regular Model Checking.
CAV 2007: 131-144 |
| 2006 |
|---|
| 4 | EE | Parosh Aziz Abdulla,
Bengt Jonsson,
Ahmed Rezine,
Mayank Saksena:
Proving Liveness by Backwards Reachability.
CONCUR 2006: 95-109 |
| 2005 |
|---|
| 3 | EE | Therese Berg,
Bengt Jonsson,
Martin Leucker,
Mayank Saksena:
Insights to Angluin's Learning.
Electr. Notes Theor. Comput. Sci. 118: 3-18 (2005) |
| 2004 |
|---|
| 2 | EE | Parosh Aziz Abdulla,
Bengt Jonsson,
Marcus Nilsson,
Julien d'Orso,
Mayank Saksena:
Regular Model Checking for LTL(MSO).
CAV 2004: 348-360 |
| 1 | EE | Parosh Aziz Abdulla,
Bengt Jonsson,
Marcus Nilsson,
Mayank Saksena:
A Survey of Regular Model Checking.
CONCUR 2004: 35-48 |
