1 × USA
N.Suri J.Kinder M.Serafini P.Metzler H.Saissi
reduct (2) support (1) schedul (1) program (1) partial (1) concurr (1) specif (1) domain (1) verif (1) state (1)
Person: Péter Bokor
Wrote 2 papers:
- ASE-2011-BokorKSS #partial order #reduction
- Supporting domain-specific state space reductions through local partial-order reduction (PB, JK, MS, NS), pp. 113–122.
- ASE-2017-MetzlerSBS #concurrent #scheduling #source code #verification
- Quick verification of concurrent programs by iteratively relaxed scheduling (PM, HS, PB, NS), pp. 776–781.