Travelled to:
1 × Germany
1 × USA
Collaborated with:
J.Katoen H.Wu A.Kumar B.Mesman H.Corporaal Y.Ha
Talks about:
model (2) probabilist (1) scenario (1) dataflow (1) approach (1) resourc (1) perform (1) content (1) featur (1) multi (1)
Person: Bart D. Theelen
DBLP: Theelen:Bart_D=
Contributed to:
Wrote 2 papers:
- DATE-2012-TheelenKW #data flow #model checking
- Model checking of Scenario-Aware Dataflow with CADP (BDT, JPK, HW), pp. 653–658.
- DAC-2007-KumarMCTH #approach #estimation #multi #performance #probability
- A Probabilistic Approach to Model Resource Contention for Performance Estimation of Multi-featured Media Devices (AK, BM, HC, BDT, YH), pp. 726–731.