6 citations · 14 across the 8 of their papers we have counts for
3 papers · 1 filter
Parameterized Verification under TSO with Data Types
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach +4
We consider parameterized verification of systems executing according to the total store ordering (TSO) semantics. The processes manipulate abstract data types over potentially inf…
Optimal Repair For Omega-regular Properties
Vrunda Dave, Shankara Narayanan Krishna, Vishnu Murali +1
This paper presents an optimization based framework to automate system repair against omega-regular properties. In the proposed formalization of optimal repair, the systems are rep…
Improved Undecidability Results for Reachability Games on Recursive Timed Automata
Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi
We study reachability games on recursive timed automata (RTA) that generalize Alur-Dill timed automata with recursive procedure invocation mechanism similar to recursive state mach…