Mayank Saksena

According to our database, Mayank Saksena authored at least 7 papers between 2003 and 2012.

Collaborative distances:

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

2012

Regular model checking for LTL(MSO).

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena

Int. J. Softw. Tools Technol. Transf., 2012

2008

Verifying Absence of ∞ Loops in Parameterized Protocols.

Mayank Saksena

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

2007

Systematic Acceleration in Regular Model Checking.

Bengt Jonsson, Mayank Saksena

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Proving Liveness by Backwards Reachability.

Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2004

A Survey of Regular Model Checking.

Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Insights to Angluin's Learning.

Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena

Proceedings of the International Workshop on Software Verification and Validation, 2003