Collaborated with:P.G.Jensen K.G.Larsen M.Muñiz J.Srba
Talks about:time (2) partial (1) urgent (1) system (1) reduct (1) start (1) prune (1) order (1) when (1) get (1)
Person: Frederik M. Bønneland
DBLP: B=oslash=nneland:Frederik_M=
Contributed to:
2018Wrote 1 papers:
- CAV-2018-BonnelandJLMS #partial order #reduction
- Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems (FMB, PGJ, KGL, MM, JS), pp. 527–546.