Research


  1. Divyanshu Bagga & S. Arun-Kumar: Logical Characterisation of Parameterised Bisimulations

  2. Chinmay Narayan, Subodh Sharma, Shibashis Guha & S. Arun-Kumar: From Traces To Proofs: Proving Concurrent Programs Safe

  3. Mangala Gowri Nanda & S. Arun-Kumar: Decompiling Boolean Expressions from Java Bytecode

  4. Shibashis Guha, Chinmay Narayan & S. Arun-Kumar: Reducing Clocks in Timed Automata while Preserving Bisimulation

  5. S. Arun-Kumar & Divyanshu Bagga: Parameterised Bisimulations: Some Applications

  6. Shibashis Guha, Shankara Narayanan Krishna, Chinmay Narayan & S. Arun-Kumar: A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization

  7. Manish Gaur & S. Arun-Kumar: On Efficiency Preorders

  8. Shibashis Guha, Chinmay Narayan, S. Arun-Kumar: On Decidability of Prebisimulation for Timed Automata

  9. Pranav Singh & S. Arun-Kumar: Axiomatization of a Class of Parametrised Bisimilarities

  10. S. Arun-Kumar: On Bisimilarities Induced by Relations on Actions

  11. Suhas Gupta, Pranay Pratap, Huzur Saran & S. Arun-Kumar: Dynamic code instrumentation to detect and recover from return address corruption

  12. Astrid Kiehn & S. Arun-Kumar: Amortised Bisimulations

  13. Jamshid B Mohasefi & S. Arun-Kumar: Flexible Communication of Agents Based on FIPA-ACL

  14. Jamshid B Mohasefi & S. Arun-Kumar: Layered Clausal Rersolution in the Multi-modal Logic of Beliefs and Goals

  15. Neelesh Korade & S. Arun-Kumar: A Logical characterization of Efficiency Preorders

  16. Jamshid B Mohasefi & S. Arun-Kumar: A Multi-agent Framework Based on Communication and Concurrency

  17. S. Arun-Kumar & Manish Gaur: Deciding Efficiency Prebisimulations

  18. The IIT Delhi Concurrency Workbench The IIT Delhi Concurrency Workbench
    Slides (PDF) presented at the NWCV Workshop, Gandhinagar, May 2005

  19. Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad & S. Arun-Kumar: Reflecting BDDs in Coq

  20. Sanjiva Prasad & S. Arun-Kumar: Introduction to Operational Semantics

  21. S. Arun-Kumar & Vishal Grover: The Conformance Relation for the Fusion Calculus

  22. Amitabha Bagchi & S. Arun-Kumar: A Strong Efficiency Preorder for Mobile Processes

  23. Kamal Jain & S. Arun-Kumar: Testing Processes for Efficiency

  24. S. Arun-Kumar & V. Natarajan: Conformance: A Precongruence Close to Bisimilarity

  25. S. Arun-Kumar & M. Hennessy: An Efficiency Preorder for Processes

  26. S. R. Goregaokar & S. Arun-Kumar: A Characterization of Asynchronous Message-passing


This page is under construction (as always!).
S. Arun-Kumar

Last modified: Fri Nov 10 15:56:16 IST 2017