S. Arun-Kumar

11 papers A* 1B 1C 3Misc 1Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2021 C ed.
MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021
MEMOCODE
S. Arun-Kumar, Dominique Méry, Indranil Saha, Lijun Zhang
2017 C conf
Logical Characterisation of Parameterised Bisimulations.
ICTAC
Divyanshu Bagga, S. Arun-Kumar
2016 J jnl
Efficient Verification of Concurrent Programs Over TSO Memory Model.
CoRR
Chinmay Narayan, Subodh Sharma, S. Arun-Kumar
2016 Misc conf
From Traces to Proofs: Proving Concurrent Programs Safe.
TASE
Chinmay Narayan, Subodh Vishnu Sharma, Shibashis Guha, S. Arun-Kumar
2015 J jnl
From Traces To Proofs: Proving Concurrent Program Safe.
CoRR
Chinmay Narayan, Shibashis Guha, S. Arun-Kumar
2014 C conf
Parameterised Bisimulations: Some Applications.
RAMiCS
S. Arun-Kumar, Divyanshu Bagga
2014 B conf
Reducing Clocks in Timed Automata while Preserving Bisimulation.
CONCUR
Shibashis Guha, Chinmay Narayan, S. Arun-Kumar
2014 J jnl
Reducing Clocks in Timed Automata while Preserving Bisimulation.
CoRR
Shibashis Guha, Chinmay Narayan, S. Arun-Kumar
2013 — conf
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization.
EXPRESS/SOS
Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan, S. Arun-Kumar
2013 J jnl
Inferring Fences in a Concurrent Program Using SC proof of Correctness
CoRR
Chinmay Narayan, Shibashis Guha, S. Arun-Kumar
2012 A* conf
On Decidability of Prebisimulation for Timed Automata.
CAV
Shibashis Guha, Chinmay Narayan, S. Arun-Kumar