Bart Theelen
Bart Theelen
Canon Production Printing / ModelTech
Verified email at modeltech.org
Title
Cited by
Cited by
Year
Throughput analysis of synchronous data flow graphs
AH Ghamarian, MCW Geilen, S Stuijk, T Basten, BD Theelen, ...
Sixth International Conference on Application of Concurrency to System …, 2006
3232006
A scenario-aware data flow model for combined long-run average and worst-case performance analysis
BD Theelen, MCW Geilen, T Basten, JPM Voeten, SV Gheorghita, S Stuijk
Fourth ACM and IEEE International Conference on Formal Methods and Models …, 2006
2542006
Scenario-aware dataflow: Modeling, analysis and implementation of dynamic applications
S Stuijk, M Geilen, B Theelen, T Basten
2011 International Conference on Embedded Computer Systems: Architectures …, 2011
1652011
Software/hardware engineering with the parallel object-oriented specification language
BD Theelen, O Florescu, MCW Geilen, J Huang, PHA Van Der Putten, ...
2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007
1102007
An algebra of Pareto points
M Geilen, T Basten, B Theelen, R Otten
Fundamenta Informaticae 78 (1), 35-74, 2007
1012007
Latency minimization for synchronous data flow graphs
AH Ghamarian, S Stuijk, T Basten, MCW Geilen, BD Theelen
10th Euromicro Conference on Digital System Design Architectures, Methods …, 2007
942007
Liveness and boundedness of synchronous data flow graphs
AH Ghamarian, MCW Geilen, T Basten, BD Theelen, MR Mousavi, ...
2006 Formal Methods in Computer Aided Design, 68-75, 2006
692006
Performance modelling for system-level design
BD Theelen
Eindhoven University of Technology, 2004
542004
Dynamic dataflow graphs
SS Bhattacharyya, EF Deprettere, BD Theelen
Handbook of Signal Processing Systems, 905-944, 2013
462013
Analyzing composability of applications on MPSoC platforms
A Kumar, B Mesman, B Theelen, H Corporaal, Y Ha
Journal of Systems Architecture 54 (3-4), 369-383, 2008
402008
Performance modelling of a network processor using POOSL
BD Theelen, JPM Voeten, RDJ Kramer
Computer Networks 41 (5), 667-684, 2003
342003
Scenario-aware dataflow
BD Theelen, MCW Geilen, S Stuijk, SV Gheorghita, T Basten, JPM Voeten, ...
Technical Report ESR-2008-08, 2008
302008
Resource-efficient routing and scheduling of time-constrained streaming communication on networks-on-chip
S Stuijk, T Basten, M Geilen, AH Ghamarian, B Theelen
Journal of Systems Architecture 54 (3-4), 411-426, 2008
292008
Performance analysis of weakly-consistent scenario-aware dataflow graphs
M Geilen, J Falk, C Haubelt, T Basten, B Theelen, S Stuijk
Journal of Signal Processing Systems 87 (1), 157-175, 2017
282017
Resource manager for non-preemptive heterogeneous multiprocessor system-on-chip
A Kumar, B Mesman, B Theelen, H Corporaal, H Yajun
2006 IEEE/ACM/IFIP Workshop on Embedded Systems for Real Time Multimedia, 33-38, 2006
282006
Resource-efficient routing and scheduling of time-constrained network-on-chip communication
S Stuijk, T Basten, M Geilen, AH Ghamarian, B Theelen
9th EUROMICRO Conference on Digital System Design (DSD'06), 45-52, 2006
272006
A performance analysis tool for scenario-aware streaming applications
BD Theelen
Fourth International Conference on the Quantitative Evaluation of Systems …, 2007
252007
Model checking of scenario-aware dataflow with CADP
B Theelen, JP Katoen, H Wu
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE), 653-658, 2012
232012
Modeling and simulation of a packet switch system using POOSL
Z Huang, JPM Voeten, BD Theelen
Proceedings of the PROGRESS workshop 2002, 83-91, 2002
202002
Performance model checking scenario-aware dataflow
B Theelen, M Geilen, J Voeten
International Conference on Formal Modeling and Analysis of Timed Systems, 43-59, 2011
192011
The system can't perform the operation now. Try again later.
Articles 1–20