Bart D. Theelen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
8
Active years
2002–2014
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ACSSC | Performance analysis of weakly-consistent scenario-aware dataflow graphs. | Marc Geilen, Joachim Falk, Christian Haubelt, Twan Basten, Bart D. Theelen, Sander Stuijk |
| 2013 | DSD | Fast Multiprocessor Scheduling with Fixed Task Binding of Large Scale Industrial Cyber Physical Systems. | Shreya Adyanthaya, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers, Bart D. Theelen, Jeroen Voeten |
| 2012 | DATE | Model checking of Scenario-Aware Dataflow with CADP. | Bart D. Theelen, Joost-Pieter Katoen, Hao Wu |
| 2011 | COMPSAC | Predicting Timing Performance of Advanced Mechatronics Control Systems. | Jeroen Voeten, T. Hendriks, Bart D. Theelen, J. Schuddemat, W. Tabingh Suermondt, J. Gemei, Kees C. Kotterink, C. van Hut |
| 2010 | ISoLA | UPPAAL in Practice: Quantitative Verification of a RapidIO Network. | Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten |
| 2007 | DAC | A Probabilistic Approach to Model Resource Contention for Performance Estimation of Multi-featured Media Devices. | Akash Kumar, Bart Mesman, Henk Corporaal, Bart D. Theelen, Yajun Ha |
| 2007 | DSD | Latency Minimization for Synchronous Data Flow Graphs. | Amir Hossein Ghamarian, Sander Stuijk, Twan Basten, Marc Geilen, Bart D. Theelen |
| 2007 | MEMOCODE | Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. | Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfeng Huang, P. H. A. van der Putten, Jeroen Voeten |
| 2006 | DSD | Resource-Efficient Routing and Scheduling of Time-Constrained Network-on-Chip Communication. | Sander Stuijk, Twan Basten, Marc Geilen, Amir Hossein Ghamarian, Bart D. Theelen |
| 2006 | FMCAD | Liveness and Boundedness of Synchronous Data Flow Graphs. | Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk |
| 2006 | MEMOCODE | A scenario-aware data flow model for combined long-run average and worst-case performance analysis. | Bart D. Theelen, Marc Geilen, Twan Basten, Jeroen Voeten, Stefan Valentin Gheorghita, Sander Stuijk |
| 2002 | DSD | Architecture Design of a Scalable Single-Chip Multi-Processor. | Bart D. Theelen, A. C. Verschueren |