Architecture Design of a Scalable Single-Chip Multi-Processor. - Bart D. Theelen; A. C. Verschueren (DSD, 2002)

Concurrent Support of Higher-Layer Protocols over WDM. - Bart D. Theelen; Jeroen Voeten; P. H. A. van der Putten; M. P. J. Stevens; Harm J. S. Dorren (Photonic Netw. Commun., 2002)

Performance modelling of a network processor using POOSL. - Bart D. Theelen; Jeroen Voeten; R. D. J. Kramer (Comput. Networks, 2003)

A scalable single-chip multi-processor architecture with on-chip RTOS kernel. - Bart D. Theelen; A. C. Verschueren; V. V. Reyes Suárez; M. P. J. Stevens; Antonio Núñez (J. Syst. Archit., 2003)

Throughput Analysis of Synchronous Data Flow Graphs. - Amir Hossein Ghamarian; Marc Geilen; Sander Stuijk; Twan Basten; Bart D. Theelen; Mohammad Reza Mousavi 001; A. J. M. Moonen; Marco Bekooij (ACSD, 2006)

Resource-Efficient Routing and Scheduling of Time-Constrained Network-on-Chip Communication. - Sander Stuijk; Twan Basten; Marc Geilen; Amir Hossein Ghamarian; Bart D. Theelen (DSD, 2006)

Resource Manager for Non-preemptive Heterogeneous Multiprocessor System-on-chip. - Akash Kumar 001; Bart Mesman; Bart D. Theelen; Henk Corporaal; Yajun Ha (ESTIMedia, 2006)

Liveness and Boundedness of Synchronous Data Flow Graphs. - Amir Hossein Ghamarian; Marc Geilen; Twan Basten; Bart D. Theelen; Mohammad Reza Mousavi 001; Sander Stuijk (FMCAD, 2006)

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 (MEMOCODE, 2006)

A Probabilistic Approach to Model Resource Contention for Performance Estimation of Multi-featured Media Devices. - Akash Kumar 001; Bart Mesman; Henk Corporaal; Bart D. Theelen; Yajun Ha (DAC, 2007)

Latency Minimization for Synchronous Data Flow Graphs. - Amir Hossein Ghamarian; Sander Stuijk; Twan Basten; Marc Geilen; Bart D. Theelen (DSD, 2007)

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 (MEMOCODE, 2007)

A Performance Analysis Tool for Scenario-Aware Streaming Applications. - Bart D. Theelen (QEST, 2007)

An Algebra of Pareto Points. - Marc Geilen; Twan Basten; Bart D. Theelen; Ralph Otten (Fundam. Informaticae, 2007)

Performance Model Generation for MPSoC Design-Space Exploration. - Bart D. Theelen (QEST, 2008)

Analyzing composability of applications on MPSoC platforms. - Akash Kumar 001; Bart Mesman; Bart D. Theelen; Henk Corporaal; Yajun Ha (J. Syst. Archit., 2008)

Resource-efficient routing and scheduling of time-constrained streaming communication on networks-on-chip. - Sander Stuijk; Twan Basten; Marc Geilen; Amir Hossein Ghamarian; Bart D. Theelen (J. Syst. Archit., 2008)

Patterns for Automatic Generation of Soft Real-time System Models. - Oana Florescu; Jeroen Voeten; Bart D. Theelen; Henk Corporaal (Simul., 2009)

From POOSL to UPPAAL: Transformation and Quantitative Analysis. - Jiansheng Xing; Bart D. Theelen; Rom Langerak; Jaco van de Pol; Jan Tretmans; Jeroen Voeten (ACSD, 2010)

A predictable communication assist. - Ahsan Shabbir; Sander Stuijk; Akash Kumar 001; Bart D. Theelen; Bart Mesman; Henk Corporaal (Conf. Computing Frontiers, 2010)

UPPAAL in Practice: Quantitative Verification of a RapidIO Network. - Jiansheng Xing; Bart D. Theelen; Rom Langerak; Jaco van de Pol; Jan Tretmans; Jeroen Voeten (ISoLA (2), 2010)

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 Huët (COMPSAC Workshops, 2011)

Performance Model Checking Scenario-Aware Dataflow. - Bart D. Theelen; Marc Geilen; Jeroen Voeten (FORMATS, 2011)

Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications. - Sander Stuijk; Marc Geilen; Bart D. Theelen; Twan Basten (ICSAMOS, 2011)

Model checking of Scenario-Aware Dataflow with CADP. - Bart D. Theelen; Joost-Pieter Katoen; Hao Wu 013 (DATE, 2012)

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 (DSD, 2013)

Dynamic Dataflow Graphs. - Shuvra S. Bhattacharyya; Ed F. Deprettere; Bart D. Theelen (Handbook of Signal Processing Systems, 2013)

Uniting Academic Achievements on Performance Analysis with Industrial Needs. - Bart D. Theelen; Jozef Hooman (QEST, 2015)

Dataflow-based modeling and performance analysis for online gesture recognition. - Florian Grützmacher; Benjamin Beichler; Christian Haubelt; Bart D. Theelen (CPS Data, 2016)

Analyzing execution traces: critical-path analysis and distance analysis. - Martijn Hendriks; Jacques Verriet; Twan Basten; Bart D. Theelen; Marco Brassé; Lou J. Somers (Int. J. Softw. Tools Technol. Transf., 2017)

Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs. - Marc Geilen; Joachim Falk; Christian Haubelt; Twan Basten; Bart D. Theelen; Sander Stuijk (J. Signal Process. Syst., 2017)