Mayank Saksena
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2004–2008
Best venue rank
A*
Where they publish
Papers
5 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 |
| 2007 | CAV | Systematic Acceleration in Regular Model Checking. | Bengt Jonsson, Mayank Saksena |
| 2006 | CONCUR | Proving Liveness by Backwards Reachability. | Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena |
| 2004 | CAV | Regular Model Checking for LTL(MSO). | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena |
| 2004 | CONCUR | A Survey of Regular Model Checking. | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena |