%0 Conference Paper %1 Saksena08 %A Saksena, Mayank %A Wibling, Oskar %A Jonsson, Bengt %B Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems %C Berlin, Heidelberg %D 2008 %I Springer-Verlag %K MANET modeling routing verification ad-hoc formal %P 18--32 %T Graph grammar modeling and verification of ad hoc routing protocols %U http://portal.acm.org/citation.cfm?id=1792734.1792739 %@ 3-540-78799-2, 978-3-540-78799-0

@inproceedings{Saksena08, acmid = {1792739}, added-at = {2011-07-15T15:18:02.000+0200}, address = {Berlin, Heidelberg}, author = {Saksena, Mayank and Wibling, Oskar and Jonsson, Bengt}, biburl = {https://www.bibsonomy.org/bibtex/2162ba1f8a6f6b6108eb6dc3f106f346f/msteele}, booktitle = {Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems}, file = {:I\:\\My Documents\\Thesis\\Research\\Saksena08.pdf:PDF}, interhash = {98f8fbb707c8c32ba8861994a1d9aa34}, intrahash = {162ba1f8a6f6b6108eb6dc3f106f346f}, isbn = {3-540-78799-2, 978-3-540-78799-0}, keywords = {MANET modeling routing verification ad-hoc formal}, location = {Budapest, Hungary}, numpages = {15}, owner = {Matt}, pages = {18--32}, publisher = {Springer-Verlag}, review = {Saksena introduces Graph transformation systems (GTS) for use in the formal verification of routing protocols. The claim is that their methodology can be used to formally verify ad hoc routing protocol loop freedom in arbitrarily sized MANETs. DYMO is the routing protocol analyzed, it is a reactive routing protocol. They claim their methods can trivially be extended to other reactive protocols.}, series = {TACAS'08/ETAPS'08}, timestamp = {2011-07-15T19:53:10.000+0200}, title = {Graph grammar modeling and verification of ad hoc routing protocols}, url = {http://portal.acm.org/citation.cfm?id=1792734.1792739}, year = 2008 }