Publications

Main references

  • 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 18. Pages 21-40. 2016 (doi) © Springer.

Journal papers

  • F. Houben, G. Igna and F.W. Vaandrager. Modeling Task Systems Using Parameterized Partial Orders. International Journal on Software Tools for Technology Transfer, Volume 15, Issue 3, pp 269-286, June 2013 (pdf / doi) © Springer.
  • 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 18. Pages 21-40. 2016 (doi) © Springer.
  • 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. 2016 (doi) © Springer.

Refereed proceedings

  • M. Hendriks, J. Verriet, T. Basten, M. Brassé, R. Dankers, R. Laan, A. Lint, H. Moneva, L. Somers, M. Willekens. Performance Engineering for Industrial Embedded Data-Processing Systems. 1st International Workshop on Processes, Methods, and Tools for Engineering Embedded Systems (PROMOTE2015) 2015.
  • 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. Embedded Systems, Vol. 22. 2013. (doi) © Springer.
  • 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) © Springer.
  • N. Trcka, M. Hendriks, T. Basten, M. Geilen, L. Somers. Integrated Model-Driven Design-Space Exploration for Embedded Systems. In International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS XI, Proceedings, pages 339-346. Samos, Greece, 18-21 July 2011. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011. (pdf, doi) © IEEE.
  • 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, doi) © Springer.
  • M. Hendriks, F.W. Vaandrager. Reconstructing Critical Paths from Execution Traces. In 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2012, Proceedings, pages 524-531. 5-7 December 2012, Paphos, Cyprus. IEEE Computer Society Press, Los Alamitos, CA, USA, 2012. (pdf, doi) © IEEE.
  • F. Houben, G. Igna, F.W. Vaandrager. Modeling Task Systems Using Parameterized Partial Orders. In 18th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2012, Proceedings, pages 317-327. IEEE Computer Society Press, Los Alamitos, CA, USA, 2012. (pdf, doi) © IEEE.
  • 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.
  • 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. Braga, Portugal, 5 July, 2011. (pdf)
  • 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. IEEE Computer Society Press, Los Alamitos, CA, USA, 2011. (pdf, doi) © IEEE.

Other publications

  • A.M. in 't Groen. VDSEIR - A graphical layer on top of the Octopus toolset. Master thesis. Eindhoven University of Technology, Computer Science Dept. 2011. (pdf) © TU/e.
  • A. Kumar. Adding schedulability analysis to the Octopus toolset. Master thesis. Eindhoven University of Technology, Computer Science Dept. 2011. (pdf) © TU/e.
  • A. Moily. Supporting Design-Space Exploration with Synchronous Data Flow Graphs in the Octopus Toolset. Master thesis. Eindhoven University of Technology, Computer Science Dept. 2011. (pdf) © TU/e.
  • K. Schindler. A Simulator for Data Processing Pipelines. SAI Graduation Report. Eindhoven University of Technology, Stan Ackermans Institute, 2011. © TU/e.
  • E. Teeselink. DPATCH. SAI Graduation Report. Eindhoven University of Technology, Stan Ackermans Institute, 2010. © TU/e.
  • 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)