This page lists edited volumes and journal articles, papers in refereed proceedings and invited conference publications, book parts and theses, and finally assorted other publications. A list of technical reports is provided on a separate page. If relevant, with each publication, links to other publications superseding the publication or technical reports providing additional information are provided. The pdfs provided on this page are the author's versions of the publications. Due to the publisher's typesetting the provided files may differ in details from the final publication.

This material is presented to ensure timely dissemination. It is posted here for your personal use only. Copyright and all rights therein are retained by the authors or by other copyright holders. Everyone copying material from this page is expected to adhere to the terms and constraints invoked by the copyright. In most cases, work may not be reposted without the explicit permission of the copyright holder.

You might want to have a look at the DBLP or Google scholar lists. My H-index based on Google scholar citations is 48 (December 2024). I published (almost) all of my work as "T. Basten" or "Twan Basten" but to get a complete view of my work you need to look for publications by "A.A. Basten" as well.

If you have any comments or questions, feel free to email me at:

a[dot]a[dot]basten[at]tue[dot]nl

Videos

QRML: The Quality & Resource Management Language (video)
oCPS: Platform-aware Model-driven Optimization of Cyber-Physical Systems. Marie Curie ITN 2015-2019, grant agreement no 674875. (web,video)

Book

J.C.M. Baeten, T. Basten, M.A. Reniers. Process Algebra: Equational Theories of Communicating Processes. Cambridge Tracts in Theoretical Computer Science No. 50. ISBN 978-0-521-82049-3 Hardback. Cambridge University Press, Cambridge, UK, 2010. More information, and ordering the book.

Intreerede / Inaugural lecture

Prof.dr.ir. T. Basten. De computer verdwijnt. Intreerede, uitgesproken op 15 april 2011, aan de Technische Universiteit Eindhoven. ISBN 978-90-386-2478-5.
Inaugural lecture, presented on 15 April 2011, at the Eindhoven University of Technology. (pdf, in Dutch)
(A short version in English appeared in Connecthor, October 2011, pages 20-23. (pdf / Connecthor))

Edited Volumes
F. Catthoor, T. Basten, N. Zompakis, M. Geilen, P.G. Kjeldsberg, editors. System-Scenario-based Design Principles and Applications. Springer Nature, Switzerland 2020. (doi) © Springer.

T. Basten, R. de Groote, O. Moreira, editors. Special Section: Integrating Dataflow, Embedded Computing and Architecture. ACM Transactions on Design Automation of Electronic Systems. 17(2), Article 35, 2 pages, January 2017. (pdf)

W. Ahmad, T. Basten, R. de Groote, A. Lele, O. Moreira, editors. IDEA 2016: Integrating Dataflow, Embedded Computing, and Architecture, Proceedings. Report ESR-2017-01, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, January 2017. (pdf)

T. Basten, R. van Gaalen, M. de Mol, C. Otten, S. Stuijk, editors. Liber Amicorum Ralph Otten. Report ESR-2014-02, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 23 May 2014.

T. Basten, R. Hamberg, F. Reckers, J. Verriet, editors. Model-Based Design of Adaptive Embedded Systems. Embedded Systems, Vol. 22. Springer, 2013. ISBN 978-1-4614-4820-4. (doi) © Springer.

T. Basten, R. Ernst. Editorial: Model-Driven Embedded-System Design. ACM Transactions on Embedded Computing Systems. 10(2), Article 15, 4 pages, December 2010. (pdf / doi) © ACM.

T. Basten, R. Janicki, editors. Application of Concurrency to System Design, the Sixth Special Issue. Fundamenta Informaticae. 88(4):i-iii, 2008. (Special issue with best papers of ACSD 2007.) (pdf) © IOS Press.

T. Basten, G. Juhás, S. Shukla, editors. Application of Concurrency to System Design, 7th International Conference, ACSD 2007, Proceedings. Bratislava, Slovak Republic, 10-13 July 2007. IEEE Computer Society Press, Los Alamitos, CA, USA, 2007. ISBN 0-7695-2902-X. © IEEE.

T. Basten, M.C.W. Geilen, H.W.H. de Groot, editors. Ambient Intelligence: Impact on Embedded System Design. Kluwer Academic Publishers, November 2003. ISBN 1-4020-7668-1. Also available electronically, ISBN 0-306-48706-3. (Foreword, Hugo De Man / Table of Contents / Omnia Fieri Possent) © Kluwer Academic Publishers.

Back to the top.

Journals

  1. M. Karimi, M. Nabi, A. Nelson, K.G.W. Goossens, T. Basten. Fast Time-Aware Shaper Scheduling for In-Vehicle Networks via Deep Reinforcement Learning. IEEE Internet of Things Journal. x(yz):xyz-xyz, 2026. (pdf / doi) © IEEE.

  2. J. Marcè i Igual, M.C.W. Geilen, M. Nasri, T. Basten. Modular Scheduling of Tightly Coupled Production Lines. Journal of Intelligent Manufacturing Systems. May, 2026. (pdf /doi, open access) © The authors. CC BY 4.0.

  3. R.W.M. van Os, T. Basten. An Exact Decomposition-based Approach to the Conflict-free-transportation-constrained Flexible Job-shop Scheduling Problem. Computers & Operations Research. 187:1-24, March 2026. (pdf /doi, open access) © The authors. CC BY 4.0.

  4. A. Mohammadkhani, M.C.W. Geilen, J.P.M. Voeten, T. Basten. Time- and Behavior-Preserving Execution of Determinate Supervisory Control. IET Cyber-Physical Systems: Theory & Applications. 11(1):1-22, January 2026. (pdf / doi, open access) © The authors. CC BY 4.0.

  5. J. van Wanrooij, T. Basten, M.C.W. Geilen. Schedule Synthesis for Synchronous Dataflow Models with Lower and Upper Timing Bounds. ACM Transactions on Embedded Computing Systems, ACM TECS. 24(5s), Article 143, pages 1-28, September 2025. Special Issue ESWEEK 2025. Proc. EMSOFT 2025, Taipei, Taiwan, September 28 - October 3, 2025. (pdf / doi, open access) © The authors.

  6. R. Azarmi, M. Alirezaei, D. Goswami, T. Basten. Tracking Dynamic Deadlines in Switched Max-Plus Linear Systems with Uncontrollable Workloads. Discrete Event Dynamic Systems. 34:573-604, December 2024. (pdf /doi, open access) © The authors. CC BY 4.0.

  7. M. Modaber, M. Hendriks, M. Geilen, T. Basten, J. Voeten. A Method for Building Trustworthy Hybrid Performance Models for Cyber-Physical Systems of Systems. IEEE Access. 12:92733-92752, July 2024. (pdf / doi, open access) © The authors. CC BY 4.0.

  8. M. Hendriks, J. Verriet, T. Basten. Visualization, Transformation and Analysis of Execution Traces with the Eclipse TRACE4CPS Trace Tool. International Journal on Software Tools for Technology Transfer, STTT. 26(1):101-126, February 2024. (pdf / doi, open access) © The authors. CC BY 4.0.

  9. H. Elahi, M.C.W. Geilen, T. Basten. Efficient Computation of the Max-Plus Semantics of Synchronous Dataflow Graphs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 42(10):3412-3425, October 2023. (pdf / doi) © IEEE.

  10. A. Mohammadkhani, M.C.W. Geilen, J.P.M. Voeten, T. Basten. Modeling and Analysis of Switching Max-Plus Linear Systems with Discrete-Event Feedback. Discrete Event Dynamic Systems. 33:341-372, September 2023. (pdf / doi, open access) © The authors. CC BY 4.0.

  11. P. Detterer, M. Nabi, H. Jiao, T. Basten. Receiver Design with an Adjustable Energy-Signal-Quality Trade-off for IoT Networks. IEEE Internet of Things Journal. 9(22):23086-23096, November 2022. (pdf / doi) © IEEE.

  12. A. Ibrahim, D. Goswami, H. Li, T. Basten. Delay-aware Multi-layer Multi-rate Model Predictive Control for Vehicle Platooning under Message-rate Congestion Control. IEEE Access. 10:44583-44607, April 2022. (pdf / doi, open access) © The authors. CC BY 4.0.

  13. B. van der Sanden, M.C.W. Geilen, M.A. Reniers, T. Basten. Partial-Order Reduction for Supervisory Controller Synthesis. IEEE Transactions on Automatic Control, IEEE TAC. 67(2):870-885, February 2022. (pdf / doi, open access) © IEEE.

  14. C. Sau, C. Rinaldi, L. Pomante, F. Palumbo, G. Valente, T. Fanni, M. Martinez, F. van der Linden, T. Basten, M. Geilen, G. Peeren, J. Kadlec, P. Jääskeläinen, L. Bulej, F. Barranco, J. Saarinen, T. Säntti, M.K. Zedda, V. Sanchez, S. Tabatabaei Nikkhah, D. Goswami, G. Amat, L. Maršík, M. van Helvoort, L. Medina, Z. Al-Ars, A. de Beer. Design and Management of Image Processing Pipelines within CPS: Acquired Experience towards the end of the FitOptiVis ECSEL Project. Microprocessors and Microsystems: Embedded Hardware Design, MICPRO. 87, Article 104350, November 2021. (doi) © Elsevier.

  15. R. Medina Sanchez, S. Tabatabaei Nikkhah, D. Goswami, W.P.M.H. Heemels, S. Stuijk, T. Basten. Reconfigurable pipelined control systems. IEEE Design and Test of Computers. 38(5):17-24, October 2021. (pdf / doi) © IEEE.

  16. S. Mohamed, D. Goswami, S. De, T. Basten. Optimising Multiprocessor Image-Based Control Through Pipelining and Parallelism. IEEE Access. 9:112332-112358, August 2021. (pdf / doi, open access) © The authors. CC BY 4.0.

  17. M. Hendriks, M. Geilen, K. Goossens, R. de Jong, T. Basten. Interface Modeling for Quality and Resource Management. Logical Methods in Computer Science, LMCS. 17(2), 19:1-19:34, 26 May 2021. (pdf / doi, open access / QRML video) © The authors. CC BY 4.0.

  18. P. Detterer, M. Nabi, H. Jiao, T. Basten. Receiver-Sensitivity Control for Energy-Efficient IoT Networks. IEEE Communications Letters. 25(4):1383-1386, April 2021. (pdf / doi) © IEEE.

  19. A. Ibrahim, D. Goswami, H. Li, I. Martín Soroa, T. Basten. Multi-layer Multi-rate Model Predictive Control for Vehicle Platooning under IEEE 802.11p. Transportation Research Part C: Emerging Technologies. 124, 102905, 34 pages, March 2021. (doi, open access) © The authors. CC BY 4.0.

  20. S. Sioutas, S. Stuijk, T. Basten, H. Corporaal, L. Somers. Schedule Synthesis for Halide Pipelines on GPUs. ACM Transactions on Architecture and Code Optimization, ACM TACO. 17(3), Article No. 23, August 2020. (pdf / doi, open access) © ACM.

  21. A.R.B. Behrouzian, H. Alizadeh Ara, M.C.W. Geilen, D. Goswami, T. Basten. Firmness Analysis of Real-Time Tasks. ACM Transactions on Embedded Computing Systems, ACM TECS. 19(4), Article No. 26, July 2020. (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  22. S. Mohamed, D. Goswami, V. Nathan, R. Rajappa, T. Basten. A scenario- and platform-aware design flow for image-based control systems. Microprocessors and Microsystems: Embedded Hardware Design, MICPRO. 75, Article 103037, June 2020. (pdf / doi, open access) © The authors. CC BY 4.0.

  23. J. van Pinxten, M.C.W. Geilen, T. Basten. Parametric Scheduler Characterization. ACM Transactions on Embedded Computing Systems, ACM TECS. 18(5s), Article 110, October 2019. Special Issue ESWEEK 2019. Proc. EMSOFT 2019, New York, NY, USA, October 13-18, 2019. (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  24. R. Medina, J. Valencia, S. Stuijk, D. Goswami, T. Basten. Designing a Controller with Image-based Pipelined Sensing and Additive Uncertainties. ACM Transactions on Cyber-Physical Systems, ACM TCPS. 3(3), Article 33, October 2019. (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  25. S. Sioutas, S. Stuijk, L. Waeijen, T. Basten, H. Corporaal, L. Somers. Schedule Synthesis for Halide Pipelines through Reuse Analysis. ACM Transactions on Architecture and Code Optimization, ACM TACO. 16(2), Article No. 10, May 2019. (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  26. R. Tavakoli, M. Nabi, T. Basten, K.G.W. Goossens. Topology Management and TSCH Scheduling for Low-Latency Convergecast in In-Vehicle WSNs. IEEE Transactions on Industrial Informatics. 15(2), pages 1082-1093, February 2019. Special section on Embedded and Networked Systems for Intelligent Vehicles and Robots. (pdf / doi) © IEEE.

  27. M. Hendriks, H. Alizadeh Ara, M.C.W. Geilen, T. Basten, R. Guerra Marin, R. de Jong, S. van der Vlugt. Monotonic Optimization of Dataflow Buffer Sizes. Journal of Signal Processing Systems. 91(1):21-32, January 2019. (pdf / doi, open access) © The authors. CC BY 4.0.

  28. J. van Pinxten, M.C.W. Geilen, M. Hendriks, T. Basten. Parametric Critical Path Analysis for Event Networks with Minimal and Maximal Time Lags. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 37(11):2697-2708, 2018. Special Issue ESWEEK 2018. Proc. CODES+ISSS 2018, Torino, Italy, September 30-October 5, 2018. (pdf / doi) © IEEE.

  29. H. Alizadeh Ara, A.R.B. Behrouzian, M. Hendriks, M. Geilen, D. Goswami, T. Basten. Scalable Analysis for Multi-Scale Dataflow Models. ACM Transactions on Embedded Computing Systems, ACM TECS. 17(4), Article 80, August 2018. (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  30. R. Tavakoli, M. Nabi, T. Basten, K.G.W. Goossens. Dependable Interference-Aware Time-Slotted Channel Hopping for Wireless Sensor Networks. ACM Transactions on Sensor Networks. 14(1), Article 3, 35 pages, January 2018. (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  31. J. van Pinxten, U. Waqas, M.C.W. Geilen, T. Basten, L. Somers. Online Scheduling of 2-Re-entrant Flexible Manufacturing Systems. ACM Transactions on Embedded Computing Systems, ACM TECS. 16(5s), Article 160, October 2017. Special Issue ESWEEK 2017. Proc. CODES+ISSS 2017, Seoul, South Korea, October 15-20, 2017. (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  32. R. Afzal, S. Stuijk, M. Nabi, T. Basten. Effective link quality estimation as means to improved end-to-end packet delivery in high traffic mobile ad hoc networks. Digital Communications and Networks. 3(3):150-163, August 2017. (doi, open access) © The authors. CC BY 4.0.

  33. M. Hendriks, J. Verriet, T. Basten, B. Theelen, M. Brassé, L. Somers. Analyzing Execution Traces - Critical-Path Analysis and Distance Analysis. International Journal on Software Tools for Technology Transfer, STTT. 19(4):487-510, August 2017. (pdf / appendix / doi / Springer Nature, free access) © Springer.

  34. Q. Tang, T. Basten, M.C.W. Geilen, S. Stuijk, J-B. Wei. Task-FIFO Co-Scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy. ACM Transactions on Embedded Computing Systems, ACM TECS. 16(2), Article 49, 25 pages, April 2017. (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  35. M. Geilen, J. Falk, C. Haubelt, T. Basten, B. Theelen, S. Stuijk. Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs. Journal of Signal Processing Systems. 87(1):157-175, April 2017. (pdf / doi, open access) © Springer.

  36. Q. Tang, T. Basten, M.C.W. Geilen, S. Stuijk, J-B. Wei. Mapping of synchronous dataflow graphs on MPSoCs based on parallelism enhancement. Journal of Parallel and Distributed Computing, JPDC. 101(C):79-91, March 2017. (pdf / doi) © Elsevier.

  37. S. Adyanthaya, H. Alizadeh Ara, J. Bastos, A.R.B. Behrouzian, R. Medina Sánchez, J. van Pinxten, B. van der Sanden, U. Waqas, T. Basten, H. Corporaal, R. Frijns, M. Geilen, D. Goswami, M. Hendriks, S. Stuijk, M. Reniers, J. Voeten. xCPS: A Tool to eXplore Cyber Physical Systems. ACM SIGBED Review. 14(1):81-95, October 2016. (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  38. X.-Y. Zhu, M. Geilen, T. Basten, S. Stuijk. Multi-Constraint Static Scheduling of Synchronous Dataflow Graphs via Retiming and Unfolding. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 35(6):905-918, June 2016. (pdf / doi) © IEEE.

  39. M. Hendriks, T. Basten, J. Verriet, M. Brassé, L. Somers. A Blueprint for System-Level Performance Modeling of Software-Intensive Embedded Systems. International Journal on Software Tools for Technology Transfer, STTT. 18(1):21-40, February 2016. (pdf / doi) © Springer.

  40. M.R. Mousavi, T. Basten, M.A. Reniers, M.R.V. Chaudron. Timed Gamma and its Coordination Language. Nordic Journal of Computing. 15(2):75-111, Summer 2015. (pdf / doi) © Publishing Association NJC.

  41. M. Steine, M. Geilen, T. Basten. A Distributed Reconfiguration Approach for QoS Provisioning in Dynamic Heterogeneous WSNs. ACM Transactions on Sensor Networks. 11(2), Article 34, 41 pages, February 2015. (ACM DL Author-ize service pdf / doi / author pdf) © The authors, 2015. Publication rights licensed to ACM.

  42. M. Nabi, M. Geilen, T. Basten, M. Blagojevic. Efficient Cluster Mobility Support for TDMA-based MAC Protocols in Wireless Sensor Networks. ACM Transactions on Sensor Networks. 10(4), Article 65, 32 pages, June 2014. ACM DL Author-ize service (pdf / doi / author pdf) © The authors, 2014. Publication rights licensed to ACM.

  43. M. Blagojevic, M. Geilen, T. Basten, M. Nabi, T. Hendriks. Fast Performance Simulation for Gossip-based Wireless Sensor Networks. Simulation. 90(1):103-126, January 2014. (pdf / doi) © The Society for Modeling and Simulation International, 2014.

  44. H. Shojaei, T. Basten, M.C.W. Geilen, A. Davoodi. A Fast and Scalable Multi-dimensional Multiple-choice Knapsack Heuristic. ACM Transactions on Design Automation of Electronic Systems, ToDAES. 18(4), Article 51, 32 pages, October 2013. (ACM DL Author-ize service pdf / doi / author pdf) 2015 ACM TODAES best paper. See 52nd DAC Awards. © The authors, 2013. Publication rights licensed to ACM.

  45. M. Damavandpeyma, S. Stuijk, T. Basten, M. Geilen, H. Corporaal. Schedule-Extended Synchronous Dataflow Graphs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 32(10):1495-1508, October 2013. (pdf / doi) © IEEE.

  46. H. Shojaei, A. Davoodi, T. Basten. Collaborative Multi-Objective Global Routing. IEEE Transactions on Very Large Scale Integration Systems. 21(7):1308-1321, July 2013. (pdf / doi) © IEEE.

  47. X.-Y. Zhu, T. Basten, M. Geilen, S. Stuijk. Efficient Retiming of Multi-rate DSP Algorithms. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 31(6):831-844, June 2012. (pdf / doi) © IEEE.

  48. O. Moreira, T. Basten, M.C.W. Geilen, S. Stuijk. Buffer Sizing for Rate-optimal Single-rate Dataflow Scheduling Revisited. IEEE Transactions on Computers. 59(2):188-201, February 2010. (pdf / doi) © IEEE.

  49. R. Hoes, T. Basten, C.-K. Tham, M.C.W. Geilen, H. Corporaal. Quality-of-Service Trade-off Analysis for Wireless Sensor Networks. Performance Evaluation. 66(3-5):191-208, March 2009. (Special issue with best papers of MSWiM 2007.) (pdf / doi) © Elsevier.

  50. S.V. Gheorghita, M. Palkovic, J. Hamers, A. Vandecappelle, S. Mamagkakis, T. Basten, L. Eeckhout, H. Corporaal, F. Catthoor, F. Vandeputte, K. De Bosschere. System-Scenario-based Design of Dynamic Embedded Systems. ACM Transactions on Design Automation of Electronic Systems, ToDAES. 14(1), Article 3, 45 pages, January 2009. (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  51. S.V. Gheorghita, T. Basten, H. Corporaal. Application Scenarios in Streaming-Oriented Embedded-System Design. IEEE Design and Test of Computers. 25(6):581-589, November 2008. (Invited, best paper of SOC 2006.) (pdf / doi) © IEEE.

  52. S. Stuijk, M.C.W. Geilen, T. Basten. Throughput-Buffering Trade-off Exploration for Cyclo-Static and Synchronous Dataflow Graphs. IEEE Transactions on Computers. 57(10):1331-1345, 2008. (Special section on Programming Models and Architectures for Embedded Systems.) (pdf / doi) © IEEE.

  53. C. Ciordaş, A. Hansson, K.G.W. Goossens, T. Basten. A Monitoring-aware Network-on-Chip Design Flow. Journal of Systems Architecture. 54(3-4):397-410, March-April 2008. (Special issue with selected best papers of DSD 2006.) (pdf / doi) © Elsevier.

  54. S. Stuijk, T. Basten, M.C.W. Geilen, A.H. Ghamarian, B.D. Theelen. Resource-Efficient Routing and Scheduling of Time-Constrained Streaming Communication on Networks-on-Chip. Journal of Systems Architecture. 54(3-4):411-426, March-April 2008. (Special issue with selected best papers of DSD 2006.) (pdf / doi) © Elsevier.

  55. S.V. Gheorghita, T. Basten, H. Corporaal. Scenario Selection and Prediction for DVS-Aware Scheduling of Multimedia Applications. Journal of Signal Processing Systems. 50(2):137-161, February 2008. (Special issue with selected best papers of IC-SAMOS 2006.) (pdf / doi) © Springer.

  56. S. Stuijk, T. Basten. Analyzing Concurrency in Streaming Applications. Journal of Systems Architecture. 54(1-2):124-144, January-February 2008. (pdf / doi) © Elsevier.

  57. M.C.W. Geilen, T. Basten, B.D. Theelen, R.H.J.M. Otten. An Algebra of Pareto Points. Fundamenta Informaticae. 78(1):35-74, 2007. (Special issue with best papers of ACSD 2005.) (abstract / pdf / IOS) © IOS Press.

  58. H. Fatemi, B. Mesman, H. Corporaal, T. Basten, and R. Kleihorst. RC-SIMD: Reconfigurable Communication SIMD Architecture for Image Processing Applications. Journal of Embedded Computing. 2(2):167-179, 2006. (abstract / pdf / IOS) © IOS Press.

  59. I.M.M.J. Reymen, D.K. Hammer, P.A. Kroes, J.E. van Aken, C.H. Dorst, M.F.T. Bax, T. Basten. A domain-independent descriptive design model and its application to structured reflection on design processes. Research in Engineering Design. 16(4):147-173, April 2006. (abstract / pdf ) © Springer.

  60. S.V. Gheorghita, H. Corporaal, T. Basten. Iterative Compilation for Energy Reduction. Journal of Embedded Computing. 1(4):509-520, 2005. (abstract / pdf / IOS) © IOS Press.

  61. C. Ciordaş, T. Basten, A. Rădulescu, K.G.W. Goossens, J.L. van Meerbergen. An Event-based Monitoring Service for Networks on Chip. ACM Transactions on Design Automation of Electronic Systems, ToDAES. 10(4):702-723, October 2005. (Special issue with best papers of HLDVT 2004.) (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  62. T. Basten, D. Bošnački, and M.C.W. Geilen. Cluster-Based Partial-Order Reduction. Automated Software Engineering, An International Journal, 11(4):365-402, October 2004. (Special issue with best papers of ASE 2001.) (abstract / pdf) © Kluwer Academic Publishers.

  63. Q. Zhao, B. Mesman, and T. Basten. Static Resource Models for Code-Size Efficient Embedded Processors. ACM Transactions on Embedded Computing Systems, 2(2):219-250, May 2003. (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  64. W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An approach to tackling problems related to change. Theoretical Computer Science, 270(1-2):125-203, January 2002. (abstract / postscript / pdf) © Elsevier Science.

  65. H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnosing Workflow Processes using Woflan. The Computer Journal, 44(4):246-279, August 2001. (abstract / postscript / pdf) © British Computer Society / Oxford University Press.

  66. T. Basten and W.M.P. van der Aalst. Inheritance of Behavior. Journal of Logic and Algebraic Programming, 47(2):47-145, March/April 2001. (abstract / postscript / pdf) © Elsevier Science.

  67. T. Basten, T. Kunz, J.P. Black, M.H. Coffin, and D.J. Taylor. Vector Time and Causality among Abstract Events in Distributed Computations. Distributed Computing, 11(1):21-39, December 1997. (abstract / postscript / pdf) © Springer.

  68. T. Basten. Parsing Partially Ordered Multisets. International Journal of Foundations of Computer Science, 8(4):379-407, December 1997. (abstract / postscript / pdf) © World Scientific Publishing Company.

  69. T. Kunz, J.P. Black, D.J. Taylor, and T. Basten. POET: Target-System-Independent Visualizations of Complex Distributed-Application Executions. The Computer Journal, 40(8):499-512, September 1997. (abstract / postscript / pdf) © British Computer Society / Oxford University Press.

  70. T. Basten. Branching Bisimilarity is an Equivalence indeed! Information Processing Letters, 58(3):141-147, May 1996. (abstract / postscript / pdf) © Elsevier Science.

  71. T. Basten, R.N. Bol, and M. Voorhoeve. Simulating and Analyzing Railway Interlockings in ExSpect. IEEE Parallel & Distributed Technology, Systems & Applications, 3(3):50-62, Fall 1995. (abstract / pdf / doi / CSR 00/11) © IEEE.

Back to the top.

Refereed Proceedings

  1. J. Verriet, B. van der Sanden, T. Basten. From Domain Model to High-Mix Low-Volume Production Line Schedules. In 18th International Workshop on Discrete Event Systems, WODES 2026, Proceedings, pages xyz-xyz. Eindhoven, Netherlands, 8-10 June 2026. IEEE Computer Society Press, Los Alamitos, CA, USA, 2026. (pdf) © IEEE.

  2. R.W.M. van Os, M. Geilen, M. Hendriks, T. Basten. Optimal Resource Allocation and Periodic Scheduling. In 32nd IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2026, Proceedings, pages xyz-xyz. Saint Malo, France, 12-14 May 2026. IEEE Computer Society Press, Los Alamitos, CA, USA, 2026. (pdf) © IEEE.

  3. N. Samimi, D. Casini, L. Abeni, T. Basten, M. Geilen, M. Nasri, A. Biondi. Real-Time Resource Scaling and Service Allocation for Mobile Devices in Edge-Cloud Continuum. In 33rd International Conference on Real-Time Networks and Systems, RTNS 2025, Proceedings, pages xyz-xyz. Pisa, Italy, 5-7 November 2025. Springer, Berlin, Germany, 2025. (pdf)

  4. M. Karimi, M. Nabi, A. Nelson, K.G.W. Goossens, T. Basten. INSIM: A Modular Simulation Platform for TSN-based In-Vehicle Networks. In 2025 IEEE 102nd Vehicular Technology Conference: VTC2025-Fall, Proceedings, pages 1-5. Chengdu, China, 19-22 October 2025. IEEE Computer Society Press, Los Alamitos, CA, USA, 2025. (pdf / doi) © IEEE.

  5. N. Samimi, L. Abeni, D. Casini, M. Marinoni, T. Basten, M. Nasri, M. Geilen, A. Biondi. Enabling Containerisation of Distributed Applications with Real-Time Constraints. In 37th Euromicro Conference on Real-Time Systems, ECRTS 2025, Proceedings, pages 3:1-3:29. Brussels, Belgium, 8-11 July 2025. Leibniz International Proceedings in Informatics, Vol. 335. Dagstuhl Publishing, Germany. (pdf / doi, open access)

  6. M. Karimi, M. Nabi, A. Nelson, K.G.W. Goossens, T. Basten. Deep-Reinforcement-Learning-based Scheduler for Time-Aware Shaper in In-Vehicle Networks. In 2025 IEEE 101st Vehicular Technology Conference: VTC2025-Spring, Proceedings, pages 1-7. Oslo, Norway, 17-20 June 2025. IEEE Computer Society Press, Los Alamitos, CA, USA, 2025. (pdf / doi) © IEEE.

  7. N. Samimi, M. Nasri, T. Basten, M. Geilen. Online Admission Test for Real-Time Tasks with Arrival Curves for Server Platforms. In 32nd International Conference on Real-Time Networks and Systems, RTNS 2024, Proceedings, pages 266-277. Porto, Portugal, 7-8 November 2024. ACM Press, New York, NY, USA, 2024. (pdf / doi, open access) © The authors. Publication rights licensed to ACM.

  8. N. Samimi, M. Nasri, T. Basten, M. Geilen. Guaranteeing weakly-hard timing constraints of real-time server-based systems. In 29th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2024, Proceedings, pages 1-8. Padova, Italy, 10-13 September 2024. IEEE Computer Society Press, Los Alamitos, CA, USA, 2024. (pdf / doi) © IEEE.

  9. N. Samimi, M. Nasri, T. Basten, M. Geilen. Work in Progress: Guaranteeing weakly-hard timing constraints in server-based real-time systems. In 30th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2024, Proceedings, pages 402-405. HongKong, China, 13-16 May 2024. IEEE Computer Society Press, Los Alamitos, CA, USA, 2024. (pdf / doi) © IEEE.

  10. G. Radulov, R. Serra, T. Basten, C. Martinez, M. Greijmans. Qualitative Assessment Guidelines for MSc Graduation Projects in Electrical Engineering. In European Association for Education in Electrical and Information Engineering 32nd Annual conference, EAEEIE 2023, Proceedings, pages 1-6. Eindhoven, Netherlands, 14-16 June, 2023. IEEE, 2023. (pdf / doi) © The authors.

  11. J. Verriet, B. van der Sanden, G. van der Veen, A. van Splunter, S. Lousberg, M. Hendriks, T. Basten. Experiences and Lessons from Introducing Model-Based Analysis in Brown-Field Product Family Development. In 11th International Conference on Model-Based Software and Systems Engineering, MODELSWARD 2023, Proceedings, pages 226-236. Lisbon, Portugal, 21-23 February, 2023. SciTePress, Setúbal, Portugal, 2023. (pdf / doi) © SciTePress.

  12. S. Mohamed, N. Saraf, D. Bernardini, D. Goswami, T. Basten, A. Bemporad. Adaptive predictive control for pipelined multiprocessor image-based control systems considering workload variations. In 59th IEEE Conference on Decision and Control, CDC 2020. IEEE Computer Society Press, Los Alamitos, CA, USA, 2020. Virtual, 8-11 December, 2020. (pdf / doi) © IEEE.

  13. H. Elahi, M. Geilen, T. Basten. A Compositional Model for Multi-Rate Max-Plus Linear Systems. In 15th IFAC Workshop on Discrete Event Systems, WODES 2020, Proceedings, pages 54-61. Rio de Janeiro, Brazil, 11-13 November 2020. IFAC-PapersOnLine, 53(4), IFAC, 2020. (pdf / doi) © The authors.

  14. R. Jonk, J. Voeten, M. Geilen, T. Basten, R.R.H. Schiffelers SMT-based verification of temporal properties for component-based software systems. In 15th IFAC Workshop on Discrete Event Systems, WODES 2020, Proceedings, pages 493-500. Rio de Janeiro, Brazil, 11-13 November 2020. IFAC-PapersOnLine, 53(4), IFAC, 2020. (pdf / doi) © The authors.

  15. F. van den Berg, V. Čamra, M. Hendriks, M. Geilen, P. Hnetynka, F. Manteca, P.P. Sánchez, T. Bureš, T. Basten. QRML: A Component Language and Toolset for Quality and Resource Management. In Forum on specification & Design Languages, FDL 2020, Proceedings, 8 pages. Kiel, Germany, 15-17 September, 2020. IEEE Computer Society Press, Los Alamitos, CA, USA, 2020. (pdf / doi / QRML video) © IEEE.

  16. L. Pomante, F. Palumbo, C. Rinaldi, G. Valente, C. Sau, T. Fanni, F. van der Linden, T. Basten, M. Geilen, G. Peeren, J. Kadlec, P. Jääskeläinen, M. Martinez, J. Saarinen, T. Säntti, M.K. Zedda, V. Sanchez, D. Goswami, Z. Al-Ars, A. de Beer. Design and management of image processing pipelines within CPS: 2 years of experience from the FitOptiVis ECSEL project. In 23rd Euromicro Conference on Digital System Design, DSD 2020, Proceedings, pages 378-385. Virtual, 26-28 August 2020. IEEE Computer Society Press, Los Alamitos, CA, USA, 2020. (pdf / doi) © IEEE.

  17. S. Sioutas, S. Stuijk, T. Basten, L. Somers, H. Corporaal. Programming Tensor Cores from an Image Processing DSL. In Software and Compilers for Embedded Systems, 23rd International Workshop, SCOPES 2020, Proceedings, pages 36-41. Virtual, 25-26 May 2020. ACM Press, New York, NY, USA, 2020. (pdf / doi) © ACM.

  18. A. Ibrahim, I. Martin Soroa, H. Li, D. Goswami, T. Basten. Performance Analysis of Embedded Platoon Controllers. In 2020 IEEE 91st Vehicular Technology Conference: VTC2020-Spring, Proceedings, pages 1-7. Antwerp, Belgium, 25-28 May 2020. IEEE Computer Society Press, Los Alamitos, CA, USA, 2020. (pdf / doi) © IEEE.

  19. S. De, S. Mohamed, K. Bimpisidis, D. Goswami, T. Basten, H. Corporaal. Approximation Trade Offs in an Image-Based Control System. In Design, Automation and Test in Europe, DATE 2020, Proceedings, pages 1680-1685. Grenoble, France, 9-13 March, 2020. EEDA, 2020. (pdf / doi) © EEDA.

  20. P. Detterer, C. Erdin, J. Huisken, H. Jiao, M. Nabi, T. Basten, J. Pineda de Gyvez. Trading Sensitivity for Power in an IEEE 802.15.4 Conformant Adequate Demodulator. In Design, Automation and Test in Europe, DATE 2020, Proceedings, pages 1674-1679. Grenoble, France, 9-13 March, 2020. EEDA, 2020. (pdf / doi) © EEDA.

  21. S. Mohamed, A. Ullah Awan, D. Goswami, T. Basten. Designing Image-based Control Systems Considering Workload Variations. In 58th IEEE Conference on Decision and Control, CDC 2019. IEEE Computer Society Press, Los Alamitos, CA, USA, 2019. Nice, France, 11-13 December, 2019. (pdf / / doi) © IEEE.

  22. A. Ibrahim, M. Cicic, D. Goswami, T. Basten, K.H. Johansson. Control of Platooned Vehicles in Presence of Traffic Shock Waves. In 22nd IEEE Intelligent Transportation Systems Conference , ITSC 2019, Proceedings, pages 1727 - 1734. Auckland, New Zealand, 27-30 October 2019. IEEE Computer Society Press, Los Alamitos, CA, USA, 2019. (pdf / doi) © IEEE.

  23. S. Mohamed, S. De, K. Bimpisidis, V. Nathan, D. Goswami, H. Corporaal, T. Basten. IMACS: A Framework for Performance Evaluation of Image Approximation in a Closed-loop System. In 8th Mediterranean Conference on Embedded Computing, MECO 2019, Proceedings, pages 1-4. Budva, Montenegro, 10-14 June, 2019. IEEE Computer Society Press, Los Alamitos, CA, USA, 2019. (pdf / doi) © IEEE. Best paper 7th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems, ECYPS 2019.

  24. P. Detterer, C. Erdin, M. Nabi, J. Pineda de Gyvez, T. Basten, H. Jiao. Trading Digital Accuracy for Power in an RSSI Computation of a Sensor Network Transceiver. In Design, Automation and Test in Europe, DATE 2019, Proceedings, pages 102-107. Florence, Italy, 25-29 March, 2019. EEDA, 2019. (pdf / doi) © EEDA.

  25. R. Medina, S. Stuijk, D. Goswami, T. Basten. Implementation-aware Design of Image-based Control with On-line Measurable Variable Delay. In Design, Automation and Test in Europe, DATE 2019, Proceedings, pages 240-245. Florence, Italy, 25-29 March, 2019. EEDA, 2019. (pdf / doi) © EEDA.

  26. P. Detterer, C. Erdin, M. Nabi, T. Basten, H. Jiao. Understanding the Impact of Circuit-Level Inaccuracy on Sensor Network Performance. In 15th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2018, Proceedings, pages 107-114. Montreal, Canada, 28 October - 2 November, 2018. ACM Press, New York, NY, USA, 2018. (pdf / doi) © ACM.

  27. H. Alizadeh Ara, M.C.W. Geilen, A.R. Baghban Behrouzian, T. Basten. Throughput-Buffering Trade-Off Analysis for Scenario-Aware Dataflow Models. In 26th International Conference on Real-Time Networks and Systems, RTNS 2018, Proceedings, pages 265-275. Poitiers/Futuroscope, France, 10-12 October 2018. ACM Press, New York, NY, USA, 2018. (pdf / doi) © ACM.

  28. R. Tavakoli, M. Nabi, T. Basten, K.G.W. Goossens. Hybrid Timeslot Design for IEEE 802.15.4 TSCH to Support Heterogeneous WSNs. In 2018 IEEE 29th Annual International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC, Proceedings, pages 1-7. Bologna, Italy, 9-12 September 2018. IEEE Computer Society Press, Los Alamitos, CA, USA, 2018. (pdf / doi) © IEEE.

  29. H. Alizadeh Ara, M.C.W. Geilen, A.R. Baghban Behrouzian, T. Basten, D. Goswami. Compositional Dataflow Modelling for Cyclo-Static Applications. In 21st Euromicro Conference on Digital System Design, DSD 2018, Proceedings, pages 121-129. Prague, Czech Republic, 29-31 August 2018. IEEE Computer Society Press, Los Alamitos, CA, USA, 2018. (pdf / doi) © IEEE.

  30. A. Ibrahim, C. Belagal Math, D. Goswami, T. Basten, H. Li. Co-simulation Framework of Control, Communication and Traffic for Vehicle Platoons. In 21st Euromicro Conference on Digital System Design, DSD 2018, Proceedings, pages 352-356. Prague, Czech Republic, 29-31 August 2018. IEEE Computer Society Press, Los Alamitos, CA, USA, 2018. (pdf / doi) © IEEE.

  31. R. Jonk, J. Voeten, M.C.W. Geilen, T. Basten, R. Schiffelers. Timing Prediction for Service-based Applications mapped on Linux-based Multi-core Platforms. In 21st Euromicro Conference on Digital System Design, DSD 2018, Proceedings, pages 130-139. Prague, Czech Republic, 29-31 August 2018. IEEE Computer Society Press, Los Alamitos, CA, USA, 2018. (pdf / doi) © IEEE.

  32. S. Mohamed, D. Zhu, D. Goswami and T. Basten. Optimising Quality-of-Control for Data-intensive Multiprocessor Image-Based Control Systems considering Workload Variations. In 21st Euromicro Conference on Digital System Design, DSD 2018, Proceedings, pages 320-327. Prague, Czech Republic, 29-31 August 2018. IEEE Computer Society Press, Los Alamitos, CA, USA, 2018. (pdf / doi) © IEEE.

  33. B. van der Sanden, M. Geilen, M. Reniers, T. Basten. Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems. In Application of Concurrency to System Design, 18th International Conference, ACSD 2018, Proceedings, pages 40-49. Bratislava, Slovakia, 24-29 June 2018. IEEE Computer Society Press, Los Alamitos, CA, USA, 2018. (pdf / doi) © IEEE. ACSD 2018 best paper award.

  34. R. Tavakoli, M. Nabi, T. Basten, K.G.W. Goossens. Guard-Time Design for Symmetric Synchronization in IEEE 802.15.4 Time-Slotted Channel Hopping. In 2018 IEEE 87th Vehicular Technology Conference: VTC2018-Spring, Proceedings, pages 1-5. Porto, Portugal, 3-6 June 2018. IEEE Computer Society Press, Los Alamitos, CA, USA, 2018. (pdf / doi) © IEEE.

  35. A.R.B. Behrouzian, D. Goswami, M. Geilen, M. Hendriks, T. Basten, H. Alizadeh Ara. Firmness Analysis of Real-Time Applications under Static-Priority Preemptive Scheduling. In 24th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2018, Proceedings, pages 295-304. Porto, Portugal, 11-13 April 2018. IEEE Computer Society Press, Los Alamitos, CA, USA, 2018. (pdf / doi) © IEEE.

  36. S. Sioutas, S. Stuijk, H. Corporaal, T. Basten, L. Somers. Loop Transformations Leveraging Hardware Prefetching. In International Symposium on Code Generation and Optimization, CGO 2018, Proceedings, pages 254-264. Vienna, Austria, February 24 - 28, 2018. ACM Press, New York, NY, USA, 2018. (pdf / doi) © ACM.

  37. R. Medina, S. Stuijk, D. Goswami, T. Basten. Exploring the trade-off between processing resources and settling time in image-based control through LQR tuning. In 32nd ACM Symposium On Applied Computing, SAC 2017, Proceedings, pages 1456-1459. Marrakech, Morocco, April 3 - 7, 2017 ACM Press, New York, NY, USA, 2017. (pdf / doi) © ACM.

  38. R. Tavakoli, M. Nabi, T. Basten, K.G.W. Goossens. An Experimental Study of Cross-Technology Interference in In-Vehicle Wireless Sensor Networks. In 19th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2016, Proceedings, pages 195-204. Valetta, Malta, 13-17 November, 2016. ACM Press, New York, NY, USA, 2016. (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  39. R. Afzal, T. Basten, S. Stuijk, M. Nabi. INLyD: Inter-Network-Layer Delay as a low-cost quality metric for multi-hop routing in wireless networks. In 13th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2016 , Proceedings, pages 91-100. Valetta, Malta, 13-17 November, 2016. ACM Press, New York, NY, USA, 2016. (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  40. B. van der Sanden, J. Bastos, J. Voeten, M. Geilen, M. Reniers, T. Basten, J. Jacobs, R. Schiffelers. Compositional Specification of Functionality and Timing of Manufacturing Systems. In Forum on specification & Design Languages, FDL 2016, Proceedings, 8 pages. Bremen, Germany, 14-16 September, 2016. IEEE Computer Society Press, Los Alamitos, CA, USA, 2016. (pdf / doi) © IEEE.

  41. U. Waqas, M. Geilen, S. Stuijk, J. van Pinxten, T. Basten, L. Somers, H. Corporaal. A Fast Estimator of Performance with respect to the Design Parameters of Self Re-entrant Flowshops. In 19th Euromicro Conference on Digital System Design, DSD 2016, Proceedings, pages 215 - 221. Limassol, Cyprus, 31 August-2 September 2016. IEEE Computer Society Press, Los Alamitos, CA, USA, 2016. (pdf / doi) © IEEE.

  42. F. Comaschi, S. Stuijk, T. Basten, H. Corporaal. Robust Online Face Tracking-by-Detection. In 2016 IEEE International Conference on Multimedia and Expo, ICME 2016, Proceedings, pages 1-6. Seattle, USA, 11-15 July, 2016. IEEE Computer Society Press, Los Alamitos, CA, USA, 2016. (pdf / doi) © IEEE.

  43. E.P. van Horssen, A.R.B. Behrouzian, D. Goswami, D. Antunes, T. Basten, M. Heemels. Performance analysis and controller improvement for linear systems with (m,k)-firm data losses. In European Control Conference, ECC 2016, Proceedings, pages 2571-2577. Aalborg, Denmark, 29 June - 1 July, 2016. IEEE, 2016. (pdf / doi) © IEEE.

  44. M. Hendriks, M. Geilen, A. Behrouzian, T. Basten, H. Alizadeh, D. Goswami. Checking Metric Temporal Logic with TRACE. In Application of Concurrency to System Design, 16th International Conference, ACSD 2016, Proceedings, pages 19-24. Tool paper. Brussels, Belgium, 19-24 June 2016. IEEE Computer Society Press, Los Alamitos, CA, USA, 2016. (pdf / doi) © IEEE.

  45. S. Adyanthaya, M. Geilen, T. Basten, J. Voeten, R. Schiffelers. Communication Aware Multiprocessor Binding for Shared Memory Systems. In Industrial Embedded Systems, 11th IEEE International Symposium, SIES 2016, Proceedings, pages 1-10. Krakow, Poland, 23-25 May 2016. IEEE Computer Society Press, Los Alamitos, CA, USA, 2016. (pdf / doi) © IEEE.

  46. H. Alizadeh Ara, M. Geilen, T. Basten, A.R.B. Behrouzian, M. Hendriks, D. Goswami. Tight Temporal Bounds for Dataflow Applications Mapped onto Shared Resources. In Industrial Embedded Systems, 11th IEEE International Symposium, SIES 2016, Proceedings, pages 1-8. Krakow, Poland, 23-25 May 2016. IEEE Computer Society Press, Los Alamitos, CA, USA, 2016. (pdf / doi) © IEEE.

  47. A.R.B. Behrouzian, D. Goswami, M. Geilen, M. Hendriks, H. Alizadeh Ara, E.P. van Horssen, M. Heemels, T. Basten. Sample-Drop Firmness Analysis of TDMA-Scheduled Control Applications. In Industrial Embedded Systems, 11th IEEE International Symposium, SIES 2016, Proceedings, pages 1-8. Krakow, Poland, 23-25 May 2016. IEEE Computer Society Press, Los Alamitos, CA, USA, 2016. (pdf / doi) © IEEE.

  48. R. Medina Sánchez, S. Stuijk, D. Goswami, T. Basten. Reconfigurable pipelined sensing for image-based control. In Industrial Embedded Systems, 11th IEEE International Symposium, SIES 2016, Proceedings, pages 1-8. Krakow, Poland, 23-25 May 2016. IEEE Computer Society Press, Los Alamitos, CA, USA, 2016. (pdf / doi) © IEEE.

  49. J. van Pinxten, M.C.W. Geilen, T. Basten, U. Waqas, L. Somers. Online Heuristic for the Multi-objective Generalized Traveling Salesman Problem. In Design, Automation and Test in Europe, DATE 2016, Proceedings, pages 822-825. Dresden, Germany, 14-18 March, 2016. EEDA, 2016. (pdf) © EEDA.

  50. M. Hendriks, J. Verriet, T. Basten, M. Brasse, R. Dankers, R. Laan, A. Lint, H. Moneva, L. Somers, M. Willekens. Performance Engineering for Industrial Embedded Data-Processing Systems. In Abrahamsson P., Corral L., Oivo M., Russo B. (eds), Product-Focused Software Process Improvement, PROFES 2015, International Conference, Proceedings, pages 399-414. Bolzano-Bozen, Italy, 2-4 December 2015. Lecture Notes in Computer Science 9459. Springer, Berlin, Germany, 2015. (pdf / doi) © Springer.

  51. S. Adyanthaya, M.C.W. Geilen, T. Basten, J. Voeten, R. Schiffelers. Iterative Robust Multiprocessor Scheduling. In 23rd International Conference on Real-Time Networks and Systems, Proceedings, pages 23-32. Lille, France, 4-6 November 2015. ACM Press, New York, NY, USA, 2015. (pdf / doi) © ACM.

  52. R. Tavakoli, M. Nabi, T. Basten, K.G.W. Goossens. Enhanced Time-Slotted Channel Hopping in WSNs using Non-Intrusive Channel-Quality Estimation. In 12th IEEE International Conference on Mobile Ad-hoc and Sensor Systems, IEEE MASS 2015, Proceedings, pages 217-225. Dallas, Texas, USA, 19-22 October, 2015. IEEE Computer Society Press, Los Alamitos, CA, USA, 2015. (pdf / doi) © IEEE.

  53. S. Adyanthaya, H. Alizadeh Ara, J. Bastos, A.R.B. Behrouzian, R. Medina Sánchez, J. van Pinxten, B. van der Sanden, U. Waqas, T. Basten, H. Corporaal, R. Frijns, M. Geilen, D. Goswami, S. Stuijk, M. Reniers, J. Voeten. xCPS: A tool to eXplore Cyber-Physical Systems. In 2015 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2015, Proceedings, Article No. 3. October 8, 2015, Amsterdam, Netherlands. Part of the CPS week. ACM Press, New York, NY, USA, 2015. (pdf / doi) © ACM.

  54. B. van der Sanden, M. Reniers, M. Geilen, T. Basten, J. Jacobs, J. Voeten, and R. Schiffelers. Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines. In ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015, Proceedings, pages 416-425. Ottawa, Canada, 27 September - 2 October, 2015. IEEE Computer Society Press, Los Alamitos, CA, USA, 2015. (pdf / the models / doi) © IEEE.

  55. F. Comaschi, S. Stuijk, T. Basten, H. Corporaal. Online Multi-Face Detection and Tracking using Detector Confidence and Structured SVMs. In 12th IEEE International Conference on Advanced Video and Signal based Surveillance, AVSS 2015, Proceedings, pages 1-6. Karlsruhe, Germany, 25-28 August, 2015. IEEE Computer Society Press, Los Alamitos, CA, USA, 2015. (pdf / doi) © IEEE.

  56. A.R.B. Behrouzian, D. Goswami, T. Basten, M.C.W. Geilen, H. Alizadeh Ara. Multi-Constraint Multi-Processor Resource Allocation. In International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS XV, Proceedings, pages 338-346. Samos, Greece, 20-23 July 2015. IEEE Computer Society Press, Los Alamitos, CA, USA, 2015. (pdf / doi) © IEEE.

  57. N. Ilieskou, M. Blom, L. Somers, M. Reniers, T. Basten. Multi-Domain Virtual Prototyping in a SystemC SIL Framework: A Heating System Case Study. In International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS XV, Proceedings, pages 286-294. Samos, Greece, 20-23 July 2015. IEEE Computer Society Press, Los Alamitos, CA, USA, 2015. (pdf / doi) © IEEE.

  58. Q. Tang, T. Basten, M. Geilen, S. Stuijk, J.-B. Wei. Task-FIFO Co-Scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy. In Application of Concurrency to System Design, 15th International Conference, ACSD 2015, Proceedings, pages 90-99. Brussels, Belgium, 21-26 June 2015. IEEE Computer Society Press, Los Alamitos, CA, USA, 2015. (pdf / doi) © IEEE.

  59. S.R. Afzal, M. Nabi, S. Stuijk, T. Basten. Improving End-to-end Packet Delivery in High Traffic Multi-hop Wireless Ad Hoc Networks. In Mobile Multimedia Communications, 8th International Conference, MOBIMEDIA 2015, Proceedings, pages 39-46. Chengdu, China, 25-27 May, 2015. ICST, Brussels, Belgium, 2015. (pdf) © ICST.

  60. U. Waqas, M.C.W. Geilen, J. Kandelaars, L. Somers, T. Basten, S. Stuijk, P. Vestjens, H. Corporaal. A Re-entrant Flowshop Heuristic for Online Scheduling of the Paper Path in a Large Scale Printer. In Design, Automation and Test in Europe, DATE 2015, Proceedings, pages 573-578. Grenoble, France, 9-13 March, 2015. EEDA, 2015. (pdf) © EEDA.

  61. D. Goswami, D. Müller-Gritschneder, T. Basten, U. Schlichtmann, S. Chakraborty. Fault-tolerant Embedded Control Systems for Unreliable Hardware. In 14th International Symposium on Integrated Circuits, ISIC 2014, Proceedings, pages 464-467. Singapore, 10-12 December, 2014. IEEE Computer Society Press, Los Alamitos, CA, USA, 2014. (pdf / doi) © IEEE.

  62. M. Geilen, J. Falk, C. Haubelt, T. Basten, B. Theelen, S. Stuijk. Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs. In 48th Asilomar Conference on Signals, Systems & Computers, Proceedings, pages 393-397. Pacific Grove, CA, USA, 2-5 November, 2014. IEEE Computer Society Press, Los Alamitos, CA, USA, 2014. (pdf / doi) © IEEE.

  63. F. Comaschi, S. Stuijk, T. Basten, H. Corporaal. A Tool for Fast Ground Truth Generation for Object Detection and Tracking from Video. In 21st IEEE International Conference on Image Processing, ICIP 2014, Proceedings, pages 368-372. Paris, France, 27-30 October, 2014. IEEE Computer Society Press, Los Alamitos, CA, USA, 2014. (pdf / doi) © IEEE.

  64. V. Bui, P. Brandt, H. Liu, T. Basten, J. Lukkien. Semantic Interoperability in Body Area Sensor Networks and Applications. In 9th International Conference on Body Area Networks, BodyNets 2014, Proceedings, pages 217-221. London, UK, 29 September - 1 October 2014. ICST, Brussels, Belgium, 2014. (pdf doi) © ICST.

  65. P. Brandt, T. Basten, S. Stuijk. ContoExam: An Ontology on Context-aware Examinations. In 8th International Conference on Formal Ontology in Information Systems, FOIS 2014, Proceedings, pages 303-316. Rio de Janeiro, Brazil, September 22-25, 2014. Frontiers in Artificial Intelligence and Applications, Vol. 267. IOS Press, 2014. (pdf / doi) © IOS Press.

  66. S. Adyanthaya, Z. Zhang, M. Geilen, J. Voeten, T. Basten, R. Schiffelers. Robustness Analysis of Multiprocessor Schedules. In International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS XIV, Proceedings, pages 9-17. Samos, Greece, 14-17 July 2014. IEEE Computer Society Press, Los Alamitos, CA, USA, 2014. (pdf / doi) © IEEE.

  67. X.-Y. Zhu, M. Geilen, T. Basten, S. Stuijk. Memory-Constrained Static Rate-Optimal Scheduling of Synchronous Dataflow Graphs via Retiming. In Design, Automation and Test in Europe, DATE 2014, Proceedings, Article No. 325, 6 pages. Dresden, Germany, 24-18 March, 2014. IEEE, 2014. (pdf / doi) © EEDA.

  68. F. Bernier, J. Ploennigs, D. Pesch, S. Lesecq, T. Basten, M. Bouekeur, D. Denteneer, F. Oltmanns, M. Lehmann, Mai Tuan Linh, A. Mc Gibney, S. Rea, F. Pacull, C. Guyon-Gardeux, L.-F. Ducreux, S. Thior, M. Hendriks, J. Verriet, S. Fedor. Architecture for Self-organizing, Cooperative and Robust Building Automation Systems. In 39th Annual Conference of the IEEE Industrial Electronics Society, IECON 2013, Proceedings, pages 7700-7705. Vienna, Austria, 10-13 November 2013. IEEE Computer Society Press, Los Alamitos, CA, USA, 2013. (pdf / doi) © IEEE.

  69. A. Mc Gibney, S. Rea, M. Lehmann, S. Thior, S. Lesecq, M. Hendriks, C. Gardeux, Linh Tuan Mai, F. Pacull, J. Ploennigs, T. Basten, D. Pesch. A Systematic Engineering Tool chain Approach for Self-organizing Building Automation Systems. In 39th Annual Conference of the IEEE Industrial Electronics Society, IECON 2013, Proceedings, pages 7688-7693. Vienna, Austria, 10-13 November 2013. IEEE Computer Society Press, Los Alamitos, CA, USA, 2013. (pdf / doi) © IEEE.

  70. M. Nabi, M. Geilen, T. Basten. An Empirical Study of Link Quality Estimation Techniques for Disconnection Detection in WBANs. In Modeling, Analysis and Simulation of Wireless and Mobile Systems, 16th ACM International Conference, MSWiM 2013, Proceedings, pages 219-228. Barcelona, Spain, 3-5 November 2013. ACM Press, New York, NY, USA, 2013. (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  71. F. Comaschi, S. Stuijk, T. Basten, H. Corporaal. RASW: a Run-time Adaptive Sliding Window to Improve Viola-Jones Object Detection. In 7th ACM/IEEE International Conference on Distributed Smart Cameras, ICDSC 2013, Proceedings, 6 pages. Palm Springs, CA, USA, 29 October - 1 November, 2013. IEEE Computer Society Press, Los Alamitos, CA, USA, 2013. (pdf / doi) © IEEE.

  72. S. Adyanthaya, M. Geilen, T. Basten, R. Schiffelers, B. Theelen, J. Voeten. Fast Multiprocessor Scheduling with Fixed Task Binding of Large Scale Industrial Cyber Physical Systems. In 16th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2013, Proceedings, pages 979 - 988. Santander, Spain, 4-6 September 2013. IEEE Computer Society Press, Los Alamitos, CA, USA, 2013. (pdf / doi) © IEEE.

  73. P. Brandt, T. Basten, S. Stuijk, V. Bui, P. de Clercq, L. Ferreira Pires, M. van Sinderen. Semantic Interoperability in Sensor Applications - Making Sense of Sensor Data. In 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013, Proceedings, pages 34-41. 2013 IEEE Symposium on Computational Intelligence in Healthcare and e-Health, CICARE 2013. Singapore, 15-19 April 2013. IEEE, 2013. (pdf / doi) © IEEE.

  74. M. Damavandpeyma, S. Stuijk, T. Basten, M. Geilen, H. Corporaal. Throughput-Constrained DVFS for Scenario-Aware Dataflow Graphs. In 19th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2013, Proceedings, pages 175-184. Philadelphia, PA, USA, 9-11 April 2013. IEEE Computer Society Press, Los Alamitos, CA, USA, 2013. (pdf / doi) © IEEE.

  75. M. Blagojevic, M.C.W. Geilen, T. Basten, T. Hendriks. Fast Sink Placement for Gossip-based Wireless Sensor Networks. In 31st IEEE International Performance Computing and Communications Conference, IPCCC 2012, Proceedings, pages 110-119. Austin, Texas, USA, 1-3 December 2012. IEEE Computer Society Press, Los Alamitos, CA, USA, 2012. (pdf) © IEEE.

  76. M. Damavandpeyma, S. Stuijk, M. Geilen, T. Basten, H. Corporaal. Parametric Throughput Analysis of Scenario-Aware Dataflow Graphs. In 30th International Conference of Computer Design, ICCD 2012, Proceedings, pages 219-226. Montreal, Quebec, Canada, 30 September - 3 October 2012. IEEE Computer Society Press, Los Alamitos, CA, USA, 2012. (pdf / doi) © IEEE.

  77. M. Steine, M. Geilen, T. Basten. A Distributed Feedback Control Mechanism for Quality-of-Service Maintenance in Wireless Sensor Networks. In 15th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2012, Proceedings, pages 739-742. Izmir - Cesme, Turkey, 5-7 September 2012. IEEE Computer Society Press, Los Alamitos, CA, USA, 2012. (pdf) © IEEE.

  78. M. Nabi, M. Geilen, T. Basten. On-Demand Data Forwarding for Automatic Adaptation of Data Propagation in WBANs. In Sensor, Mesh and Ad Hoc Communications and Networks, 9th IEEE Communications Society Conference, SECON 2012, Proceedings, pages 326-334. Seoul, Korea, 18-21 June 2012. IEEE, 2012. (pdf) © IEEE.

  79. X.-Y. Zhu, M. Geilen, T. Basten, S. Stuijk. Static Rate-Optimal Scheduling of Multi-Rate DSP Algorithms via Retiming and Unfolding. In 18th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2012, Proceedings, pages 109-118. Beijing, China, 16-19 April, 2012. IEEE, 2012. (pdf / doi) © IEEE.

  80. M. Damavandpeyma, S. Stuijk, T. Basten, M. Geilen, H. Corporaal. Modeling Static-Order Schedules in Synchronous Dataflow Graphs. In Design, Automation and Test in Europe, DATE 2012, Proceedings, pages 775-780. Dresden, Germany, 12-16 March, 2012. IEEE, 2012. (pdf / ESR-2012-01) © EEDA.

  81. Y. Yang, M. Geilen, T. Basten, S. Stuijk, H. Corporaal. Playing Games with Scenario and Resource-Aware SDF Graphs Through Policy Iteration. In Design, Automation and Test in Europe, DATE 2012, Proceedings, pages 194-199. Dresden, Germany, 12-16 March, 2012. IEEE, 2012. (pdf) © EEDA.

  82. M. Steine, C. Viet Ngo, R. Serna Oliver, M.C.W. Geilen, T. Basten, G. Fohler, J.-D. Decotignie. Proactive Reconfiguration of Wireless Sensor Networks. In Modeling, Analysis and Simulation of Wireless and Mobile Systems, 14th ACM International Symposium, MSWiM 2011, Proceedings, pages 31-40. Miami, FL, USA, 31 October - 4 November 2011. ACM Press, New York, NY, USA, 2011. (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  83. M. Steine, M. Geilen, T. Basten. Distributed Maintenance of Minimum-cost Path Information in Wireless Sensor Networks. In 6th ACM International Workshop on Performance Monitoring, Measurement and Evaluation of Heterogeneous Wireless and Wired Networks, PM2HW2N 2011, Proceedings, pages 25-32. Miami, FL, USA, 31 October 2011. ACM Press, New York, NY, USA, 2011. (ACM DL Author-ize service pdf / doi / author pdf) © ACM.

  84. M. Hendriks, M. Geilen, T. Basten. Pareto Analysis with Uncertainty. In 9th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2011, Proceedings, pages 189-196. Melbourne, Australia, October 24-26, 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011. (pdf / doi) © IEEE.

  85. S. Stuijk, T. Basten, B. Akesson, M. Geilen, O. Moreira, J. Reineke. Designing Next-Generation Real-Time Streaming Systems. In 9th IEEE/ACM International Conference on Hardware/Software-Codesign and System Synthesis, CODES+ISSS 2011, Proceedings, pages 375-376. Tutorial. Part of the Embedded Systems Week. Taipei, Taiwan, October 9-14, 2011. ACM, NY, NY, USA, 2011. (pdf / more) © ACM.

  86. M. Damavandpeyma, S. Stuijk, T. Basten, M. Geilen, H. Corporaal. Hybrid Code-Data Prefetch-Aware Multiprocessor Task Graph Scheduling. In 14th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2011, Proceedings, pages 583-590. Oulu, Finland, 31 August - 2 September 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011. (pdf / doi) © IEEE.

  87. Y. Yang, M. Geilen, T. Basten, S. Stuijk, H. Corporaal. Iteration-based Trade-off Analysis of Resource-aware SDF. In 14th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2011, Proceedings, pages 567-574. Oulu, Finland, 31 August - 2 September 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011. (pdf / doi) © IEEE.

  88. M. Blagojevic, M. Nabi, M.C.W. Geilen, T. Basten, T. Hendriks, M. Steine. A Probabilistic Acknowledgment Mechanism for Wireless Sensor Networks. In 6th IEEE International Conference on Networking, Architecture, and Storage, NAS 2011, Proceedings, pages 63-72. Dalian, Liaoning, China, 28-30 July 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011. (pdf / doi) © IEEE.

  89. S. Stuijk, M. Geilen, B. Theelen, T. Basten. Scenario-Aware Dataflow: Modeling, Analysis and Implementation of Dynamic Applications. In L. Carro and A.D. Pimentel, editors, International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, IC-SAMOS 11, Proceedings, pages 404-411. Samos, Greece, 18-21 July 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011. (pdf) © IEEE.

  90. N. Trcka, M. Hendriks, T. Basten, M. Geilen, L. Somers. Integrated Model-Driven Design-Space Exploration for Embedded Systems. In L. Carro and A.D. Pimentel, editors, International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, IC-SAMOS 11, Proceedings, pages 339-346. Samos, Greece, 18-21 July 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011. (pdf / doi) © IEEE.

  91. M. Nabi, M. Blagojevic, M. Geilen, T. Basten. Dynamic Data Prioritization for Quality-of-Service Differentiation in Heterogeneous Wireless Sensor Networks. In Sensor, Mesh and Ad Hoc Communications and Networks, 8th IEEE Communications Society Conference, SECON 2011, Proceedings, pages 296-304. Salt Lake City, Utah, USA, 27-30 June, 2011. IEEE, 2011. (pdf / doi) © IEEE.

  92. N. Trcka, M. Voorhoeve, T. Basten. Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets. In Application of Concurrency to System Design, 11th International Conference, ACSD 2011, Proceedings, pages 13-18. Newcastle upon Tyne, UK, 20-24 June 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011. (pdf / doi) © IEEE.

  93. M. Nabi, M. Geilen, T. Basten. MoBAN: A Configurable Mobility Model for Wireless Body Area Networks. In 4th International Conference on Simulation Tools and Techniques, SIMUTools 2011, Proceedings. Barcelona, Spain, 21-25 March 2011. ICST, Brussels, Belgium, 2011. Best student paper award. (pdf) © ICST.

  94. T. Basten, E. van Benthum, M. Geilen, M. Hendriks, F. Houben, G. Igna, F. Reckers, S. de Smet. L. Somers, E. Teeselink, N. Trcka, F. Vaandrager, J. Verriet, M. Voorhoeve, Y. Yang. Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. In T. Margaria and B. Steffen, editors, 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2010, Proceedings, Part I, pages 90-105. Heraclion, Crete, 18-20 October 2010. Lecture Notes in Computer Science 6415. Springer, Heidelberg, Germany, 2010. (pdf) © Springer.

  95. M. Damavandpeyma, S. Stuijk, T. Basten, M. Geilen, H. Corporaal. Thermal-Aware Scratchpad Memory Design and Allocation. In 28th International Conference of Computer Design, ICCD 2010, Proceedings, pages 118-124. Amsterdam, Netherlands, 3-6 October 2010. IEEE Computer Society Press, Los Alamitos, CA, USA, 2010. (pdf) © IEEE.

  96. P. Poplavko, M. Geilen, T. Basten. Predicting the Throughput of Multiprocessor Applications under Dynamic Workload. In 28th International Conference of Computer Design, ICCD 2010, Proceedings, pages 282-288. Amsterdam, Netherlands, 3-6 October 2010. IEEE Computer Society Press, Los Alamitos, CA, USA, 2010. (pdf) © IEEE.

  97. M. Nabi, T. Basten, M. Geilen, M. Blagojevic, T. Hendriks. A Robust Protocol Stack for Multi-hop Wireless Body Area Networks with Transmit Power Adaptation. In 5th International Conference on Body Area Networks, BodyNets 2010, Proceedings. Corfu, Greece, 10-12 September 2010. ICST, Brussels, Belgium, 2010. (pdf) © ICST.

  98. S. Stuijk, M.C.W. Geilen, T. Basten. A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour. In Digital System Design, 13th EUROMICRO Conference, DSD 2010, Proceedings, pages 548-555. Lille, France, 1-3 September 2010. IEEE Computer Society Press, Los Alamitos, CA, USA, 2010. (pdf /doi) © IEEE.

  99. H. Shojaei, T.-H. Wu, A. Davoodi, T. Basten. A Pareto-Algebraic Framework for Signal Power Optimization in Global Routing. In 16th International Symposium on Low Power Electronics and Design, ISLPED 2010, Proceedings, pages 407-412. Austin, Texas, USA, 18-20 August, 2010. ACM Press, New York, NY, USA, 2010 (pdf / doi) © ACM.

  100. A. Oceguera, T. Basten, L. Somers, S. Hulsenboom. Real-Time Step Motor Emulation for Hardware-in-the-Loop Simulation. In 42nd Summer Computer Simulation Conference, SCSC 2010, Proceedings, pages 306-313. Ottawa, Canada, 11-14 July, 2010. SCS, 2010. (pdf) © SCS.

  101. M. Nabi, M. Blagojevic, M.C.W. Geilen, T. Basten, T. Hendriks. MCMAC: An Optimized Medium Access Control Protocol for Mobile Clusters in Wireless Sensor Networks. In Sensor, Mesh and Ad Hoc Communications and Networks, 7th IEEE Communications Society Conference, SECON 2010, Proceedings, pages 28-36. Boston, MA, USA, 21-25 June, 2010. IEEE, 2010.> (pdf / ACM ToSN) © IEEE.

  102. M. Wiggers, M.J.G. Bekooij, M.C.W. Geilen, T. Basten. Simultaneous Budget and Buffer Size Computation for Throughput-Constrained Task Graphs. In Design, Automation and Test in Europe, DATE 2010, Proceedings, pages 1669-1672. Dresden, Germany, 8-12 March, 2010. IEEE, 2010. (pdf) © EEDA.

  103. Y. Yang, M.C.W. Geilen, T. Basten, S. Stuijk, H. Corporaal. Automated Bottleneck-Driven Design-Space Exploration of Media Processing Systems. In Design, Automation and Test in Europe, DATE 2010, Proceedings, pages 1041-1046. Dresden, Germany, 8-12 March, 2010. IEEE, 2010. (pdf) © EEDA.

  104. M. Blagojevic, M. Nabi, T. Hendriks, T. Basten, M. Geilen. Fast Simulation Methods to Predict Wireless Sensor Network Performance. In A. Boukerche, I. Guerin-Lassous, S. Olariu, editors, 6th ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, PE-WASUN 2009, Proceedings, pages 41-48. Tenerife, Canary Islands, Spain, 26-30 October, 2009. ACM Press, New York, NY, USA, 2009. (pdf / Simulation) © ACM.

  105. M. Nabi, M. Blagojevic, T. Basten, M. Geilen, T. Hendriks. Configuring Multi-Objective Evolutionary Algorithms for Design-Space Exploration of Wireless Sensor Networks. In 4th ACM International Workshop on Performance Monitoring, Measurement and Evaluation of Heterogeneous Wireless and Wired Networks, PM2HW2N 2009, Proceedings, pages 111-119. Tenerife, Canary Islands, Spain, 26 October, 2009. ACM Press, New York, NY, USA, 2009. (pdf) © ACM.

  106. Y. Yang, M.C.W. Geilen, T. Basten, S. Stuijk, H. Corporaal. Exploring Trade-offs between Performance and Resource Requirements for Synchronous Dataflow Graphs. In 7th IEEE Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2009, Proceedings, pages 96-105. Grenoble, France, 15-16 October, 2009. IEEE, 2009. (pdf) © IEEE.

  107. H. Shojaei, A.H. Ghamarian, T. Basten, M.C.W. Geilen, S. Stuijk. R. Hoes. A Parameterized Compositional Multi-dimensional Multiple-choice Knapsack Heuristic for CMP Run-time Management. In 46th Design Automation Conference, DAC 2009, Proceedings, pages 917-922. San Francisco, California, USA, 26-31 July, 2009. ACM Press, New York, NY, USA, 2009. (pdf) © ACM.

  108. R. Hoes, T. Basten, W.-L. Yeow, C.-K. Tham, M.C.W. Geilen, H. Corporaal. QoS Management for Wireless Sensor Networks with a Mobile Sink. In U. Roedig and C.J. Sreenan, editors, Wireless Sensor Networks, 6th European Conference, EWSN 2009, Proceedings, pages 53-68. Cork, Ireland, 11-13 February 2009. Lecture Notes in Computer Science 5432. Springer, Berlin, Germany, 2009. (pdf /doi) © Springer.

  109. H. Shojaei, T. Basten, M.C.W. Geilen, P. Stanley-Marbell. SPaC: A Symbolic Pareto Calculator. 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 Press, New York, NY, USA, 2008. (pdf) © ACM.

  110. G. Igna, V. Kannan, Y. Yang, T. Basten, M.C.W. Geilen, F.W. Vaandrager, M. Voorhoeve, S. de Smet, and L.J. Somers. Formal Modeling and Scheduling of Data Paths of Digital Document Printers. 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. (pdf / doi) © Springer.

  111. A.H. Ghamarian, M.C.W. Geilen, T. Basten, S. Stuijk. Parametric Throughput Analysis of Synchronous Data Flow Graphs. 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. (pdf) © EEDA.

  112. R. Hoes, T. Basten, C.-K. Tham, M.C.W. Geilen, H. Corporaal. Analysing QoS Trade-offs in Wireless Sensor Networks. In Modeling, Analysis and Simulation of Wireless and Mobile Systems, 10th ACM International Symposium, MSWiM 2007, Proceedings, pages 60-69. Chania, Crete Island, Greece, 22-26 October, 2007, ACM Press, New York, NY, USA, 2007. Best paper award. (pdf / doi / Perform. Eval.) © ACM.

  113. A.H. Ghamarian, S. Stuijk, T. Basten, M.C.W. Geilen, B.D. Theelen. Latency Minimization for Synchronous Data Flow Graphs. 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. (pdf) © IEEE.

  114. P. Poplavko, T. Basten, J.L. van Meerbergen. Execution-time Prediction for Dynamic Streaming Applications with Task-level Parallelism. 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. (pdf) © IEEE.

  115. S. Stuijk, T. Basten, M.C.W. Geilen, H. Corporaal. Multiprocessor Resource Allocation for Throughput-Constrained Synchronous Dataflow Graphs. In 44th Design Automation Conference, DAC 2007, Proceedings, pages 777-782. San Diego, California, USA, 4-8 June 2007. ACM Press, New York, NY, USA, 2007. (pdf) © ACM.

  116. M.C.W. Geilen, T. Basten. A Calculator for Pareto Points. 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) © IEEE.

  117. J.W. van den Brand, C. Ciordas, K. Goossens, T. Basten. Congestion-Controlled Best-Effort Communication for Networks-on-Chip. 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) © IEEE.

  118. S.V. Gheorghita, T. Basten, and H. Corporaal. Application Scenarios in Streaming-Oriented Embedded System Design. In International Symposium on System-on-Chip 2006, SoC 2006, Proceedings, pages 175-178. Tampere, Finland, 13-16 November, 2006. IEEE, Piscataway, NJ, USA, 2006. Best paper of SoC 2006. (pdf / ESR-2006-03 / IEEE D&T) © IEEE.

  119. A.H. Ghamarian, M.C.W. Geilen, T. Basten, B.D. Theelen, M.R. Mousavi, S. Stuijk. Liveness and Boundedness of Synchronous Data Flow Graphs. In Formal Methods in Computer Aided Design, FMCAD 2006, Proceedings, pages 68-75. San Jose, CA, USA, 12-16 November, 2006, IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. (abstract / pdf / ESR-2006-04) © IEEE.

  120. C. Ciordaş, K.G.W. Goossens, T. Basten, A. Rădulescu, A.G. Boon. Transaction Monitoring in Networks on Chip: The On-Chip Run-Time Perspective. 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) © IEEE.

  121. B. Mesman, H. Fatemi, H. Corporaal, T. Basten. Dynamic-SIMD for lens distortion compensation. 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) © IEEE.

  122. C. Ciordaş, A. Hansson, K.G.W. Goossens, T. Basten. A Monitoring-aware Network-on-Chip Design Flow. 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 / JSA) © IEEE.

  123. S. Stuijk, T. Basten, M.C.W. Geilen, A.H. Ghamarian, B.D. Theelen. Resource-efficient Routing and Scheduling of Time-constrained Network-on-Chip Communication. In V. Muthukumar, editor, Digital System Design, 9th EUROMICRO Conference, DSD 2006, Proceedings, pages 45-52. Dubrovnik, Croatia, 30 August - 1 September 2006. IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. (abstract / pdf / doi / JSA) © IEEE.

  124. B.D. Theelen, M.C.W. Geilen, T. Basten, J.P.M. Voeten, S.V. Gheorghita, S. Stuijk. A Scenario-Aware Data Flow Model for Combined Long-Run Average and Worst-Case Performance Analysis. In Formal Methods and Models for CoDesign, 4th ACM & IEEE conference, MEMOCODE 2006, Proceedings, pages 185-194. Napa Valley, California, USA, 27-30 July 2006. IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. (abstract / pdf) © IEEE.

  125. S. Stuijk, M.C.W. Geilen, T. Basten. Exploring Trade-offs in Buffer Requirements and Throughput Constraints for Synchronous Dataflow Graphs. In 43rd Design Automation Conference, DAC 2006, Proceedings, pages 899-904. San Francisco, California, USA, 24-28 July 2006. ACM Press, New York, NY, USA, 2006. (abstract / pdf / doi / IEEE TC) © ACM.

  126. S.V. Gheorghita, T. Basten, and H. Corporaal. Profiling Driven Scenario Detection and Prediction for Multimedia Applications. In Embedded Computer Systems: Architectures, MOdeling, and Simulation, International Conference, IC-SAMOS 2006, Proceedings, pages 63-70. Samos, Greece, 17-20 July 2006. IEEE Computer Society Press, Los Alamitos, CA, USA, 2006. (abstract / pdf / J SPS 2008) © IEEE.

  127. A.H. Ghamarian, M.C.W. Geilen, S. Stuijk, T. Basten, A.J.M. Moonen, M. Bekooij, B.D. Theelen, M.R. Mousavi. Throughput Analysis of Synchronous Data Flow Graphs. In K.G.W. Goossens and L. Petrucci, editors, 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 / doi) © IEEE.

  128. S. Stuijk, M.C.W. Geilen, T. Basten. SDF3: SDF For Free. In K.G.W. Goossens and L. Petrucci, editors, 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. (tool paper) (abstract / pdf) © IEEE.

  129. C. Ciordaş, K.G.W. Goossens, A. Rădulescu, T. Basten. NoC Monitoring: Impact on the Design Flow. 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) © IEEE.

  130. H. Fatemi, B. Mesman, H. Corporaal, T. Basten, P. Jonker. Run-Time Reconfiguration of Communication in SIMD Architectures. 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) © IEEE.

  131. S.V. Gheorghita, T. Basten, and H. Corporaal. Intra-task Scenario-aware Voltage Scheduling. 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. (abstract / pdf) © ACM.

  132. H. Fatemi, H. Corporaal, T. Basten, R. Kleihorst, and P. Jonker. Designing Area and Performance Constrained SIMD/VLIW Image Processing Architectures. 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) © Springer.

  133. S. Stuijk, T. Basten, B. Mesman, M.C.W. Geilen. Predictable embedding of large data structures in multiprocessor networks-on-chip. In C. Wolinski, editor, Digital System Design, 8th EUROMICRO Conference, DSD 2005, Proceedings, pages 388-395. Porto, Portugal, 30 August - 3 September, 2005. IEEE Computer Society Press, Los Alamitos, CA, USA, 2005. (abstract / pdf) © IEEE.

  134. P. Poplavko, T. Basten, M. Pastrnak, J. van Meerbergen, M. Bekooij, and P. de With. Extended Abstract: Estimation of Execution Times of On-chip Multiprocessor Stream-oriented Applications. 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. (pdf / DSD 2007) © IEEE.

  135. S.V. Gheorghita, S. Stuijk, T. Basten, H. Corporaal. Automatic Scenario Detection for Improved WCET Estimation. In 42nd Design Automation Conference, DAC 2005, Proceedings, pages 101-104. Anaheim, California, USA, 13-17 June 2005. ACM Press, New York, NY, USA, 2005. ACM Press, New York, NY, USA, 2005. (abstract / pdf / ESR-2005-04) © ACM.

  136. M.C.W. Geilen, T. Basten, S. Stuijk. Minimising Buffer Requirements of Synchronous Dataflow Graphs with Model Checking. In 42nd Design Automation Conference, DAC 2005, Proceedings, pages 819-824. Anaheim, California, USA, 13-17 June 2005. ACM Press, New York, NY, USA, 2005. (abstract / pdf) © ACM.

  137. M.C.W. Geilen, T. Basten, B.D. Theelen, R.H.J.M. Otten. An Algebra of Pareto Points. In J. Desel and Y. Watanabe, editors 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. (abstract / pdf / Fund. Inf. 2007) © IEEE.

  138. S. Stuijk, T. Basten, B. Mesman, M.C.W. Geilen. Predictable embedding of large data structures in multiprocessor networks-on-chip (extended abstract). In N. Wehn, L. Benini, editors, 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 / DSD 2005) © IEEE.

  139. C. Ciordaş, T. Basten, A. Rădulescu, K.G.W. Goossens, J.L. van Meerbergen. An Event-Based Network-on-Chip Monitoring Service. In Ninth Annual IEEE International High Level Design Validation and Test Workshop 2004, HLDVT'04, Proceedings, pages 149-154. Sonoma Valley, CA, USA, 10-12 November, 2004. IEEE Computer Society Press, Los Alamitos, CA, USA, 2004. (abstract / pdf / ACM ToDAES 2005) © IEEE.

  140. M.C.W. Geilen and T. Basten. Reactive Process Networks. In EMSOFT 2004, Fourth ACM International Conference on Embedded Software, Proceedings, pages 137-146. Pisa, Italy, 27-29 September, 2004. ACM Press, New York, NY, USA, 2004. (abstract / pdf) © ACM.

  141. M.R. Mousavi, M.A. Reniers, T. Basten, M.R.V. Chaudron. PARS: A Process Algebra with Resources and Schedulers. In K.G. Larsen and P. Niebert, editors, 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 / postscript / pdf / Springer) © Springer.

  142. M.R. Mousavi, P. Le Guernic, J.-P. Talpin, S.K. Shukla, T. Basten. Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks. 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) © IEEE.

  143. P. Poplavko, T. Basten, M. Bekooij, J. van Meerbergen, B. Mesman. Task-level Timing Models for Guaranteed Performance in Multiprocessor Networks-on-Chip. In Compilers, Architecture, and Synthesis for Embedded Systems, International Conference, CASES 2003, Proceedings, pages 63-72. San Jose, CA, USA, 30 October - 1 November 2003. ACM Press, New York, NY, USA, 2003. (abstract / pdf) © ACM.

  144. H.M.W. Verbeek and T. Basten. Deciding life-cycle inheritance on Petri nets. In W.M.P. van der Aalst and E. Best, editors, Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Proceedings, pages 44-63. Eindhoven, the Netherlands, 23-27 June 2003. Lecture Notes in Computer Science 2679. Springer, Berlin, Germany, 2003. (abstract / pdf) © Springer.

  145. S. Stuijk and T. Basten. Analyzing Concurrency in Computational Networks (Extended Abstract). In Formal Methods and Models for Codesign, 1st ACM & IEEE International Conference, MEMOCODE'03, Proceedings, pages 47-48. Mont Saint-Michel, France, 24-26 June, 2003. IEEE Computer Society Press, Los Alamitos, CA, USA, 2003. (abstract / postscript / pdf / JSA) © IEEE.

  146. M.R. Mousavi, M.A. Reniers, T. Basten, and M.R.V. Chaudron. Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems. 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 / postscript / pdf / CSR 02/09) © IEEE.

  147. S. Stuijk, T. Basten, and J. Ypma. CAST - A Task-Level Concurrency Analysis Tool (Extended Abstract). In J. Lilius, F. Balarin, R.J. Machado, editors, Application of Concurrency to System Design, 3rd International Conference, ACSD 2003, Proceedings, pages 237-238. Guimarães, Portugal, 18-20 June, 2003. IEEE Computer Society Press, Los Alamitos, CA, USA, 2003. (tool paper) (abstract / pdf / JSA) © IEEE.

  148. M.C.W. Geilen and T. Basten. Requirements on the Execution of Kahn Process Networks. In P. Degano, Programming Languages and Systems, 12th European Symposium on Programming, ESOP 2003, Proceedings, pages 319-334. Warsaw, Poland, 7-11 April 2003. Lecture Notes in Computer Science 2618. Springer, Berlin, Germany, 2003. (abstract / pdf) © Springer.

  149. 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. Using Aspect-GAMMA in the Design of Embedded Systems (extended abstract). In IEEE International High Level Design Validation and Test Workshop, HLDVT'02, Proceedings, pages 69-74. Cannes, France, October 27-29, 2002. IEEE Computer Society Press, Los Alamitos, CA, USA, 2002. (abstract / postscript / pdf) © IEEE.

  150. I.M.M.J. Reymen, P. Kroes, and T. Basten. Modelling the role of the design context in the design process: A domain-independent approach. In D. Durling and J. Shackleton, editors, Common Ground, Design Research Society International Conference 2002, Proceedings, pages 917-927. Brunel University, London, UK, 5-7 September 2002. Staffordshire University Press, Stoke-on-Trent, UK, 2002. (abstract / postscript / pdf / Res. Eng. Des. 2006)

  151. Q. Zhao, B. Mesman, and T. Basten. Practical Instruction Set Design and Compiler Retargetability using Static Resource Models. 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 / postscript / pdf / ACM TECS 2003) © IEEE.

  152. T. Basten and D. Bošnački. Enhancing Partial-Order Reduction via Process Clustering. In Automated Software Engineering, ASE 2001, 16th. IEEE International Conference, Proceedings, pages 245-253. Coronado Island, San Diego, CA, USA, November 2001. IEEE Computer Society Press, Los Alamitos, CA, USA, 2001. (Best paper nomination.) (abstract / postscript / pdf / ASE 2004) © IEEE CS.

  153. Q. Zhao, T. Basten, B. Mesman, C.A.J. van Eijk, and J.A.G. Jess. Static Resource Models of Instruction Sets. In 14th. International Symposium on System Synthesis, ISSS 2001, Proceedings, pages 159-164. Montréal, Québec, Canada, September/October 2001. ACM Press, New York, USA, 2001. (abstract / postscript / pdf / ACM TECS 2003) © ACM.

  154. T. Basten and J. Hoogerbrugge. Efficient Execution of Process Networks. In A. Chalmers, M. Mirmehdi and H. Muller, editors, Communicating Process Architectures - 2001, Proceedings, pages 1-14. Bristol, UK, September 2001. IOS Press, Amsterdam, the Netherlands, 2001. (abstract / postscript / pdf / ESOP 2003) © IOS Press.

  155. W.M.P. van der Aalst and T. Basten. Identifying Commonalities and Differences in Object Life Cycles using Behavioral Inheritance. In J.-M. Colom and M. Koutny, editors, Applications and Theory of Petri Nets 2001, 22nd. International Conference, ICATPN 2001, Proceedings, pages 32-52. Newcastle upon Tyne, UK, June 2001. Lecture Notes in Computer Science 2075. Springer, Berlin, Germany, 2001. (abstract / postscript / pdf) © Springer.

  156. T. Basten and J. Hooman. Process Algebra in PVS. In W.R. Cleaveland, editor, Tools and Algorithms for the Construction and Analysis of Systems, 5th. International Conference, TACAS'99, Proceedings, pages 270-284. Amsterdam, the Netherlands, March 1999. Lecture Notes in Computer Science 1579. Springer, Berlin, Germany, 1999. (abstract / postscript / pdf) © Springer.

  157. W.M.P. van der Aalst and T. Basten. Life-Cycle Inheritance: A Petri-Net-Based Approach. In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, 18th. International Conference, ICATPN'97, Proceedings, pages 62-81. Toulouse, France, June 1997. Lecture Notes in Computer Science 1248. Springer, Berlin, Germany, 1997. (abstract / postscript / pdf / JLAP 2001) © Springer.

  158. T. Basten and M. Voorhoeve. An Algebraic Semantics for Hierarchical P/T Nets (extended abstract). In G. De Michelis and M. Diaz, editors, Application and Theory of Petri Nets 1995, 16th. International Conference, ICATPN'95, Proceedings, pages 45-65. Torino, Italy, June 1995. Lecture Notes in Computer Science 935. Springer, Berlin, Germany, 1995. (abstract / postscript / pdf / CSR 95/35) © Springer.

  159. T. Basten. Breakpoints and Time in Distributed Computations. In G. Tel and P.M.B. Vitányi, editors, Distributed Algorithms, 8th. International Workshop, WDAG'94, Proceedings, pages 340-354. Terschelling, the Netherlands, September/October 1994. Lecture Notes in Computer Science 857. Springer, Berlin, Germany, 1994. (abstract / postscript / pdf) © Springer.

Back to the top.

Invited Conference Publications

  1. B. van der Sanden, Y. Li, J. van den Aker, B. Akesson, T. Bijlsma, M. Hendriks, K. Triantafyllidis, J. Verriet, J. Voeten, T. Basten. Model-Driven System-Performance Engineering for Cyber-Physical Systems. Industry Session Paper. In 2021 International Conference on Embedded Software Companion, EMSOFT’21, pages 11-22. Virtual Event, USA, 8-15 October, 2021. ACM Press, New York, USA, 2021. (doi - open access / author pdf) © The authors.

  2. Z. Al-Ars, T. Basten, A. de Beer, M. Geilen, D. Goswami, P. Jääskeläinen, J. Kadlec, M. Martinez de Alejandro, F. Palumbo, G. Peeren, L. Pomante, F. van der Linden, J. Saarinen, T. Säntti, C. Sau, M.K. Zedda. The FitOptiVis ECSEL project: highly efficient distributed embedded image/video processing in cyber-physical systems. Computing Frontiers, 16th ACM International Conference, CF 2019, Proceedings, pages 333-338. Alghero, Italy, 30 April - 2 May, 2019. ACM Press, New York, USA, 2019 (pdf / doi) © ACM.

  3. A. Behrouzian, D. Goswami, T. Basten. Robust co-synthesis of embedded control systems with occasional deadline misses. On-Line Testing and Robust System Design, 24th IEEE International Symposium, IOLTS 2018, Proceedings, pages 127-130. Platja d'Aro, Costa Brava, Spain, 2-4 July 2018. IEEE Computer Society Press, Los Alamitos, CA, USA, 2018. (pdf / doi) © IEEE.

  4. T. Basten, M. Hendriks, L. Somers, N. Trcka. Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems (extended abstract). In M. Jurdzinski and D. Nickovic, editors, Formal Modeling and Analysis of Timed Systems, 10th International Conference, FORMATS 2012, Proceedings, pages 1-6. London, UK, 18-20 September 2012. Lecture Notes in Computer Science 7595. Springer, Berlin, Germany, 2012. (Keynote presentation.) (pdf / doi / full version) © Springer.

  5. M. Geilen, S. Stuijk, T. Basten. Predictable Dynamic Embedded Data Processing. In International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, IC-SAMOS 12, Proceedings, pages 320-327. Samos, Greece, 16-19 July 2012. IEEE Computer Society Press, Los Alamitos, CA, USA, 2012. (pdf) © IEEE.

  6. M. Nabi, M. Geilen, T. Basten. Demonstrating On-demand Listening and Data Forwarding in Wireless Body Area Networks. In Sensor, Mesh and Ad Hoc Communications and Networks, 9th IEEE Communications Society Conference, SECON 2012, Proceedings, pages 82-84. Seoul, Korea, 18-21 June 2012. Demonstration. IEEE, 2012. (pdf) © IEEE.

  7. S. Mamagkakis, P. Lemmens, D. Soudris, T. Basten, P. Marwedel, D. Kritharidis, G. Guilmin. MNEMEE: Memory management technology for adaptive and efficient design of embedded systems. 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. (pdf) © IEEE.

  8. T. Basten, L. Benini, A. Chandrakasan, M. Lindwer, J. Liu, R. Min, and F. Zhao. Scaling into Ambient Intelligence. In N. Wehn and D. Verkest, editors, Design, Automation and Test in Europe, DATE 03, Proceedings, pages 76-81. Munich, Germany, 3-7 March 2003. IEEE Computer Society Press, Los Alamitos, CA, USA, 2003. (abstract / pdf) © IEEE.

  9. M. Lindwer, D. Marculescu, T. Basten, R. Zimmermann, R. Marculescu, S. Jung, and E. Cantatore. Ambient Intelligence Visions and Achievements; Linking abstract ideas to real-world concepts. In N. Wehn and D. Verkest, editors, Design, Automation and Test in Europe, DATE 03, Proceedings, pages 10-15. Munich, Germany, 3-7 March 2003. IEEE Computer Society Press, Los Alamitos, CA, USA, 2003. (abstract / pdf) © IEEE.

Back to the top.

Parts of Books

  1. A. Thieme, T. Basten. Minesweeper is Difficult Indeed! In N. Jansen, M. Stoelinga, P. van den Bos, editors, A Journey from Process Algebra via Timed Automata to Model Learning. Lecture Notes in Computer Science 13560. Springer, Cham, Switzerland, 2022. (doi / pdf)

  2. M.C.W. Geilen, M. Skelin, J.R. van Kampenhout, H. Alizadeh Ara, T. Basten, S. Stuijk, K.G.W. Goossens. Scenarios in Dataflow Modeling and Analysis. In F. Catthoor, T. Basten, N. Zompakis, M. Geilen, P.G. Kjeldsberg, editors. System-Scenario-based Design Principles and Applications, pages 145-180. Springer Nature, Switzerland, 2020. (doi) © Springer. Please email me if you wish to receive a copy.

  3. T. Basten, J. Bastos, R. Medina, B. van der Sanden, M.C.W. Geilen, D. Goswami, M.A. Reniers, S. Stuijk, J.P.M. Voeten. Scenarios in the Design of Flexible Manufacturing Systems. In F. Catthoor, T. Basten, N. Zompakis, M. Geilen, P.G. Kjeldsberg, editors. System-Scenario-based Design Principles and Applications, pages 181-224. Springer Nature, Switzerland, 2020. (doi) © Springer. Please email me if you wish to receive a copy.

  4. M.C.W. Geilen, T. Basten. Kahn Process Networks and a Reactive Extension. In S.S. Bhattacharyya, E.F. Deprettere, R. Leupers, J. Takala, editors. Handbook of Signal Processing Systems, 3rd edition, pages 865-906. Springer, New York, USA, 2019. (doi) © Springer. Please email me if you wish to receive a copy.

  5. M. Nabi, T. Basten, M.C.W. Geilen. Wireless Body Area Network Protocols. In H. Eren, J.G. Webster, editors. Telemedicine and Electronic Medicine, Chapter 9, pages 191-210. CRC Press, November 2015. (doi) © CRC Press. Please email me if you wish to receive a copy.

  6. M. Nabi, M.C.W. Geilen, T. Basten. Wireless Body Area Network Data Delivery. In H. Eren, J.G. Webster, editors. Telemedicine and Electronic Medicine, Chapter 10, pages 211-230. CRC Press, November 2015. (doi) © CRC Press. Please email me if you wish to receive a copy.

  7. M.C.W. Geilen, T. Basten. Kahn Process Networks and a Reactive Extension. In S.S. Bhattacharyya, E.F. Deprettere, R. Leupers, J. Takala, editors. Handbook of Signal Processing Systems, 2nd edition, pages 1041-1081. Springer, New York, USA, 2013. (doi) © Springer.

  8. J. Verriet, T. Basten, R. Hamberg, F. Reckers, L. Somers. Adaptivity in Professional Printing Systems. In T. Basten, R. Hamberg, F. Reckers, J. Verriet, editors. Model-Based Design of Adaptive Embedded Systems, Chapter 1, pages 1-9. Embedded Systems, Vol. 22. Springer, 2013. (doi) © Springer.

  9. R. Hamberg, R. Waarsing, T. Basten, F. Reckers, J. Verriet, L. Somers. Aspects of Adaptive Systems Engineering: A Professional Printing Case. In T. Basten, R. Hamberg, F. Reckers, J. Verriet, editors. Model-Based Design of Adaptive Embedded Systems, Chapter 2, pages 11-40. Embedded Systems, Vol. 22. Springer, 2013. (doi) © Springer.

  10. T. Basten, M. Hendriks, N. Trcka, L. Somers, M.C.W. Geilen, Y. Yang, G. Igna, S. de Smet, M. Voorhoeve, W.M.P. van der Aalst, H. Corporaal, F.W. Vaandrager. Model-Driven Design-Space Exploration for Software-Intensive Embedded Systems. In T. Basten, R. Hamberg, F. Reckers, J. Verriet, editors. Model-Based Design of Adaptive Embedded Systems, Chapter 7, pages 189-244. Embedded Systems, Vol. 22. Springer, 2013. (doi) © Springer.

  11. F. Reckers, T. Basten, R. Hamberg, J. Verriet. Reflections on the Octopus Project. In T. Basten, R. Hamberg, F. Reckers, J. Verriet, editors. Model-Based Design of Adaptive Embedded Systems, Chapter 9, pages 283-289. Embedded Systems, Vol. 22. Springer, 2013. (doi) © Springer.

  12. M.C.W. Geilen, T. Basten. Kahn Process Networks and a Reactive Extension. In S.S. Bhattacharyya, E.F. Deprettere, R. Leupers, J. Takala, editors. Handbook of Signal Processing Systems, pages 967-1006. Springer, Berlin, Germany, October 2010. (doi) © Springer.

  13. M.R. Mousavi, M.A. Reniers, T. Basten, M.R.V. Chaudron. PARS: A Process Algebraic Approach to Resources and Schedulers. In M. Alexander and W. Gardner, editors, Process Algebra for Parallel and Distributed Processing: Algebraic Languages in Specification-Based Software Development, Chapter 10, pages 331-358. CRC Press, Boca Raton, FL, USA, December 2008. (pdf) © CRC Press.

  14. T. Basten. Verifying Petri-Net Models Using Process Algebra. In C. Girault and R. Valk, editors, Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications, Section 16.5, pages 382-397. Springer, Berlin, Germany, 2003. (abstract / postscript / pdf) © Springer.

  15. T. Basten and W.M.P. van der Aalst. Inheritance of Dynamic Behavior: Development of a Groupware Editor. In G.A. Agha, F. De Cindio, and G. Rozenberg, editors, Concurrent Object-Oriented Programming and Petri Nets, pages 391-405. Advances in Petri Nets. Lecture Notes in Computer Science 2001. Springer, Berlin, Germany, April 2001. (abstract / postscript / pdf / JLAP 2001 / doi) © Springer.

  16. J.C.M. Baeten and T. Basten. Partial-Order Process Algebra (and its Relation to Petri Nets). In J.A. Bergstra, A. Ponse, and S.A. Smolka, editors, Handbook of Process Algebra, Chapter 13, pages 769-872. Elsevier Science, Amsterdam, the Netherlands, March 2001. (invited) (abstract / postscript / pdf / CSR 99/18) © Elsevier Science.

  17. W.M.P. van der Aalst, T. Basten, H.M.W. Verbeek, P.A.C. Verkoulen, and M. Voorhoeve. Adaptive Workflow: On the Interplay between Flexibility and Support. In J. Filipe, editor, Enterprise Information Systems, pages 63-70. Kluwer Academic Publishers, Dordrecht, the Netherlands, April 2000. (Selection of best papers of ICEIS'99) (abstract / postscript / pdf) © Kluwer Academic Publishers.
    (The paper also appeared in J. Filipe and J. Cordeiro, editors, Enterprise Information Systems, 1st. International Conference, ICEIS'99, Proceedings, pages 353-360. Setúbal, Portugal, March 1999.)

Back to the top.

Other Publications

  1. M. Hendriks, M. Geilen, K. Goossens, R. de Jong, T. Basten. Interface Modeling for Quality and Resource Management. arXiv:2002.08181 [cs.LO], 19 February 2020 (updates 15 and 26 April 2021; published in LMCS).

  2. M. Hendriks, T. Basten. Performance Engineering with Trace. Bits & Chips 5, 14 September 2018. (online)

  3. H. Alizadeh Ara, A. Behrouzian, M. Geilen, M. Hendriks, D. Goswami, T. Basten. Analysis and Visualization of Execution Traces of DataFlow Applications. In 2nd Int. Workshop on Integrating Dataflow, Embedded computing and Architecture, IDEA 2016, Abstract proceedings, 2 pages. Workshop @ CPS week. Vienna, Austria, 11 April, 2016.

  4. R. Medina, S. Stuijk, T. Basten. Resource-Efficient Pipelined Control with Data-Intensive Sensing. In 11th International Summer School on Advanced Computer Architecture and Compilation for Embedded Systems, ACACES 2015, Poster abstracts. Fiuggi, Italy, 12-18 July 2015. HiPEAC Network of Excellence, Ghent, Belgium, 2015. (pdf)

  5. J. van Pinxten, T. Basten. Motrusca: interactive model transformation use case repository. In 7th York Doctoral Symposium on Computer Science and Electronics, YDS 2014, proceedings, pages 57-66. York, UK, 30 October 2014. Technical Report YCS-2014-494. The University of York, Computer Science department. York, UK, 2014. (pdf)

  6. T. Basten, M.C.W. Geilen, S. Stuijk. Just-in-time execution is not always optimal! In T. Basten, R. van Gaalen, M. de Mol, C. Otten, S. Stuijk, editors. Liber Amicorum Ralph Otten, pages 103-106. Report ESR-2014-02, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 23 May 2014. (pdf)

  7. D. Goswami, T. Basten, S. Chakraborty. Platform-Aware Design of Embedded Controllers. In Ercim News 97, special theme: Cyber-Physical Systems, pages 12-13, April 2014. (pdf)

  8. T. Basten, J.C.M. Baeten. Inheritance Preserves Successful Termination Indeed! In Wil van der Aalst, Paul De Bra, Riet van Buul, editors, Liber Amicorum Kees van Hee, pages 16-17. Eindhoven University of Technology, Eindhoven, the Netherlands, 2011. (pdf)

  9. E. Teeselink, L. Somers, T. Basten, N. Trcka, M. Hendriks. A Visual Language for Modeling and Analyzing Printer Data Path Architectures. In Industry Track of Software Language Engineering, ITSLE 2011, Workshop proceedings, 20 pages. Portugal, Italy, 5 July, 2011. (pdf)

  10. T. Basten, M. Geilen, B.R. Haverkort, T. Hendriks, S. Stuijk. Dependable Sensor and Actuator Networks. In Technology and Research Roadmap for IIP Sensor Networks, Workshop proceedings, position papers, pages 27-28. Enschede, 24-25 August, 2010. IIP Sensor Networks, 2010. (pdf)

  11. M. Damavandpeyma, S. Stuijk, T. Basten, M. Geilen, H. Corporaal. Thermal-Aware Address Decoding in Scratchpad Memories. In 6th International Summer School on Advanced Computer Architecture and Compilation for Embedded Systems, ACACES 2010, Poster abstracts, pages 197-198. Terrassa, Spain, 11-17 July, 2010. HiPEAC Network of Excellence, Ghent, Belgium, 2010. (pdf)

  12. M. Nabi, M. Blagojevic, T. Basten, M. Geilen, T. Hendriks. Exploring a WSN Design Space using Genetic Algorithms. In 5th International Summer School on Advanced Computer Architecture and Compilation for Embedded Systems, ACACES 2009, Poster abstracts, pages 327-328. Terrassa, Spain, 12-15 July, 2009. HiPEAC Network of Excellence, Ghent, Belgium, 2009. (pdf / PM2HW2N 2009)

  13. S.V. Gheorghita, T. Basten, H. Corporaal. Handling Dynamism in Embedded System Design by Application Scenarios. In K. De Bosschere, editor, ACES 2006, Architecture and Compilers for Embedded Systems Symposium, Proceedings, pages 5-8. Edegem, Belgium, 3-4 October 2006. ACES, Ghent, Belgium, 2006. (abstract / pdf / SOC 2006)

  14. H. Fatemi, H. Corporaal, T. Basten, R. Kleihorst, and P. Jonker. Parallelism Support in SIMD/VLIW Image Processing Architectures. In B.J.A. Kröse, H.J. Bos, E.A. Hendriks, J.W.J. Heijnsdijk, editors, ASCI 2005, 11th Annual Conference of the Advanced School for Computing and Imaging, Proceedings, pages 291-296. Heijen, the Netherlands, 8-10 June 2005. ASCI, Delft, the Netherlands, 2005. (ACIVS 2005)

  15. 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. The BETSY project on timeliness and energy aspects of wireless video streaming. In IWWAN 2005, International Workshop on Wireless Ad-hoc Networks, Electronic Proceedings, http://www.ctr.kcl.ac.uk/IWWAN2005/. London, UK, 23-26 May 2005. (invited) (abstract / pdf)

  16. S.V. Gheorghita, H. Corporaal, and T. Basten. Using Iterative Compilation to Reduce Energy Consumption. 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 / JEC 2005)

  17. H. Fatemi, H. Corporaal, T. Basten, P. Jonker, and R. Kleihorst. Implementing face recognition using a parallel image processing environment based on algorithmic skeletons. 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 351-357. Port Zélande, the Netherlands, 2-4 June 2004. ASCI, Delft, the Netherlands, 2004. (abstract / pdf)

  18. P. Poplavko, M. Pastrnak, T. Basten, J. van Meerbergen, P.H.N. de With. Mapping of an MPEG-4 Shape-Texture Decoder onto an On-chip Multiprocessor. In ProRISC 2003, 14th Annual Workshop on Circuits, Systems and Signal Processing, Proceedings, pages 140-147. Veldhoven, the Netherlands, 26-27 November 2003. STW Technology Foundation, Utrecht, the Netherlands, 2003. (abstract / pdf)

  19. S. Stuijk, J. Ypma, and T. Basten. CAST - A Task-Level Concurrency Analysis Tool. 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, the Netherlands, 4-6 June 2003. ASCI, Delft, the Netherlands, 2003. (abstract / postscript / pdf / JSA)

  20. M.R. Mousavi, G. Russello, M.R.V. Chaudron, T. Basten, M.A. Reniers. Separation of Quality Concerns in the Development of Distributed Real-time Systems. PROGRESS 2002, 3rd Workshop on Embedded Systems, Proceedings, pages 124-127. Utrecht, the Netherlands, 24 October 2002. Progress/STW Technology Foundation, Utrecht, the Netherlands, October 2002. (abstract / pdf)

  21. 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. Aspects + GAMMA = AspectGAMMA: A Formal Framework for Aspect-Oriented Specification. Contribution to Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design, workshop at the 1st International Conference on Aspect-Oriented Software Development, AOSD 2002. Enschede, the Netherlands, April 2002. Published as Technical Report # CECS-02-01, Center for Embedded Computer Systems, University of California at Irvine (UCI), Irvine, CA, USA, April 2002. (abstract / postscript / pdf / HLDVT 2002)

  22. P. Poplavko, C.A.J. van Eijk, and T. Basten. Constraint Analysis and Heuristic Scheduling Methods. In J.P. Veen, editor, Circuits, Systems and Signal Processing (ProRISC2000), 11th. Workshop, Proceedings, pages 447-453. Veldhoven, the Netherlands, November/December 2000. STW Technology Foundation, Utrecht, the Netherlands, 2000. (abstract / postscript / pdf)

  23. W.M.P. van der Aalst, T. Basten, H.M.W. Verbeek, P.A.C. Verkoulen, and M. Voorhoeve. Adaptive Workflow: An Approach Based on Inheritance. In M. Ibrahim and B. Drabble, editors, Intelligent Workflow and Process Management: The New Frontier for AI in Business, IJCAI'99 (16th. International Joint Conference on Artificial Intelligence) Workshop, Proceedings, pages 36-45. Stockholm, Sweden, August 1999. (Invited paper) (abstract / postscript / pdf)

  24. M. Voorhoeve and T. Basten. Process Algebra with Autonomous Actions. In A. Ponse, C. Verhoef, and S.F.M. van Vlijmen, editors, ACP '95, 2nd. Workshop on Algebra of Communicating Processes, Proceedings, pages 181-194. Eindhoven, the Netherlands, May 1995. Computing Science Report 95/15, Eindhoven University of Technology, Eindhoven, the Netherlands, 1995. (abstract / postscript / pdf / CSR 96/01)

  25. T. Basten. Event Abstraction in Modeling Distributed Computations. In K. Ecker and M. Krämer, editors, Workshop on Parallel Processing, Proceedings, pages 46-65. Lessach, Austria, September 1993. Informatik-Bericht 94/1, Technische Universität Clausthal, Clausthal-Zellerfeld, Germany, 1994. (abstract / postscript / pdf )

Back to the top.

Theses

  1. T. Basten. In Terms of Nets: System Design with Petri Nets and Process Algebra. PhD thesis. Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, the Netherlands, December 1998, 248 pages. (short abstract (approx. 250 words) / summary (approx. 6000 words) / postscript (630 kb) / pdf (1.3 Mb))

    T. Basten. Stellingen. (Statements accompanying the thesis. (in Dutch)) (postscript / pdf)

    A bound hardcopy of the PhD thesis, including the statements, is available on request.

  2. T. Basten. Hierarchical Event-Based Behavioral Abstraction in Interactive Distributed Debugging: A Theoretical Approach. Master's thesis. Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, the Netherlands, August 1993. (abstract / postscript / pdf )

Back to the top.