Gautham Viswanathan

According to our database, Gautham Viswanathan authored at least 2 papers between 2025 and 2026.

Collaborative distances:

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

2026

Revisiting Stateful Partial-Order Reduction.

Frédéric Herbreteau, Gérald Point, Gautham Viswanathan, Igor Walukiewicz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Using Communication to Bound Clock Drift in Local-Timed Negotiations.

Abhinav Garg, Madhavan Mukund, Adwitee Roy, B. Srivathsan, Gautham Viswanathan

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2025