Travelled to:1 × Russia
1 × The Netherlands
Collaborated with:S.Biallas F.Cassez R.Huuck A.Laarman A.E.Dalsgaard K.G.Larsen J.v.d.Pol
Talks about:automata (1) abstract (1) tracker (1) pragmat (1) pointer (1) analysi (1) inclus (1) multi (1) empti (1) check (1)
Person: Mads Chr. Olesen
DBLP: Olesen:Mads_Chr=
Contributed to:
2013
2013Wrote 2 papers:
- CAV-2013-LaarmanODLP #abstraction #automaton #manycore #using
- Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction (AL, MCO, AED, KGL, JvdP), pp. 968–983.
- SCAM-2013-BiallasOCH #analysis #named #pointer
- PtrTracker: Pragmatic pointer analysis (SB, MCO, FC, RH), pp. 69–73.