Publications

Publications

2009

• Synchronous Dataflow Scenarios
  M.C.W. Geilen.
  In Trans. Embedded Computing Systems. x(y):xxx-yyy, 200x. To appear. (Special issue on Model-driven Embedded System Design.) (abstract).
• Reduction of Synchronous Dataflow Graphs
  M.C.W. Geilen.
  In 46th Design Automation Conference, DAC 2009, Proceedings, pages xyz-xyz. San Francisco, California, USA, 26-31 July, 2009. ACM, 2009. (abstract, pdf).
• Performance Evaluation of Concurrently Executing Parallel Applications on Multi-Processor Systems
  Ahsan Shabbir, Akash Kumar, Bart Mesman, and Henk Corporaal.
  In Proceedings of the International Symposium on Systems, Architectures, MOdeling and Simulation (SAMOS 09), July 2009 (abstract, pdf).
• Multi-processor programming in the embedded system curriculum
  Hansson, A., Akesson, B., and van Meerbergen, J.
  In SIGBED Rev. 6, 1 (Jan. 2009), 1-9 (abstract, pdf).
• Efficient Service Allocation in Hardware Using Credit-Controlled Static-Priority Arbitration
  Benny Akesson, Liesbeth Steffens, and Kees Goossens.
  In Int'l Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) 2009 (abstract, pdf).
• Composable Resource Sharing Based on Latency-Rate Servers
  Benny Akesson, Andreas Hansson, and Kees Goossens.
  In 12th Euromicro Conference on Digital System Design (DSD) 2009. (abstract, pdf).
• Buffer Sizing for Rate-optimal Single-rate Dataflow Scheduling Revisited
  O. Moreira, T. Basten, M.C.W. Geilen and S. Stuijk.
  To appear in IEEE Transactions on Computers. IEEE, USA, 2009. (abstract, pdf).
• A Parameterized Compositional Multi-dimensional Multiple-choice Knapsack Heuristic for CMP Run-time Management
  H. Shojaei, A.H. Ghamarian, T. Basten, M.C.W. Geilen, S. Stuijk and R. Hoes.
  In Design Automation Conference, DAC 09, Proceedings, pages xyz-xyz. San Francisco, California, USA, 26-31 July, 2009. ACM Press, New York, NY, USA, 2009. (abstract, pdf).
• QoS Management for Wireless Sensor Networks with a Mobile Sink
  Rob Hoes, Twan Basten, Wai-Leong Yeow, Chen-Khong Tham, Marc Geilen and Henk Corporaal.
  In EWSN 2009. (abstract, pdf).
• System-Scenario-based Design of Dynamic Embedded Systems
  S.V. Gheorghita, M. Palkovic, J. Hamers, A. Vandecappelle, S. Mamagkakis, T. Basten, L. Eeckhout, H. Corporaal, F. Catthoor, F. Vandeputte, K. De Bosschere.
  ACM Transactions on Design Automation of Electronic Systems, ToDAES. 14(1), Article 3, 45 pages, January 2009. (abstract, pdf).
• Quality-of-service trade-off analysis for wireless sensor networks
  R. Hoes, T. Basten, C.-K. Tham, M. Geilen, and H. Corporaal.
  In Elsevier Performance Evaluation, to be published. (abstract, pdf).

2008

• Scheduling Optimisations for SPIN to Minimise Buffer Requirements in Synchronous Data Flow
  Hartel, P.H. and Ruys, T.C. and Geilen, M.C.W.
  In IEEE International Conference on Formal Methods in Computer-Aided Design (FMCAD), 2008. (abstract, pdf).
• SPaC: A Symbolic Pareto Calculator
  H. Shojaei, T. Basten, M.C.W. Geilen, P. Stanley-Marbell.
  In C. Gebotys and G. Martin, editors, Hardware-Software Codesign and System Synthesis, 6th IEEE/ACM International Conference, CODES+ISSS 2008, Proceedings, pages 179-184. Atlanta, Georgia, USA, 19-24 October, 2008. ACM, 2008. (abstract, pdf).
• Parametric Throughput Analysis of Synchronous Data Flow Graphs
  A.H. Ghamarian, M.C.W. Geilen, T. Basten, S. Stuijk.
  In D. Sciuto, Z. Peng, editors, Design, Automation and Test in Europe, DATE 2008, Proceedings, pages 116-121. Munich, Germany, 10-14 March, 2008. IEEE, 2008. (abstract, pdf).
• Formal Modeling and Scheduling of Data Paths of Digital Document Printers
  G. Igna, V. Kannan, Y. Yang, T. Basten, M.C.W. Geilen, F.W. Vaandrager, M. Voorhoeve, S. de Smet, and L.J. Somers.
  In F. Cassez and C. Jard, editors, Formal Modelling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Proceedings, pages 170-187. Saint-Malo, France, 15-17 September, 2008. Lecture Notes in Computer Science 5215. Springer, Berlin, Germany, 2008. (abstract, pdf).
• Application Scenarios in Streaming-Oriented Embedded-System Design
  S.V. Gheorghita, T. Basten, H. Corporaal.
  EEE Design and Test of Computers. 25(6):581-589, November 2008. (Invited, best paper of SOC 2006.) (abstract, pdf).
• A Monitoring-aware Network-on-Chip Design Flow
  C. Ciordaş, A. Hansson, K.G.W. Goossens, T. Basten.
  Journal of Systems Architecture. 54(3-4):397-410, March-April 2008. (Special issue with selected best papers of DSD 2006.) (abstract, pdf).
• Scenario Selection and Prediction for DVS-Aware Scheduling of Multimedia Applications
  S.V. Gheorghita, T. Basten, H. Corporaal.
  Journal of Signal Processing Systems. 50(2):137-161, February 2008. (Special issue with selected best papers of IC-SAMOS 2006.) (abstract, pdf).
• MNEMEE: Memory management technology for adaptive and efficient design of embedded systems
  S. Mamagkakis, P. Lemmens, D. Soudris, T. Basten, P. Marwedel, D. Kritharidis, G. Guilmin.
  In 16th IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Proceedings, pages 341-342. Rhodes Island, Greece, 13-15 October, 2008. IEEE Computer Society Press, Los Alamitos, CA, USA, 2008. (abstract, pdf).
• Multi-Processor Programming in the Embedded System Curriculum
  Andreas Hansson, Benny Akesson and Jef van Meerbergen.
  In Proceedings of the Workshop on Embedded Systems Education (WESE), October 2008 (abstract, pdf).
• Real-Time Scheduling Using Credit-Controlled Static-Priority Arbitration
  Akesson, B.; Steffens, L.; Strooisma, E.; Goossens, K.
  In Embedded and Real-Time Computing Systems and Applications, 2008. RTCSA '08. 14th IEEE International Conference on , pp.3-14. (abstract, pdf).
• Throughput-Buffering Trade-Off Exploration for Cyclo-Static and Synchronous Dataflow Graphs
  S. Stuijk, M.C.W. Geilen and T. Basten.
  In IEEE Transactions on Computers, volume 57, issue 10, October 2008, pages 1331-1345. IEEE, USA, 2008. (abstract, pdf).
• Resource-efficient Routing and Scheduling of Time-constrained Network-on-Chip Communication
  S. Stuijk, T. Basten, M.C.W. Geilen, A.H. Ghamarian and B.D. Theelen.
  In Journal of Systems Architecture, volume 54, issue 3-4, March-April 2008, pages 411-426. Elsevier, The Netherlands, 2008. (abstract, pdf, doi).
• Parametric Throughput Analysis of Synchronous Data Flow Graphs
  A.H. Ghamarian, M.C.W. Geilen, T. Basten and S. Stuijk.
  In Design, Automation and Test in Europe, DATE 08, Proceedings, pages 116-121. Munich, Germany, 10-14 March, 2008. IEEE Computer Society Press, Los Alamitos, CA, USA, 2008. (abstract, pdf, doi).
• Analyzing Concurrency in Streaming Applications
  S. Stuijk and T. Basten.
  In Journal of Systems Architecture, volume 54, issue 1-2, January-February 2008, pages 124-144. Elsevier, The Netherlands, 2008. (abstract, pdf, doi).
• DC-SIMD : Dynamic Communication for SIMD processors
  Frijns, R.M.W., Fatemi, S.H., Mesman, B., Corporaal, H.
  In Parallel and Distributed Processing, 2008. IPDPS 2008. IEEE International Symposium. (pp. 1-10) (abstract, pdf).
• Multi-processor Systems Synthesis for Multiple Use-Cases of Multiple Applications on FPGA
  Akash Kumar, Shakith Fernando, Yajun Ha, Bart Mesman and Henk Corporaal
  In ACM Transactions on Design Automation of Electronic Systems. Vol 13, Issue 3, July 2008, pp. 1-27. ACM, 2008. (abstract, pdf).
• Vectorization of Reed Solomon Decoding and Mapping on the EVP
  Akash Kumar and Kees van Berkel
  Proceedings of Design Automation and Test in Europe, Mar 2008, pp. 450-455. Munich, Germany, 2008. IEEE Computer Society. (abstract, pdf).

2007

• Congestion-Controlled Best-Effort Communication for Networks-on-Chip
  J.W. van den Brand, C. Ciordas, K. Goossens, T. Basten.
  In R. Lauwereins, J. Madsen, editors, Design, Automation and Test in Europe, DATE 2007, Proceedings, pages 948-953. Nice, France, 16-20 April, 2007. IEEE Computer Society Press, Los Alamitos, CA, USA, 2007. (abstract, pdf).
• A Calculator for Pareto Points
  M.C.W. Geilen, T. Basten.
  In R. Lauwereins, J. Madsen, editors, Design, Automation and Test in Europe, DATE 2007, Proceedings, pages 285-291. Nice, France, 16-20 April, 2007. IEEE Computer Society Press, Los Alamitos, CA, USA, 2007. (abstract, pdf).
• Latency Minimization for Synchronous Data Flow Graphs
  A.H. Ghamarian, S. Stuijk, T. Basten, M.C.W. Geilen, B.D. Theelen.
  In H. Kubatova, editor, Digital System Design, 10th EUROMICRO Conference, DSD 2007, Proceedings, pages 189-196. Lübeck, Germany, 29-31 August 2007. IEEE Computer Society Press, Los Alamitos, CA, USA, 2007. (abstract, pdf).
• Execution-time Prediction for Dynamic Streaming Applications with Task-level Parallelism
  P. Poplavko, T. Basten, J.L. van Meerbergen.
  In H. Kubatova, editor, Digital System Design, 10th EUROMICRO Conference, DSD 2007, Proceedings, pages 228-235. Lübeck, Germany, 29-31 August 2007. IEEE Computer Society Press, Los Alamitos, CA, USA, 2007. (abstract, pdf).
• An Algebra of Pareto Points
  M.C.W. Geilen, T. Basten, B.D. Theelen, R.H.J.M. Otten.
  Fundamenta Informaticae. 78(1):35-74, 2007. (Special issue with best papers of ACSD 2005.) (abstract, pdf).
• Predator: a predictable SDRAM memory controller
  Akesson, B., Goossens, K., and Ringhofer, M.
  In Proceedings of the 5th IEEE/ACM international Conference on Hardware/Software Codesign and System Synthesis (Salzburg, Austria, September 30 - October 03, 2007). CODES+ISSS '07. ACM, New York, NY, 251-256. (abstract, pdf).
• Analyzing Composability of Applications on MPSoC Platforms
  Akash Kumar, Bart Mesman, Bart Theelen, Henk Corporaal and Yajun Ha
  In Journal of Systems Architecture. Vol 54, Issue 3-4, March-April 2008, pp. 369-383. Elsevier B.V., 2008. (abstract, pdf).
• Multi-processor System-level Synthesis for Multiple Applications on Platform FPGA
  Akash Kumar, Shakith Fernando, Yajun Ha, Bart Mesman, and Henk Corporaal
  In Proceedings of Field Programmable Logic (FPL) Conference, Aug 2007, pp. 92-97.Amsterdam, The Netherlands, 2007. IEEE Circuit and Systems Society. (abstract, pdf).
• Analysing QoS trade-offs in wireless sensor networks
  R. Hoes, T. Basten, C.-K. Tham, M. Geilen, and H. Corporaal.
  In Symposium on Modeling, Analysis, and Simulation of Wireless and Mobile Systems (MSWiM), Proceedings, (New York, NY, USA), pp. 60-69, ACM Press, Oct 2007. (abstract, pdf).
• A Performance Analysis Tool for Scenario-Aware Streaming Applications
  B.D. Theelen.
  In Proceedings of the International Conference on the Quantitative Evaluation of Systems (QEST), Edinburgh, United Kingdom, 16-19 September, 2007. IEEE Computer Society, 2007. (abstract, pdf).
• Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs
  S. Stuijk, T. Basten, M.C.W. Geilen and H. Corporaal.
  In Design Automation Conference, DAC 07, Proceedings, pages xyz-xyz. San Diego, California, USA, 4-8 June, 2007. ACM Press, New York, NY, USA, 2007. (abstract, pdf).
• A Probabilistic Approach to Model Resource Contention for Performance Estimation of Multi-featured Media Devices
  Akash Kumar, Bart Mesman, Bart Theelen, Henk Corporaal and Yajun Ha.
  In Design Automation Conference, DAC 07, Proceedings, pages xyz-xyz. San Diego, California, USA, 4-8 June, 2007. ACM Press, New York, NY, USA, 2007. (abstract, pdf).
• Software/Hardware Engineering with the Parallel Object-Oriented Specification Language
  B.D. Theelen, O. Florescu, M.C.W. Geilen, J. Huang, P.H.A. van der Putten and J.P.M. Voeten.
  In Proceedings of the ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 139-148, ISBN 1-4244-1050-9. Nice, France, 30 May - 1 June, 2007. IEEE Computer Society, 2007. (abstract, pdf).
• An FPGA Design Flow for Reconfigurable Network-Based Multi-Processor Systems-on-Chip
  Akash Kumar, Andreas Hansson, Jos Huisken and Henk Corporaal.
  In Design Automation and Test in Europe, DATE 07, Proceedings, pages 117-122. Nice, France, April 2007. IEEE Computer Society, 2007. (abstract, pdf).

2006

• Dynamic-SIMD for lens distortion compensation
  B. Mesman, H. Fatemi, H. Corporaal, T. Basten.
  In Application-specific Systems, Architectures, and Processors, ASAP 2006, 17th IEEE International Conference, pages 261-264. Steamboat Springs, Colorado, 11-13 September, 2006, IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. (abstract, pdf).
• A Monitoring-aware Network-on-Chip Design Flow
  C. Ciordaş, A. Hansson, K.G.W. Goossens, T. Basten.
  In V. Muthukumar, editor, Digital System Design, 9th EUROMICRO Conference, DSD 2006, Proceedings, pages 97-104. Dubrovnik, Croatia, 30 August - 1 September 2006. IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. (abstract, pdf).
• NoC Monitoring: Impact on the Design Flow
  C. Ciordaş, K.G.W. Goossens, A. Rădulescu, T. Basten.
  In 2006 IEEE International Symposium on Circuits and Systems, ISCAS 2006, Proceedings, pages 1981-1984. Kos, Greece, 21-24 May 2006. IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. (abstract, pdf).
• Run-Time Reconfiguration of Communication in SIMD Architectures
  H. Fatemi, B. Mesman, H. Corporaal, T. Basten, P. Jonker.
  In 20th International Parallel and Distributed Processing Symposium, IPDPS 2006, 13th Reconfigurable Architectures Workshop, RAW 2006, Proceedings (cd-rom), 4 pages. Rhodes Island, Greece, 25-26 April 2006, IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. (abstract, pdf).
• RC-SIMD: Reconfigurable Communication SIMD Architecture for Image Processing Applications
  H. Fatemi, B. Mesman, H. Corporaal, T. Basten, and R. Kleihorst.
  Journal of Embedded Computing. 2(2):167-179, 2006. (abstract, pdf).
• A domain-independent descriptive design model and its application to structured reflection on design processes
  I.M.M.J. Reymen, D.K. Hammer, P.A. Kroes, J.E. van Aken, C.H. Dorst, M.F.T. Bax, T. Basten.
  Research in Engineering Design. 16(4):147-173, April 2006. (abstract, pdf).
• Transaction Monitoring in Networks on Chip: The On-Chip Run-Time Perspective
  C. Ciordaş, K.G.W. Goossens, T. Basten, A. Rădulescu, A.G. Boon.
  In IEEE Symposium on Industrial Embedded Systems, IES 2006, Proceedings (cd-rom), 10 pages. Antibes Juan-Les-Pins, France, 18-20 October 2006. IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. Best paper of IES 2006. (abstract, pdf).
• Liveness and Boundedness of Synchronous Data Flow Graphs
  A.H. Ghamarian, M.C.W. Geilen, T. Basten, B.D. Theelen, M.R. Mousavi and Sander Stuijk.
  In Formal Methods in Computer Aided Design, FMCAD 2006, pages xyz-xyz. San Jose, CA, USA, 12-16 November, 2006, IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. (abstract, pdf)
• Application Scenarios in Streaming-Oriented Embedded System Design
  S.V. Gheorghita, T.Basten, H. Corporaal.
  In International Symposium in System-on-Chip (SoC 2006), Tampere, Finland, November 2006. (pdf).
• Resource Manager for Non-preemptive Heterogeneous Multiprocessor System-on-chip
  Akash Kumar, Bart Mesman, Bart Theelen, Henk Corporaal and Yajun Ha.
  In Proceedings of the 4th Workshop on Embedded Systems for Real-Time Multimedia, October 2006, pp. 33-38. Seoul, Korea, 2006. IEEE Computer Society, 2006. (abstract, pdf).
• Reusing Real-Time Systems Design Experience Through Modelling Patterns
  O. Florescu, J. Voeten, M. Verhoef, H. Corporaal
  In the Forum on specification and Design Languages (FDL\u201906), 19-22 September, Darmstadt, Germany. (abstract, pdf)
• Resource-efficient Routing and Scheduling of Time-constrained Network-on-Chip Communication
  S. Stuijk, T. Basten, M.C.W. Geilen, A.H. Ghamarian and B.D. Theelen.
  In Digital System Design, 9th Euromicro Conference, DSD 06, Proceedings, pages 45-52. Cavtat, Croatia, 30 August - 1 September 2006. IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. (abstract, pdf).
• Global Analysis of Resource Arbitration for MPSoC
  Akash Kumar, Bart Mesman, Henk Corporaal, Jef van Meerbergen and Ha Yajun.
  In Digital System Design, 9th Euromicro Conference, DSD 06, Proceedings, pages xyz-xyz. Cavtat, Croatia, 30 August - 1 September 2006. IEEE Computer Society Press, Los Alamitos, CA, USA, 2006.
  (abstract, pdf).
• Strengthening Property Preservation in Concurrent Real-Time Systems
  O. Florescu, J. Huang, J. Voeten, H. Corporaal
  In the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), ISBN 0-7695-2676-4, pp 106-109, 16-18 August 2006, Sydney, Australia. (abstract, pdf)
• A Scenario-Aware Data Flow Model for Combined Long-Run Average and Worst-Case Performance Analysis
  B.D. Theelen, M.C.W. Geilen, T. Basten, J.P.M. Voeten, S.V. Gheorghita and S. Stuijk.
  In Formal Methods and Models in CoDesign, 4th ACM & IEEE conference, MEMOCODE 2006, Proceedings, pages 185-194. Napa Valley, California, USA, 27-29 July 2006. IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. (abstract, pdf)
• Exploring Trade-Offs in Buffer Requirements and Throughput Constraints for Synchronous Dataflow Graphs
  S. Stuijk, M.C.W. Geilen and T. Basten.
  In Design Automation Conference, DAC 06, Proceedings, pages 899-904. San Francisco, California, USA, 24-28 July, 2006. ACM Press, New York, NY, USA, 2006. (abstract, pdf).
• Profiling Driven Scenario Detection and Prediction for Multimedia Applications
  S.V. Gheorghita, T.Basten, H. Corporaal.
  Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (IC-SAMOS), pp. 63-70, Samos, Greece, July 2006. (pdf).
• Probabilistic Modelling and Evaluation of Soft Real-Time Embedded Systems
  O. Florescu. M. de Hoon, J. Voeten, H. Corporaal
  In the Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS VI), LNCS 4017, pp 206-215, 17-20 July 2006, Samos, Greece. (abstract, pdf)
• Throughput Analysis of Synchronous Data Flow Graphs
  A.H. Ghamarian, M.C.W. Geilen, S. Stuijk, T. Basten, A.J.M. Moonen, M.J.G. Bekooij, B.D. Theelen and M.R. Mousavi.
  In Application of Concurrency to System Design, 6th International Conference, ACSD 2006, Proceedings, pages 25-34. Turku, Finland, 27-30 June 2006. IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. (abstract, pdf).
• SDF3: SDF For Free
  S. Stuijk, M.C.W. Geilen and T. Basten.
  In Application of Concurrency to System Design, 6th International Conference, ACSD 2006, Proceedings, pages 276-278. Turku, Finland, 27-30 June 2006. IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. (abstract, pdf).
• Reconfigurable Multi-Processor Network-on-Chip on FPGA
  Akash Kumar, Ido Ovadia, Jos Huisken, Henk Corporaal and Jef van Meerbergen
  To appear in: 12th Annual Conference of the Advanced School for Computing and Imaging, Proceedings, pages xyz-xyz. Lommel, Belgium, 14-16 June 2006. ASCI, Delft, The Netherlands, 2006. (abstract, pdf).
• Performance Modelling and Analysis Using POOSL for an In-Car Navigation System
  O. Florescu. M. de Hoon, J. Voeten, H. Corporaal
  In the 12th Annual Conference of the Advanced School for Computing and Imaging (ASCI), ISBN 90-810849-1-7, pp 37-45, 14-16 June 2006, Lommel, Belgium. (abstract, pdf)

2005

• Iterative Compilation for Energy Reduction
  S.V. Gheorghita, H. Corporaal, T. Basten.
  Journal of Embedded Computing. 1(4):509-520, 2005. (abstract, pdf).
• An Event-based Monitoring Service for Networks on Chip
  C. Ciordaş, T. Basten, A. Rädulescu, K.G.W. Goossens, J.L. van Meerbergen.
  ACM Transactions on Design Automation of Electronic Systems, TODAES. 10(4):702-723, October 2005. (abstract, pdf).
• Designing Area and Performance Constrained SIMD/VLIW Image Processing Architectures
  H. Fatemi, H. Corporaal, T. Basten, R. Kleihorst, and P. Jonker.
  In: J. Blanc-Talon, W. Philips, D. Popescu, P. Scheunders, editors, Advanced Concepts for Intelligent Vision Systems, 7th International Conference, ACIVS 2005, Proceedings, pages 689-696. Antwerp, Belgium, 20-23 September, 2005. Lecture Notes in Computer Science 3708. Springer, Berlin, Germany, 2005. (abstract, pdf).
• Extended Abstract: Estimation of Execution Times of On-chip Multiprocessor Stream-oriented Applications
  P. Poplavko, T. Basten, M. Pastrnak, J. van Meerbergen, M. Bekooij, and P. de With.
  In: Formal Methods and Models for Codesign, 3rd ACM & IEEE International Conference, MEMOCODE 2005, Proceedings, pages 251-252. Verona, Italy, 11-14 July, 2005. IEEE Computer Society Press, Los Alamitos, CA, USA, 2005. (abstract, pdf).
• The BETSY project on timeliness and energy aspects of wireless video streaming
  M. Sénéclauze, J.-D. Decotignie, P. van der Stok, H. de Groot, M. van Hartskamp, G. van Doren, D. van Heesch, C. Otero Perez, M. Joosten, C. Blanch, J. Bormans, M. Geilen, T. Basten, B. Theelen, C. Koulamas, G. Papadopoulos, A. Prayati, G. Fohler, D. Isovic, G.A. Papadopoulos, P. Cheng, Z. Abraham.
  In: Proceedings of International Workshop on Wireless Ad-hoc Networks, (IWWAN 2005). (abstract, pdf).
• Efficient Symmetry Reduction in an Actor-Based Model
  M.M. Jaghoori, M. Sirjani, M.R. Mousavi, A. Movaghar.
  In: Proceedings of the 2nd International Conference on Distributed Computing and Internet Technology (ICDCIT'05), Bhubaneswar, India, volume 3816 of Lecture Notes in Computer Science, pp. 494-507, Springer-Verlag, December 2005. (abstract, pdf).
• Formal Semantics and Analysis of Component Connectors in Reo
  M.R. Mousavi, M. Sirjani, F. Arbab.
  In: Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'05), San Francisco, CA, USA, Electronic Notes in Theoretical Computer Science, Elsevier Science B.V., August 2005. (abstract, pdf).
• A Multi-Core Architecture for In-Car Digital Entertainment
  Arno Moonen, Rene van den Berg, Marco Bekooij, Harpreet Bhullar and Jef van Meerbergen
  In: Proceedings of the GSPx conference 2005, pp. xxx-yyy. (abstract, pdf)
• Property-Preservation Synthesis for Unified Control- and Data-Oriented Models
  O. Florescu, J. Voeten, H. Corporaal.
  In Forum on specification and Design Languages (FDL'05), Proceedings, pages 531-542, 27-30 September, Lausanne, Switzerland. (abstract, pdf).
• Intra-task Scenario-aware Voltage Scheduling
  S.V. Gheorghita, T. Basten, and H. Corporaal.
  In Compilers, Architecture, and Synthesis for Embedded Systems, International Conference, CASES 2005, Proceedings, pages 177-184. San Francisco, CA, USA, 24 - 27 September 2005. ACM Press, New York, NY, USA, 2005. © ACM (abstract, pdf).
• Predictable embedding of large data structures in multiprocessor networks-on-chip
  S. Stuijk, T. Basten, B. Mesman and M.C.W. Geilen.
  In Digital System Design, 8th Euromicro Conference, DSD 05, Proceedings, pages 388-395. Porto, Portugal, 30 August - 3 September, 2005. IEEE Computer Society Press, Los Alamitos, CA, USA, 2005. (abstract, pdf).
• An Algebra of Pareto Points
  M.C.W. Geilen, T. Basten, B.D. Theelen, R.H.J.M. Otten.
  In Application of Concurrency to System Design, 5th International Conference, ACSD 2005, Proceedings, pages 88-97. St Malo, France, 6-9 June 2005. IEEE Computer Society Press, Los Alamitos, CA, USA, 2005. ©IEEE. (abstract, pdf, Extended version as TR ESR-2005-02).
• Minimising Buffer Requirements of Synchronous Dataflow Graphs with Model Checking
  M.C.W. Geilen, T. Basten and S. Stuijk.
  In Design Automation Conference, DAC 05, Proceedings, pages 819-824. Anaheim, California, USA, 13-17 June, 2005. ACM Press, New York, NY, USA, 2005. (abstract, pdf).
• Automatic Scenario Detection for Improved WCET Estimation
  S.V. Gheorghita, S. Stuijk, T. Basten and H. Corporaal.
  In Design Automation Conference, DAC 05, Proceedings, pages 101-104. Anaheim, California, USA, 13-17 June, 2005. ACM Press, New York, NY, USA, 2005. (abstract, pdf, Extended version as TR ESR-2005-04).
• Hierarchical QoS Concept for Multiprocessor System-on-chip
  Milan Pastrnak, Peter Poplavko, Peter H. N. de With, Jef van Meerbergen
  In: Workshop on resrouce management for media processing in networked embedded systems, pp. 139-142, ISBN 90-386-0544-7 Eindhoven (Netherlands): TU Eindhoven, March 2005. (abstract, pdf)
• Predictable embedding of large data structures in multiprocessor networks-on-chip (extended abstract)
  S. Stuijk, T. Basten, B. Mesman and M. Geilen.
  In Design, Automation and Test in Europe, DATE 05, Proceedings, pages 254-255. Munich, Germany, 7-11 March, 2005. IEEE Computer Society Press, Los Alamitos, CA, USA, 2005. (abstract, pdf).

2004

• Timing analysis model for network based multiprocessor systems
  A.J.M. Moonen, M. Bekooij, J. van Meerbergen
  In proceedings of ProRISC, 15th annual Workshop of Circuits, System and Signal Processing, pages 91 - 99, ISBN: 90-73461-43-X, November 25 - 26 2004, Veldhoven, The Netherlands. (abstract,pdf).
• Predictable Dynamic Behaviour in NoC-based Multiprocessor Systems-on-Chip
  R. Hoes
  Master's Thesis, submitted to Faculty of Electrical Engineering, Eindhoven University of
  Technology, Eindhoven, The Netherlands, 2004 (abstract, pdf).
• A Unified Model for Analysis of Real-Time Properties
  Oana Florescu, Jeroen Voeten, Henk Corporaal.
  In Preliminary Proccedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLa 2004), TR-2004-6, pp 220-227, 30 October - 2 November 2004, Paphos, Cyprus. (abstract, pdf)
• An Event-Based Network-on-Chip Monitoring Service
  C. Ciordaş, T. Basten, A. Rădulescu, K.G.W. Goossens, J.L. van Meerbergen.
  In IEEE International High Level Design Validation and Test Workshop 2004, HLDVT 2004, Proceedings. Sonoma Valley, California, USA, 10-12 November, 2004. IEEE, 2004. (abstract, pdf)
• Error Estimation in Model-Driven Development for Real-Time Software
  Oana Florescu, Jeroen Voeten, Jinfeng Huang, Henk Corporaal.
  In Proceedings of the Forum on specification and Design Languages (FDL’04), ISSN 1636-9874, 13-17 September 2004, Lille, France. (abstract, pdf).
• Predictable Multiprocessor System Design
  M. Bekooij, O. Moreira, P. Poplavko, B. Mesman, M. Pastrnak and J. van Meerbergen.
  In SCOPES 2004, 8th International Workshop on Software and Compilers for Embedded Systems. Amsterdam, The Netherlands, 2-3 September 2004. (abstract, pdf).
• Cluster-Based Partial-Order Reduction
  T. Basten, D. Bosnacki, and M.C.W. Geilen.
  Automated Software Engineering, An International Journal, 11(4), 2004. To appear. Kluwer Academic Publishers. (abstract, pdf).
• Reactive Process Networks.
  M.C.W. Geilen and T. Basten.
  In Embedded Software, Fourth ACM International Conference, EMSOFT 2004, Proceedings. Pisa, Italy, 27-29 September, 2004. ACM Press, New York, NY, USA, 2004. (abstract, pdf)
• PARS: A Process Algebra with Resources and Schedulers
  M.R. Mousavi, M.A. Reniers, T. Basten, M.R.V. Chaudron.
  In K.G. Larsen and P. Niebert Formal Modeling and Analysis of Timed Systems, First International Workshop, FORMATS 2003, Proceedings, pages 134-150. Marseille, France, 6-7 September, 2003. Lecture Notes in Computer Science 2791. Springer, Berlin, Germany, 2004. (abstract, ps, pdf).
• Implementing face recognition using a parallel image processing environment based on algorithmic skeletons.
  H. Fatemi, H. Corporaal, T. Basten, P. Jonker, and R. Kleihorst.
  In J.J. van Wijk, J.W.J. Heijnsdijk, K.G. Langedoen, R. Veltkamp, editors, Annual Conference of the Advanced School for Computing and Imaging, Proceedings, pages 351-357. Port Zélande, the Netherlands, 2-4 June 2004. ASCI, Delft, the Netherlands, 2004. (abstract, pdf).
• Using Iterative Compilation to Reduce Energy Consumption
  S.V. Gheorghita, H. Corporaal, and T. Basten.
  In J.J. van Wijk, J.W.J. Heijnsdijk, K.G. Langedoen, R. Veltkamp, editors, ASCI 2004, 10th Annual Conference of the Advanced School for Computing and Imaging, Proceedings, pages 197-202. Port Zélande, the Netherlands, 2-4 June 2004. ASCI, Delft, the Netherlands, 2004. (abstract, pdf).
• Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.
  M.R. Mousavi, P. Le Guernic, J.-P. Talpin, S.K. Shukla, T. Basten.
  In Design, Automation and Test in Europe, DATE 04, Proceedings, pages 384-389. Paris, France, 16-20 February 2004. IEEE Computer Society Press, Los Alamitos, CA, USA, 2004. (abstract, pdf).
• Data-flow Timing Models of Dynamic Multimedia Applications for Multiprocessor Systems.
  M. Pastrnak, P. Poplavko, P.N.H. de With and D.S. Farin
  In: System-on-Chip for Real-Time Applications, The 4th IEEE International Workshop, IWSOC04, Proceedings. IEEE Computer Society Press, Los Alamitos, CA, USA, 2004. (abstract, pdf)
• Modelling and simulation of guaranteed throughput channels of a hard real-time multiprocessor system
  A. Moonen
  Master's Thesis, submitted to Faculty of Electrical Engineering, Eindhoven University of
  Technology, Eindhoven, The Netherlands, 2004 (pdf).

2003

• A Scalable Single-Chip Multi-Processor with On-Chip RTOS Kernel.
  Theelen, B.D. and A.C. Verschueren, V.V. Reyes Suárez, M.P.J. Stevens, A.Nuñez
  Journal of Systems Architecture, vol. 49, no. 12-15, December 2003, pages 619-639. Amsterdam (The Netherlands): Elsevier Science (abstract, pdf)
• Using the SHE Method for UML-based Performance Modelling
  B.D. Theelen, P.H.A. van der Putten and J.P.M. Voeten
  In: System Specification and Design Languages, Chapter 12, pp. 143-160, ISBN 1-4020-7414-X
  Dordrecht (The Netherlands): Kluwer Academic Publishers, 2003. (abstract, pdf).
• Ambient Intelligence: Impact on Embedded System Design
  T. Basten, M.C.W. Geilen, H.W.H. de Groot, editors.
  Kluwer Academic Publishers, November 2003. ISBN 1-4020-7668-1. (foreword, table of contents, Omnia Fieri Possent).
• Mapping of an MPEG-4 Shape-Texture Decoder onto an On-chip Multiprocessor
  Peter Poplavko, Milan Pastrnak, Twan Basten, Jef van Meerbergen, Peter H.N. de With
  In PRORISC 2003, 14th Workshop on Circuits, Systems and Signal Processing, Proceedings. Veldhoven, The Netherlands, 26-27 November 2003. (abstract,pdf).
• An SIMD-VLIW Smart Camera Architecture for Real-Time Face Recognition
  R. Kleihorst, H. Broers, A. Abbo, H. Ebrahimmalek, H. Fatemi, H. Corporaal and P. Jonker
  In PRORISC 2003, 14th Workshop on Circuits, Systems and Signal Processing, Proceedings. Veldhoven, The Netherlands, 26-27 November 2003. (abstract,pdf).
• Task-level Timing Models for Guaranteed Performance in Multiprocessor Networks-on-Chip
  P. Poplavko, T. Basten, M. Bekooij, J. van Meerbergen, and B. Mesman
  In Compilers, Architecture and Synthesis for Embedded Systems, International Conference on, CASES 2003, Proceedings. San Jose, USA, 30 October - 1 November, 2003. IEEE Computer Society Press, Los Alamitos, CA, USA, 2003. (abstract, pdf).
• Real-Time Face Recognition on a Mixed SIMD VLIW Architecture
  Hamed Fatemi, Hammed Ebrahimmalek, Richard Kleihorst, Henk Corporaal and Pieter Jonker
  In PROGRESS 2003, 4th seminar on embedded systems, Proceedings. Nieuwegein, The Netherlands, 22 October 2003. (abstract,pdf).
• Resource Estimation for MPEG-4 Video Object Shape-Texture Decoding on Multiprocessor Network-on-Chip
  Milan Pastrnak, Peter Poplavko, Peter H.N. de With, Jef van Meerbergen
  In PROGRESS 2003, 4th seminar on embedded systems, Proceedings. Nieuwegein, The Netherlands, 22 October 2003. (abstract,pdf).
• Bringing Communication Networks On Chip: Test and Verification Implications
  B. Vermeulen, J. Dielissen, K. Goossens and C. Ciordas
  IEEE Communications Magazine, 41(9):74-81, September 2003. IEEE. (abstract, pdf).
• Limited Address Range Architecture for Reducing Code Size in Embedded Processors
  Q. Zhao, B. Mesman and H. Corporaal.
  In SCOPES 2003, 7th International Workshop on Software and Compilers for Embedded Systems. Vienna, Austria, 24-26 September 2003. (abstract, pdf, ps).
• PARS: A Process Algebra with Resources and Schedulers
  M.R. Mousavi, M.A. Reniers, T. Basten, and M.R.V. Chaudron.
  In Formal Modeling and Analysis of Timed Systems, International Workshop, FORMATS 2003, Proceedings. Marseille, France, 6-7 September, 2003. Lecture Notes in Computer Science. Springer, Berlin, Germany, 2003.(abstract, pdf, ps)
• Real-time face recognition on a smart camera
  H. Fatemi, R. Kleihorst and H. Corporaal
  In Advanced Concepts for Intelligent Vision Systems (ACIVS), Conference, ACIVS 2003 Proceedings. Ghent, Belgium, 2-5 September,2003. IEEE, USA, 2003. (abstract, pdf).
• Platform-Independent Design for Embedded Real-Time Systems
  J. Huang, J.P.M. Voeten, A. Ventevogel, L.J. van Bokhoven
  In: Proceedings of the Forum on Design and Specification Languages (FDL) 2003. Gieres (France): ECSI, September 2003. (abstract, ps)
• Analyzing Concurrency in Computational Networks (Extended Abstract)
  S. Stuijk and T. Basten.
  In Formal Methods and Models for Codesign, 1st ACM & IEEE International Conference, MEMOCODE'2003, Proceedings, pages 47-48. Mont Saint-Michel, France, 24-26 June, 2003. IEEE Computer Society Press, Los Alamitos, CA, USA, 2003. (abstract, pdf, ps).
• Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems
  M.R. Mousavi, M.A. Reniers, T. Basten, and M.R.V. Chaudron.
  In J. Lilius, F. Balarin, R.J. Machado, editors, Application of Concurrency to System Design, 3rd International Conference, ACSD 2003, Proceedings, pages 71-81. Guimarães, Portugal, 18-20 June, 2003. IEEE Computer Society Press, Los Alamitos, CA, USA, 2003.(abstract, pdf, ps)
• CAST - A Task-Level Concurrency Analysis Tool (Extended Abstract)
  S. Stuijk, T. Basten, and J. Ypma.
  In J. Lilius, F. Balarin, R.J. Machado, editors, Application of Concurrency to System Design, 3rd International Conference, ACSD 03, Proceedings, pages 237-238. Guimarães, Portugal, 18-20 June, 2003. IEEE Computer Society Press, Los Alamitos, CA, USA, 2003. (Tool paper.) (abstract, pdf).
• Reconfigurable Instruction Set Application Tuning for DSP
  B. Mesman, Q. Zhao, N. Busa, and K. Leijten-Nowak
  Special Issue on Application Specific Hardware Design, Journal for Circuits, Systems and Computers, World Scientific Publishing Company, Vol. 12, No. 3, pp. 333-352, June 2003. (abstract, pdf).
• CAST - A Task-Level Concurrency Analysis Tool
  S. Stuijk, J. Ypma, and T. Basten.
  In S. Vassiliadis, L.M.J. Florack, J.W.J. Heijnsdijk, A. van der Steen, editors, ASCI 2003, 9th Annual Conference of the Advanced School for Computing and Imaging, Proceedings, pages 106-113. Heijen, Netherlands, 4-6 June, 2003. (abstract, pdf, ps).
• Static Resource Models for Code-Size Efficient Embedded Processors.
  Q. Zhao, B. Mesman, and T. Basten.
  ACM Transactions on Embedded Computing Systems, 2(2):1-32, May 2003. ACM Press. (abstract, pdf, ps).
• Requirements on the Execution of Kahn Process Networks
  M.C.W. Geilen and T. Basten.
  Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Lecture Notes in Computer Science. ©Springer-Verlag, Berlin, Germany, 2003.(abstract, pdf).
  You can also look at the presentation (1.14Mb).
• Performance Modelling of a Network Processor using POOSL
  Theelen, B.D. and J.P.M. Voeten, R.D.J. Kramer.
  In: Journal of Computer Networks, Special Issue on Network Processors, Volume 41, Number 5, pp. 667-684, ISSN 1389-1286
  Amsterdam (The Netherlands): Elsevier Science, April 2003 (abstract, pdf)
• Guaranteeing the quality of services in networks on chip
  Kees Goossens, John Dielissen, Jef van Meerbergen, Peter Poplavko, Andrei Radulescu, Edwin Rijpkema, Erwin Waterlander, and Paul Wielage.
  In Axel Jantsch and Hannu Tenhunen, editors, Networks on Chip. Chapter 4, pages 61-82. Kluwer Academic Publishers, March 2003. (abstract, pdf).
• Scaling into Ambient Intelligence.
  T. Basten, L. Benini, A. Chandrakasan, M. Lindwer, J. Liu, R. Min, and F. Zhao.
  In N. Wehn and D. Verkest, editors, Design, Automation and Test in Europe, DATE 03, Proceedings, pages 76-81. Munchen, Germany, 3-7 March 2003. IEEE Computer Society Press, Los Alamitos, CA, USA, 2003. (abstract, pdf).
• Ambient Intelligence Visions and Achievements; Linking abstract ideas to real-world concepts.
  M. Lindwer, D. Marculescu, T. Basten, R. Zimmermann, R. Marculescu, S. Jung, and E. Cantatore
  In N. Wehn and D. Verkest, editors, Design, Automation and Test in Europe, DATE 03, Proceedings, pages 10-15. Munchen, Germany, 3-7 March 2003. IEEE Computer Society Press, Los Alamitos, CA, USA, 2003. (abstract, pdf).

2002

• Using Aspect-GAMMA in the Design of Embedded Systems (extended abstract).
  M.R. Mousavi, G. Russello, M.R.V. Chaudron, M.A. Reniers, T. Basten, A. Corsaro, S.K. Shukla, R.K. Gupta, and D.C. Schmidt.
  HLDVT'02, Seventh Annual IEEE International Workshop on High Level Design Validation and Test, Proceedings, pages 69-74. Cannes, France, October 27-29, 2002. IEEE Computer Society Press, Los Alamitos, CA, USA, 2002. (abstract, pdf, ps).
• Performance evaluation with temporal rewards
  J. Voeten.
  In: Performance Evaluation, Volume 50, Issues 2-3, November 2002, Pages 189-218. Amsterdam, The NetherlandsL: Elsevier. (abstract, pdf).
• Concurrency in Computational Networks
  S. Stuijk
  Master's Thesis, submitted to Faculty of Electrical Engineering, Eindhoven University of
  Technology, Eindhoven, The Netherlands, 2002 (abstract, pdf, ps).
• Practical Instruction Set Design and Compiler Retargetability using Static Resource Models.
  Q. Zhao, B. Mesman, and T. Basten
  In C. Delgado Kloos and J. da Franca, editors, Design, Automation and Test in Europe, DATE 02, Proceedings, pages 1021-1026. Paris, France, March 2002. IEEE Computer Society Press, Los Alamitos, CA, USA, 2002. (abstract, pdf, ps).

...-2001

• Performance Modeling in the Large: A Case Study
  Theelen, B.D. and J.P.M. Voeten, L.J. van Bokhoven, P.H.A. van der Putten, G.G. de Jong, A.M.M. Niemegeers
  In: Proceedings of the European Simulation Symposium (ESS) 2001, pp. 174-181, ISBN 90-77039-02-3 Ghent (Belgium): SCS-Europe, October 2001. (abstract, pdf)
• Accuracy Analysis of Long-Run Average Performance Metrics
  Theelen, B.D. and J.P.M. Voeten, Y. Pribadi
  In: Proceedings of PROGRESS'01, pp. 261-269, ISBN 90-73461-27-X Utrecht (Netherlands): STW Technology Foundation, October 2001. (abstract, pdf)
• Reducing Markov Chains for Performance Evaluation
  Pribadi, Y. and J.P.M. Voeten, B.D. Theelen
  In: Proceedings of PROGRESS'01, pp. 173-179, ISBN 90-73461-27-X Utrecht (Netherlands): STW Technology Foundation, October 2001. (abstract, pdf)
• Arbitration in a Multi-processor to Multi-coprocessor Connection Switch
  Verschueren, A.C. and M. Verhappen, B.D. Theelen, M.P.J. Steven
  In: Proceedings of ProRISC'99, pp. 563-568, ISBN 90-73461-18-9 Utrecht (Netherlands): STW Technology Foundation, November 1999. (abstract, pdf)
• A layered MIMD Communication Processor
  E. Olk and H. Corporaal
  Technical Report 1-68340-44(1993)06, Section Computer Architecture, Department of Electrical Engineering, Delft University of Technology, The Netherlands, 1993. (abstract, ps).