This page provides an overview of technical reports I (co-)authored. If relevant, links to related publications or other superseding reports are provided. If you have any questions or comments, feel free to email me at:

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

  1. B. van der Sanden, M. Geilen, M. Reniers, T. Basten. Partial-Order Reduction for Synthesis and Performance Analysis of Supervisory Controllers. ESR-2019-02, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 11 November 2019. Updated: 4 January 2022. (pdf). Extended version of the IEEE TAC 2022 publication available through doi, open access.

  2. R. Jonk, J. Voeten, M. Geilen, R. Theunissen, Y. Blankenstein, T. Basten, R. Schiffelers. Inferring Timed Message Sequence Charts from Execution Traces of Large-scale Component-based Software Systems. ESR-2019-01, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 12 August 2019. (pdf)

  3. B. van der Sanden, M. Geilen, M. Reniers, T. Basten. Solving Ratio Games: Algorithms and Experimental Evaluation. Report ESR-2018-03, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 15 October 2018. (pdf)

  4. B. van der Sanden, M. Geilen, M. Reniers, T. Basten. Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems. Report ESR-2018-01, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 2 February 2018. (pdf / ACSD 2018 / doi) ACSD 2018 best paper award.

  5. 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, 31 January 2017. (pdf)

  6. M. Hendriks, M. Geilen, A.R.B. Behrouzian, T. Basten, H. Alizadeh, D. Goswami. Checking Metric Temporal Logic with TRACE. Report ESR-2016-01, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 2 February 2016. (pdf)

  7. 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.

  8. M. Steine, M. Geilen, T. Basten. A Distributed Reconfiguration Approach for Quality-of-Service Provisioning in Dynamic Heterogeneous Wireless Sensor Network. Technical Report ESR-2013-02, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, June 2013. (pdf)

  9. M. Damavandpeyma, S. Stuijk, T. Basten, M. Geilen, H. Corporaal. Schedule-Extended Synchronous Dataflow Graphs. Technical Report ESR-2013-01, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, May 2013. (pdf / IEEE TCAD 2013)

  10. M. Damavandpeyma, S. Stuijk, T. Basten, M. Geilen, H. Corporaal. Modeling Static-Order Schedules in Synchronous Dataflow Graphs. Technical Report ESR-2012-01, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 2012. (pdf / DATE 2012 / IEEE TCAD 2013)

  11. M. Geilen, J. Falk, C. Haubelt, T. Basten, B. Theelen, S. Stuijk. Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs. Technical Report ESR-2011-03, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 2011. (pdf)

  12. M. Hendriks, M. Geilen, T. Basten. Pareto analysis with uncertainty. Technical Report ESR-2011-01, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 2011. (pdf / EUC 2011)

  13. P. Poplavko, M. Geilen, T. Basten. Predicting the Throughput of Multiprocessor Applications under Dynamic Workload. Technical Report ESR-2010-02, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 2010. (pdf / ICCD 2010)

  14. N. Trcka, M. Voorhoeve, T. Basten. Parameterized Timed Partial Orders with Resources: Formal Definition and Semantics. Technical Report ESR-2010-01, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 2010. (pdf / ACSD 2011)

  15. B.D. Theelen, M.C.W. Geilen, S. Stuijk, S.V. Gheorghita, T. Basten, J.P.M. Voeten, A.H. Ghamarian. Scenario-Aware Dataflow. Technical Report ESR-2008-08, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 2008. (pdf)

  16. P. Stanley-Marbell, T. Basten, J. Rousselot, R. Serna Oliver, H. Karl, M.C.W. Geilen, R. Hoes, G. Fohler, J.-D. Decotignie. System Models in Wireless Sensor Networks. Technical Report ESR-2008-06, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 2008. (pdf)

  17. A.H. Ghamarian, M.C.W. Geilen, T. Basten, S. Stuijk. Parametric Throughput Analysis of Synchronous Data Flow Graphs. Technical Report ESR-2007-08, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 2007. (pdf / DATE 2008)

  18. S.V. Gheorghita, M. Palkovic, J. Hamers, A. Vandecappelle, S. Mamagkakis, T. Basten, L. Eeckhout, H. Corporaal, F. Catthoor, F. Vandeputte, K. De Bosschere. A System Scenario based Approach to Dynamic Embedded Systems. Technical Report ESR-2007-06, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 2007. (Revised in June 2008.) (pdf / ToDAES)

  19. A.H. Ghamarian, S. Stuijk, T. Basten, M.C.W. Geilen, B.D. Theelen. Latency Minimization for Synchronous Data Flow Graphs. Technical Report ESR-2007-04, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, 2007. (pdf / DSD 2007)

  20. 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. Technical Report ESR-2006-04, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, August 2006. (abstract / pdf / FMCAD 2006)

  21. S.V. Gheorghita, T. Basten, H. Corporaal. An Overview of Application Scenario Usage in Streaming-Oriented Embedded System Design. Technical Report ESR-2006-03, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, May 2006. (abstract / pdf / SOC 2006)

  22. S. Stuijk, M.C.W. Geilen, T. Basten. Exploring Trade-offs in Buffer Requirements and Throughput Constraints for Synchronous Dataflow Graphs.. Technical Report ESR-2006-01, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, November 2006. (abstract / pdf / DAC 2006 / IEEE TC)

  23. S. Stuijk, A.H. Ghamarian, T. Basten, M.C.W. Geilen, B.D. Theelen. Time-constrained Energy-aware Routing and Scheduling of Network-on-Chip Communication.. Technical Report ESR-2005-08, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, July 2005. (abstract / pdf / DSD 2006 / JSA)

  24. S. Stuijk, M.C.W. Geilen, T. Basten. Exploring Trade-offs in Buffer Requirements and Throughput Constraints for Synchronous Dataflow Graphs.. Technical Report ESR-2005-07, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, July 2005. (abstract / pdf / DAC 2006 / IEEE TC)

  25. P. Poplavko, M. Pastrnak, T. Basten, J. van Meerbergen, M. Bekooij, P. de With. Run-time Prediction of Execution Times of Stream-oriented Applications in Multiprocessors On-chip. Technical Report ESR-2005-06, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, July 2005. (abstract / pdf / DSD 2007)

  26. S. Stuijk, T. Basten. Analyzing Concurrency in Streaming Applications. Technical Report ESR-2005-05, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, March 2005. (abstract / pdf / JSA)

  27. S.V. Gheorghita, S. Stuijk, T. Basten, H. Corporaal. Sharper WCET Upper Bounds using Automatically Detected Scenarios. Technical Report ESR-2005-04, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, March 2005. (abstract / pdf / DAC 2005)

  28. M.C.W. Geilen, T. Basten, B.D. Theelen, R.H.J.M. Otten. An Algebra of Pareto Points. Technical Report ESR-2005-02, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, January 2005. (abstract / pdf / Fund. Inf. 2007)

  29. M.C.W. Geilen, T. Basten, S. Stuijk. Minimising Buffer Requirements of Synchronous Dataflow Graphs with Model Checking. Technical Report ESR-2005-01, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, January 2005. (abstract / pdf / DAC 2005)

  30. M.R. Mousavi, P. Le Guernic, J.-P. Talpin, S.K. Shukla, T. Basten. Modeling and Validation of Globally Asynchronous Design in Synchronous Frameworks. Technical Report RR-4935, INRIA, Rennes, France, September 2003. (abstract / pdf / DATE 2004)

  31. M.R. Mousavi, T. Basten, M.A. Reniers, M.R.V. Chaudron, and G. Russello. Separating Functionality, Behavior and Timing in the Design of Reactive Systems: (GAMMA + Coordination) + Time. Computer Science Report 02/09, Eindhoven University of Technology, Department of Mathematics and Computer Science, Eindhoven, the Netherlands, December 2002. (abstract / pdf / ACSD 2003)

  32. H.M.W. Verbeek and T. Basten. Deciding Life-cycle Inheritance on Petri nets. BETA Report WP 85, BETA Research Institute, Eindhoven University of Technology, Eindhoven, the Netherlands, November 2002. (abstract / ICATPN 2003)

  33. Q. Zhao, B. Mesman, and T. Basten. Static Resource Models for Code-Size Efficient Embedded Processors. EUT Report 02-E-312, Eindhoven University of Technology, Department of Electrical Engineering, Eindhoven, the Netherlands, April 2002. (abstract / postscript / pdf / ACM TECS 2003)

  34. 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. Technical Report # CECS-02-01, Center for Embedded Computer Systems, University of California at Irvine (UCI), Irvine, CA, USA, April 2002. (abstract / postscript / pdf / Early Aspects 2002 / HLDVT 2002)

  35. W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An approach to tackling problems related to change. BETA Report WP 50, BETA Research Institute, Eindhoven University of Technology, Eindhoven, the Netherlands, December 2000. (abstract / postscript / pdf / TCS 2002)

  36. H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnosing Workflow Processes using Woflan. BETA Report WP 48, BETA Research Institute, Eindhoven University of Technology, Eindhoven, the Netherlands, October 2000. (abstract / postscript / pdf / Comp. J. 2001)

  37. T. Basten and D. Bo�nački. Enhancing Partial-Order Reduction via Process Clustering . Computing Science Report 00/11, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, the Netherlands, March 2000. (abstract / postscript / pdf / ASE 2004)

  38. J.C.M. Baeten and T. Basten. Partial-Order Process Algebra (and its Relation to Petri Nets). Computing Science Report 99/18, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, the Netherlands, December 1999. (abstract / postscript / pdf / Handbook of PA)

  39. T. Basten and W.M.P. van der Aalst. Inheritance of Behavior. Computing Science Report 99/17, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, the Netherlands, November 1999. (abstract / postscript / pdf / JLAP 2001)

  40. W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An approach to tackling problems related to change. Computing Science Report 99/06, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, the Netherlands, August 1999. (abstract / postscript / pdf / TCS 2002)

  41. H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnosing Workflow Processes using Woflan. Computing Science Report 99/02, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, the Netherlands, May 1999. (abstract / postscript / pdf / Comp. J. 2001)

  42. T. Basten and J. Hooman. Process Algebra in PVS. Computing Science Report 98/10, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, the Netherlands, June 1998. (abstract / postscript / pdf / TACAS 1999)

  43. W.M.P. van der Aalst and T. Basten. Life-Cycle Inheritance: A Petri-Net-Based Approach. Computing Science Report 96/06, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, the Netherlands, March 1996. (abstract / postscript / pdf / JLAP 2001)

  44. T. Basten and W.M.P. van der Aalst. A Process-Algebraic Approach to Life-Cycle Inheritance: Inheritance = Encapsulation + Abstraction. Computing Science Report 96/05, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, the Netherlands, March 1996. (abstract / postscript / pdf / JLAP 2001)

  45. M. Voorhoeve and T. Basten. Process Algebra with Autonomous Actions. Computing Science Report 96/01, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, the Netherlands, February 1996. (abstract / postscript / pdf / ACP 1995)

  46. T. Basten and M. Voorhoeve. An Algebraic Semantics for Hierarchical P/T Nets. Computing Science Report 95/35, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, the Netherlands, December 1995. (abstract / postscript / pdf / ICATPN 1995)

  47. T. Basten, R.N. Bol, and M. Voorhoeve. Simulating and Analyzing Railway Interlockings in ExSpect. Computing Science Report 94/37, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, the Netherlands, September 1994. (abstract / postscript / pdf / IEEE PDTSA 1995)

  48. T. Basten, T. Kunz, J.P. Black, M.H. Coffin, and D.J. Taylor. Time and the Order of Abstract Events in Distributed Computations. Computing Science Note 94/06, Eindhoven University of Technology, Department of Mathematics and Computing Science, Eindhoven, the Netherlands, February 1994. (abstract / postscript / pdf / Dist. Comp. 1997)

  49. J.P. Black, M.H. Coffin, D.J. Taylor, T. Kunz, and T. Basten. Linking Specification, Abstraction, and Debugging. CCNG Technical Report E-232, University of Waterloo, Computer Communications and Networks Group, Waterloo, Ontario, Canada, November 1993. (abstract / postscript / pdf / Comp. J. 2001)

Back to the top.