47 citations · 134 across the 31 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
cs.LO2011★ 47 cited
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads
Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis ex…
cs.FL2011★ 27 cited
Approximating Petri Net Reachability Along Context-free Traces
Mohamed Faouzi Atig, Pierre Ganty
We investigate the problem asking whether the intersection of a context-free language (CFL) and a Petri net language (PNL) is empty. Our contribution to solve this long-standing pr…