5 citations · 9 across the 7 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023★ 1 cited
Monitoring Hyperproperties With Prefix Transducers
Marek Chalupa, Thomas A. Henzinger
Hyperproperties are properties that relate multiple execution traces. Previous work on monitoring hyperproperties focused on synchronous hyperproperties, usually specified in Hyper…
cs.PL2016
Data-centric Dynamic Partial Order Reduction
Marek Chalupa, Krishnendu Chatterjee, Andreas Pavlogiannis +2
We present a new dynamic partial-order reduction method for stateless model checking of concurrent programs. A common approach for exploring program behaviors relies on enumerating…