Mayank Saksena

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Topics

Automated Verification

Linear Time Temporal Logic

Top Venues

Int. J. Softw. Tools Technol. Transf.

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena
Regular model checking for LTL(MSO). Int. J. Softw. Tools Technol. Transf. 14 (2) (2012)
Mayank Saksena, Oskar Wibling, Bengt Jonsson
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols. TACAS (2008)
Bengt Jonsson, Mayank Saksena
Systematic Acceleration in Regular Model Checking. CAV (2007)
Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena
Proving Liveness by Backwards Reachability. CONCUR (2006)
Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena
Insights to Angluin's Learning. Electron. Notes Theor. Comput. Sci. 118 (2005)
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena
Regular Model Checking for LTL(MSO). CAV (2004)
Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena
A Survey of Regular Model Checking. CONCUR (2004)