C
Chinmay Narayan
Researcher at Indian Institute of Technology Delhi
Publications - 10
Citations - 148
Chinmay Narayan is an academic researcher from Indian Institute of Technology Delhi. The author has contributed to research in topics: Timed automaton & Memory model. The author has an hindex of 4, co-authored 10 publications receiving 129 citations.
Papers
More filters
Proceedings ArticleDOI
Relaxed separation logic: a program logic for C11 concurrency
Viktor Vafeiadis,Chinmay Narayan +1 more
TL;DR: Relaxed separation logic (RSL), the first program logic for reasoning about concurrent programs running under the C11 relaxed memory model, is introduced with proof rules for the various kinds of C11 atomic accesses.
Book ChapterDOI
On decidability of prebisimulation for timed automata
TL;DR: This paper proposes an at least as fast as relation between two timed automata states and investigates its decidability, the first of the kind where it is decidable whether such a prebisimulation relation exists between them.
Book ChapterDOI
Reducing Clocks in Timed Automata while Preserving Bisimulation
TL;DR: This paper gives a construction, which for any given timed automaton produces a timed bisimilar automaton with the least number of clocks, and shows that such an automaton can be constructed in time that is doubly exponential in the number of clock of the original automaton.
Journal ArticleDOI
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization
TL;DR: A zone based method for deciding timed relations in which an explicit product construction of the region graphs or the zone graphs is eliminated and this method is also generic and can be used to decide several timed relations.
Journal ArticleDOI
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization
TL;DR: In this article, a zone-based method was proposed to decide various bisimulations, simulation equivalences and preorders between two timed automata states, which can be used to decide several timed relations.