5 citations · 8 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017
On Petri Nets with Hierarchical Special Arcs
S. Akshay, Supratik Chakraborty, Ankush Das +2
We investigate the decidability of termination, reachability, coverability and deadlock-freeness of Petri nets endowed with a hierarchy on places, and with inhibitor arcs, reset ar…
cs.PL2017
Precise Null Pointer Analysis Through Global Value Numbering
Ankush Das, Akash Lal
Precise analysis of pointer information plays an important role in many static analysis techniques and tools today. The precision, however, must be balanced against the scalability…