Inductive Verification and Validation of the KULRoT RoboCup Team. - Kurt Driessens; Nico Jacobs; Nathalie Cossement; Patrick Monsieurs; Luc De Raedt (RoboCup, 1998)

Task Concurrency Management Experiment for Power-Efficient Speed-up of Embedded MPEG4 IM1 Player. - Aggeliki S. Prayati; Chun Wong; Paul Marchal; Nathalie Cossement; Francky Catthoor; Rudy Lauwereins; Diederik Verkest; Hugo De Man; Alexios N. Birbas (ICPP Workshops, 2000)

Dynamic Memory Oriented Transformations in the MPEG4 IM1-Player on a Low Power Platform. - Paul Marchal; Chun Wong; Aggeliki S. Prayati; Nathalie Cossement; Francky Catthoor; Rudy Lauwereins; Diederik Verkest; Hugo De Man (PACS, 2000)

Task concurrency management methodology summary. - Chun Wong; Paul Marchal; Peng Yang; Francky Catthoor; Hugo De Man; Aggeliki S. Prayati; Nathalie Cossement; Rudy Lauwereins; Diederik Verkest (DATE, 2001)

DF*: Modeling Dynamic Process Creation and Events for Interactive Multimedia Applications. - Sias Mostert; Nathalie Cossement; Rudy Lauwereins; Jef L. van Meerbergen (IEEE International Workshop on Rapid System Prototyping, 2001)