Vinay Mehta

According to our database, Vinay Mehta authored at least 3 papers between 2013 and 2018.

Collaborative distances:

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

2018

An Even Better Approach - Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis.

Ansgar Fehnker, Kaylash Chaudhary, Vinay Mehta

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017

Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol.

Kaylash Chaudhary, Ansgar Fehnker, Vinay Mehta

Proceedings of the Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, 2017

2013

Topology-Based Mobility Models for Wireless Networks.

Ansgar Fehnker, Peter Höfner, Maryam Kamali, Vinay Mehta

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013