Mayank Saksena

:)  
 
On 18 April 2008 I became "Dr. Mayank". ;)
I was a PhD student at DoCS from the autumn of 2002 until the spring of 2008.
My main research was algorithmic verification; in particular regular model checking.
My supervisor was Bengt Jonsson.
 
Everything should be made as simple as possible, but not one bit simpler.
Albert Einstein

PhD Defense

Information about my defense is still available here.

Papers

  •  
  •  
  •  
  • Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
    Mayank Saksena, Oskar Wibling and Bengt Jonsson
    In Proc. 14th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, 2008.
    © Springer-Verlag. LNCS at Springer Verlag.
    [PDF] [Presentation] [BibTeX]
  • Systematic Acceleration in Regular Model Checking
    Bengt Jonsson and Mayank Saksena
    In Proc. 19th Int. Conf. on Computer Aided Verification, Lecture Notes in Computer Science, 2007.
    © Springer-Verlag. LNCS at Springer Verlag.
    [PDF] [Presentation] [BibTeX]
  • Proving Liveness by Backwards Reachability
    Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, and Mayank Saksena
    In Proc. 17th Int. Conf. on Concurrency Theory, Lecture Notes in Computer Science, 2006.
    © Springer-Verlag. LNCS at Springer Verlag.
    [PDF] [Presentation] [BibTeX]
  • A Survey of Regular Model Checking
    Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, and Mayank Saksena
    In Proc. 14th Int. Conf. on Concurrency Theory, Lecture Notes in Computer Science, 2004.
    © Springer-Verlag. LNCS at Springer Verlag.
    [Compressed Postscript] [BibTeX]
  • Regular Model Checking for LTL(MSO)
    Parosh Aziz Abdulla, Julien d'Orso, Bengt Jonsson, Marcus Nilsson, and Mayank Saksena
    In Proc. 16th Int. Conf. on Computer Aided Verification, Lecture Notes in Computer Science, 2004.
    © Springer-Verlag. LNCS at Springer Verlag.
    [Compressed Postscript] [Presentation] [BibTeX]
  • Insights to Angluin's Learning
    Therese Berg, Bengt Jonsson, Martin Leucker, and Mayank Saksena
    In Proc. Int. Workshop on Software Verification and Validation, Electronic Notes in Theoretical Computer Science, 2003.
    [PDF] [BibTeX]

Contact information

Address & e-mail: see the directory
Phone numbers: office: +46 18 471 6208, mobile: +46 73 630 93 56
Google

Valid HTML 4.01! Valid CSS!