BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Hungary
1 × USA
Collaborated with:
B.Jonsson O.Wibling P.A.Abdulla M.Nilsson J.d'Orso
Talks about:
model (3) regular (2) check (2) systemat (1) protocol (1) grammar (1) acceler (1) verif (1) graph (1) rout (1)

Person: Mayank Saksena

DBLP DBLP: Saksena:Mayank

Contributed to:

TACAS 20082008
CAV 20072007
CAV 20042004

Wrote 3 papers:

TACAS-2008-SaksenaWJ #ad hoc #graph grammar #modelling #protocol #verification
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols (MS, OW, BJ), pp. 18–32.
CAV-2007-JonssonS #model checking
Systematic Acceleration in Regular Model Checking (BJ, MS), pp. 131–144.
CAV-2004-AbdullaJNdS #ltl #model checking
Regular Model Checking for LTL(MSO) (PAA, BJ, MN, Jd, MS), pp. 348–360.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.