Travelled to:1 × United Kingdom
Collaborated with:K.G.Larsen A.David M.Mikucionis J.H.Taankvist F.M.Bønneland M.Muñiz J.Srba
Talks about:time (2) stratego (1) partial (1) urgent (1) uppaal (1) system (1) reduct (1) start (1) prune (1) order (1)
Person: Peter Gjøl Jensen
DBLP: Jensen:Peter_Gj=oslash=l
Contributed to:
2015
2018Wrote 2 papers:
- TACAS-2015-DavidJLMT #stratego
- Uppaal Stratego (AD, PGJ, KGL, MM, JHT), pp. 206–211.
- 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.