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
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski