S. Arun-Kumar

Affiliations:
  • Indian Institute of Technology Delhi, Department of Computer Science and Engineering, India


According to our database1, S. Arun-Kumar authored at least 9 papers between 2012 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2012
2013
2014
2015
2016
2017
0
1
2
3
1
1
1
1
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Logical Characterisation of Parameterised Bisimulations.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

2016
Efficient Verification of Concurrent Programs Over TSO Memory Model.
CoRR, 2016

From Traces to Proofs: Proving Concurrent Programs Safe.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

2015
From Traces To Proofs: Proving Concurrent Program Safe.
CoRR, 2015

2014
Reducing Clocks in Timed Automata while Preserving Bisimulation.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Parameterised Bisimulations: Some Applications.
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013
Inferring Fences in a Concurrent Program Using SC proof of Correctness
CoRR, 2013

A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization.
Proceedings of the Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, 2013

2012
On Decidability of Prebisimulation for Timed Automata.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012


  Loading...