Bart D. Theelen

According to our database, Bart D. Theelen authored at least 31 papers between 2002 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

2016

Dataflow-based modeling and performance analysis for online gesture recognition.

Florian Grützmacher, Benjamin Beichler, Christian Haubelt, Bart D. Theelen

Proceedings of the 2016 2nd International Workshop on Modelling, 2016

2015

Uniting Academic Achievements on Performance Analysis with Industrial Needs.

Bart D. Theelen, Jozef Hooman

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

2014

Performance analysis of weakly-consistent scenario-aware dataflow graphs.

Marc Geilen, Joachim Falk, Christian Haubelt, Twan Basten, Bart D. Theelen, Sander Stuijk

Proceedings of the 48th Asilomar Conference on Signals, Systems and Computers, 2014

2013

Dynamic Dataflow Graphs.

Shuvra S. Bhattacharyya, Ed F. Deprettere, Bart D. Theelen

Proceedings of the Handbook of Signal Processing Systems, 2013

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

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012

Model checking of Scenario-Aware Dataflow with CADP.

Bart D. Theelen, Joost-Pieter Katoen, Hao Wu

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications.

Sander Stuijk, Marc Geilen, Bart D. Theelen, Twan Basten

Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011

Performance Model Checking Scenario-Aware Dataflow.

Bart D. Theelen, Marc Geilen, Jeroen Voeten

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

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

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

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

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

A predictable communication assist.

Ahsan Shabbir, Sander Stuijk, Akash Kumar, Bart D. Theelen, Bart Mesman, Henk Corporaal

Proceedings of the 7th Conference on Computing Frontiers, 2010

From POOSL to UPPAAL: Transformation and Quantitative Analysis.

Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Patterns for Automatic Generation of Soft Real-time System Models.

Oana Florescu, Jeroen Voeten, Bart D. Theelen, Henk Corporaal

Simul., 2009

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

Analyzing composability of applications on MPSoC platforms.

Akash Kumar, Bart Mesman, Bart D. Theelen, Henk Corporaal, Yajun Ha

J. Syst. Archit., 2008

Performance Model Generation for MPSoC Design-Space Exploration.

Bart D. Theelen

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

2007

A Performance Analysis Tool for Scenario-Aware Streaming Applications.

Bart D. Theelen

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 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

Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Latency Minimization for Synchronous Data Flow Graphs.

Amir Hossein Ghamarian, Sander Stuijk, Twan Basten, Marc Geilen, Bart D. Theelen

Proceedings of the Tenth Euromicro Conference on Digital System Design: Architectures, 2007

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

Proceedings of the 44th Design Automation Conference, 2007

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

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Liveness and Boundedness of Synchronous Data Flow Graphs.

Amir Hossein Ghamarian, Marc Geilen, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, Sander Stuijk

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Resource Manager for Non-preemptive Heterogeneous Multiprocessor System-on-chip.

Akash Kumar, Bart Mesman, Bart D. Theelen, Henk Corporaal, Yajun Ha

Proceedings of the 2006 4th Workshop on Embedded Systems for Real-Time Multimedia, 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

Proceedings of the Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August, 2006

Throughput Analysis of Synchronous Data Flow Graphs.

Amir Hossein Ghamarian, Marc Geilen, Sander Stuijk, Twan Basten, Bart D. Theelen, Mohammad Reza Mousavi, A. J. M. Moonen, Marco Bekooij

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

An Algebra of Pareto Points.

Marc Geilen, Twan Basten, Bart D. Theelen, Ralph Otten

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

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

Performance modelling of a network processor using POOSL.

Bart D. Theelen, Jeroen Voeten, R. D. J. Kramer

Comput. Networks, 2003

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

Architecture Design of a Scalable Single-Chip Multi-Processor.

Bart D. Theelen, A. C. Verschueren

Proceedings of the 2002 Euromicro Symposium on Digital Systems Design (DSD 2002), 2002