S. Arun-Kumar

Publication Activity (10 Years)

Years Active: 2012-2016
Publications (10 Years): 2

Top Topics

Concurrent Programs

Real Time Systems

Top Venues

Publications

Chinmay Narayan, Subodh Vishnu Sharma, Shibashis Guha, S. Arun-Kumar
From Traces to Proofs: Proving Concurrent Programs Safe. TASE (2016)
Chinmay Narayan, Subodh Sharma, S. Arun-Kumar
Efficient Verification of Concurrent Programs Over TSO Memory Model. CoRR (2016)
Chinmay Narayan, Shibashis Guha, S. Arun-Kumar
From Traces To Proofs: Proving Concurrent Program Safe. CoRR (2015)
Shibashis Guha, Chinmay Narayan, S. Arun-Kumar
Reducing Clocks in Timed Automata while Preserving Bisimulation. CoRR (2014)
Shibashis Guha, Chinmay Narayan, S. Arun-Kumar
Reducing Clocks in Timed Automata while Preserving Bisimulation. CONCUR (2014)
Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan, S. Arun-Kumar
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization. EXPRESS/SOS (2013)
Chinmay Narayan, Shibashis Guha, S. Arun-Kumar
Inferring Fences in a Concurrent Program Using SC proof of Correctness CoRR (2013)
Shibashis Guha, Chinmay Narayan, S. Arun-Kumar
On Decidability of Prebisimulation for Timed Automata. CAV (2012)