Research

Pranav Singh & S. Arun-Kumar: Axiomatization of a Class of Parametrised Bisimilarities
- Perspectives in Concurrency Theory (eds. Lodaya K, Mukund M, Ramanujam R) , Universities Press 2009 (ISBN 978-81-7371-652-2).
- Paper (PDF)
S. Arun-Kumar: On Bisimilarities Induced by Relations on Actions
- Proceedings 4th IEEE International Conference on Software Engineering and Formal Methods , Pune, India, IEEE Computer Society Press, 2006.
- Paper (PDF)
- Slides (PDF)
Suhas Gupta, Pranay Pratap, Huzur Saran & S. Arun-Kumar: Dynamic code instrumentation to detect and recover from return address corruption
- Proceedings of the 2006 international workshop on Dynamic systems analysis, Shanghai, China, ACM Press, 2006
Astrid Kiehn & S. Arun-Kumar: Amortised Bisimulations
- Proceedings Formal Techniques for Networked and Distributed Systems - FORTE 2005, Taipei, Taiwan, October 2-5, 2005, LNCS 3731, Springer-Verlag 2005..
- Paper (PDF)
- Slides (PDF) presented at the Workshop on Formal Methods for Design and Analysis of Software, October 7-8, 2005, Microsoft Research India, Bangalore.
Jamshid B Mohasefi & S. Arun-Kumar: Flexible Communication of Agents Based on FIPA-ACL
- Proceedings IPM International Workshop on Foundations of Software Engineering 2005, FSEN 2005, October 2005, Tehran, Iran.(PDF)
- Electronic Notes in Theoretical Computer Science, Vol. 159, pp. 23-39, May 2006.
- Paper (PDF).
- Slides (Postscript Gzipped))
Jamshid B Mohasefi & S. Arun-Kumar: Layered Clausal Rersolution in the Multi-modal Logic of Beliefs and Goals
- Proceedings Logic for Programming, Artificial Intelligence, and Reasoning, Montevideo, Uruguay, LNAI 3452, Springer-Verlag 2005.
- Postscript-Gzipped
- Slides (PDF))
Neelesh Korade & S. Arun-Kumar: A Logical characterization of Efficiency Preorders
- Proceedings First International Colloquium on THEORETICAL ASPECTS OF COMPUTING-ICTAC 2004, Guiyang, China, LNCS 3407, Springer-Verlag 2005.
- Paper (PDF)
- Slides (PDF)
Jamshid B Mohasefi & S. Arun-Kumar: A Multi-agent Framework Based on Communication and Concurrency
- Proceedings Distributed Computing-IWDC 2004, Kolkata, India, LNCS 3326, Springer-Verlag 2004.
- Paper (PDF)
- Slides (Postscript-Gzipped))
S. Arun-Kumar & Manish Gaur: Deciding Efficiency Prebisimulations
- Slides. Postscript-gzipped
The IIT Delhi Concurrency Workbench

Slides (PDF) presented at the NWCV Workshop, Gandhinagar, May 2005
Kumar Neeraj Verma, Jean Goubault-Larrecq, Sanjiva Prasad & S. Arun-Kumar: Reflecting BDDs in Coq
- Proceedings Asian 2000, Penang, Malaysia, LNCS vol. 1961, pp 162-181, Springer-Verlag 2000.
- Paper (Postscript-gzipped)
- Slitex slides (postscript-gzipped)
- HTML slides
Sanjiva Prasad & S. Arun-Kumar: Introduction to Operational Semantics
- Chapter in The Compiler Design Handbook: Optimizations and Machine Code Generation (ed.) Y.N. Srikant & P. Sankar, CRC Press 2003.
S. Arun-Kumar & Vishal Grover: The Conformance Relation for the Fusion Calculus
- B. Tech. thesis. Postscript-gzipped
- Slides. Postscript-gzipped
- Slides: Workshop on Automata, Concurrency and Logic 2003, Chennai. Postscript-gzipped
Amitabha Bagchi & S. Arun-Kumar: A Strong Efficiency Preorder for Mobile Processes
- Technical Report.Postscript-gzipped
Kamal Jain & S. Arun-Kumar: Testing Processes for Efficiency
- Proceedings FST&TCS 16, LNCS, Springer-Verlag 1996.
- Minor revisions Postscript-gzipped
S. Arun-Kumar & V. Natarajan: Conformance: A Precongruence Close to Bisimilarity
- Proceedings, Structures in Concurrency Theory, Springer Workshops in Computer Science Series, 1995.Postscript-gzipped
S. Arun-Kumar & M. Hennessy: An Efficiency Preorder for Processes
- Proceedings TACS '91, Sendai Japan, LNCS, Springer-Verlag 1991.
- Acta Informatica, Springer-Verlag 1992.
- Corrected, revised and extended version.Postscript-gzipped

This page is under construction (as always!).

S. Arun-Kumar

Last modified: Tue Sep 19 17:53:03 2006