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: Saksena:Mayank
Contributed to:
2008
20072004Wrote 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.