10 citations · 13 across the 12 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.SE2012★ 1 cited
Compositional Verification of Evolving Software Product Lines
Jean-Vivien Millo, S. Ramesh, Shankara Narayanan Krishna +1
This paper presents a novel approach to the design verification of Software Product Lines(SPL). The proposed approach assumes that the requirements and designs are modeled as finit…
cs.FL2012
Game Characterizations of Timed Relations for Timed Automata Processes
Shibashis Guha, Shankara Narayanan Krishna
In this work, we design the game semantics for timed equivalences and preorders of timed processes. The timed games corresponding to the various timed relations form a hierarchy. T…