6 citations · 18 across the 17 of their papers we have counts for
1 paper · 1 filter
Chukri Soueidi, Ylies Falcone
Monitoring concurrent programs typically rely on collecting traces to abstract program executions. However, existing approaches targeting general behavioral properties are either n…