Reports

ISSN 1574-9517
Publisher: Eindhoven University of Technology, Department of Electrical Engineering, Electronic Systems.

blah

2019

  • Bram van der Sanden, Marc Geilen, Michel Reniers, Twan Basten Partial-Order Reduction for Synthesis and Performance Analysis of Supervisory Controllers. ESR-2019-02, 11 November 2019. (pdf)
  • Ruben Jonk, Jeroen Voeten, Marc Geilen, Rolf Theunissen, Yuri Blankenstein, Twan Basten, and Ramon Schiffelers Inferring Timed Message Sequence Charts from Execution Traces of Large-scale Component-based Software Systems. ESR-2019-01, 12 August 2019. (pdf)

2018

  • Bram van der Sanden, Marc Geilen, Michel Reniers, and Twan Basten Partial-Order Reduction for Performance Analysis of Max-Plus Timed Systems. ESR-2018-01, 2 February 2018. (pdf)
  • Roel van der Tempel, Joost van Pinxten, Marc Geilen, and Umar Waqas A Heuristic for Variable Re-Entrant Scheduling Problems. ESR-2018-02, 18 June 2018. (pdf)
  • Bram van der Sanden, Marc Geilen, Michel Reniers, Twan Basten Solving Ratio Games: Algorithms and Experimental Evaluation. ESR-2018-03, 15 October 2018. (pdf)

2017

  • Waheed Ahmad, Twan Basten, Robert de Groote, Alok Lele, and Orlando Moreira (eds.) IDEA 2016: Integrating Dataflow, Embedded Computing, and Architecture. ESR-2017-01, 31 January 2017. (pdf)

2016

  • Gabriela Breaban, Sander Stuijk, and Kees Goossens Linking Papyrus UML Modeling Framework to SDF3. ESR-2016-03, 1 April 2016. (pdf)
  • Kees Goossens PhD First-Year Evaluation – Goals & Procedure. ESR-2016-02, 4 March 2016.
  • Martijn Hendriks Checking Metric Temporal Logic with TRACE. ESR-2016-01, 11 April 2016. (pdf)

2015

  • Kees Goossens Evaluation of Certainty-Based Marking and Learning using Oncourse/Moodle. ESR-2015-04, 20 November 2015. (pdf)
  • Kees Goossens and Martijn Koedam Fraud-Resistant Computerised Examinations. ESR-2015-03, 20 November 2015. (pdf)
  • Simon de Vegt A Fast and Robust Algorithm for the Detection of Circular Pieces in a Cyber Physical System. ESR-2015-02, 10 August 2015. (pdf)
  • Mladen Skelin, Marc Geilen, Francky Catthoor and Sverre Hendseth Parametrized Dataflow Scenarios. ESR-2015-01, 16 November 2015. (pdf)

2014

  • Sven Goossens, Karthik Chandrasekar, Benny Akesson, and Kees Goossens ILP Formulation and Solution Strategies for Memory Command Scheduling. ESR-2014-03, 23 October 2014. (pdf)
  • Twan Basten, Rian van Gaalen, Marja de Mol, Carla Otten, and Sander Stuijk Liber Amicorum Ralph Otten. ESR-2014-02, 23 May 2014. (request per e-mail via email)
  • Yonghui Li, Benny Akesson, and Kees Goossens Dynamic Command Scheduling for Real-Time Memory Controllers. ESR-2014-01, 28 January 2014. (pdf)

2013

  • Marcel Steine, Marc Geilen, and Twan Basten A Distributed Reconfiguration Approach for Quality-of-Service Provisioning in Dynamic Heterogeneous Wireless Sensor Network. ESR-2013-02, 20 June 2013. (pdf)
  • Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen and Henk Corporaal Schedule-Extended Synchronous Dataflow Graphs. ESR-2013-01, 17 May 2013. (pdf)

2012

  • Morteza Damavandpeyma, Sander Stuijk, Twan Basten, Marc Geilen and Henk Corporaal Modeling Static-Order Schedules in Synchronous Dataflow Graphs. ESR-2012-01,12 March 2012. (pdf)

2011

  • Marc Geilen, Joachim Falk, Christian Haubelt, Twan Basten, Bart Theelen and Sander Stuijk Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs. ESR-2011-03, 12 December 2011. (pdf)
  • C. Nugteren and H. Corporaal A Modular and Parameterisable Classification of Algorithms. ESR-2011-02, 12 December 2011. (pdf)
  • Martijn Hendriks, Marc Geilen and Twan Basten Pareto analysis with uncertainty. ESR-2011-01, 3 August 2011. (pdf)

2010

  • Firew Siyoum, Benny Akesson, Sander Stuijk, Kees Goossens, Henk Corporaal Dataflow Model for Credit-Controlled Static-Priority Arbitration. ESR-2010-03, 15 October 2010. (pdf)
  • Peter Poplavko, Marc Geilen, and Twan Basten Predicting the Throughput of Multiprocessor Applications under Dynamic Workload. ESR-2010-02, 3 August 2010. (pdf)
  • Nikola Trcka, Marc Voorhoeve, Twan Basten Parameterized Timed Partial Orders with Resources: Formal Definition and Semantics. ESR-2010-01, 2 June 2010. (pdf)

2009

  • No reports have been published in 2009.

2008

  • Mathias Funk, Anne Rozinat, Ana Karla Alves de Medeiros, Piet van der Putten, Henk Corporaal and Wil van der Aalst Semantic Concepts in Product Usage Monitoring and Analysis. ESR-2008-10, 29 September 2008. (pdf)
  • Mathias Funk, Piet van der Putten and Henk Corporaal UML Profile for Modeling System Observation. ESR-2008-09, 19 September 2008. (pdf)
  • B.D. Theelen, M.C.W. Geilen, S. Stuijk, S.V. Gheorghita, T. Basten, J.P.M. Voeten and A.H. Ghamarian Scenario-Aware Dataflow. ESR-2008-08, 10 July 2008. (pdf)
  • Akash Kumar, Bart Mesman, Henk Corporaal and Yajun Ha Accurate Run-time Performance Prediction for Multi-Application Multi-Processor Systems. ESR-2008-07, 16 June 2008. (pdf)
  • Phillip Stanley-Marbell, Twan Basten, Jerome Rousselot, Ramon Serna Oliver, Holger Karl, Marc Geilen, Rob Hoes, Gerhard Fohler and Jean-Dominique Decotignie System Models in Wireless Sensor Networks. ESR-2008-06, 1 May 2008. (pdf)
  • Phillip Stanley-Marbell Ladon - A 24-processor Low-Power, Performance-Scalable Processor Module for Sensor Platforms. ESR-2008-05, 24 January 2008. (pdf)
  • Phillip Stanley-Marbell A Mobile Client Platform for Sensor Networks. ESR-2008-04, 24 January 2008. (pdf)
  • Phillip Stanley-Marbell A Programming Model and Language Implementation for Error-Tolerant Networks of Computation. ESR-2008-03, 24 January 2008. (pdf)
  • Phillip Stanley-Marbell Encoding Efficiency Bounds for Digital Number Representations Under Value Deviation Constraints. ESR-2008-02, 24 January 2008. (pdf)
  • Phillip Stanley-Marbell and Diana Marculescu Deviation-Tolerant Computation in Concurrent Failure-Prone Hardware. ESR-2008-01, 24 January 2008. (pdf)

2007

  • A.H.Ghamarian, M.C.W.Geilen, T.Basten, S.Stuijk Parametric Throughput Analysis of Synchronous Data Flow Graphs. ESR-2007-08, 1 November 2007. (pdf)
  • Phillip Stanley-Marbell Current Measurement Daughtercard for Logicpd i.MX31 LITEKIT Evaluation Board. ESR-2007-07, 18 September 2007. (pdf)
  • 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. ESR-2007-06, 30 September 2007, revised 23 June 2008. (pdf)
  • A. Moonen, M. Bekooij, R. van den Berg, and J. van Meerbergen Analysing the impact of a communication assist in a multiprocessor system-on-chip. ESR-2007-05, 21 June 2007. (pdf)
  • A.H. Ghamarian, S. Stuijk, T. Basten, M.C.W. Geilen, B.D. Theelen Latency Minimization for Synchronous Data Flow Graphs. ESR-2007-04, 14 June 2007. (pdf)
  • J.W. van den Brand, M. Bekooij and A. Moonen Streaming memory consistency for efficient MPSoC design. ESR-2007-03, 11 April 2007. (pdf)
  • A. Kumar, B. Mesman, H. Corporaal, B.D. Theelen and Y. Ha. A Probabilistic Approach to Model Resource Contention for Performance Estimation of Multi-featured Media Devices. ESR-2007-02, 25 March 2007. (pdf)
  • A. Moonen, M. Bekooij, R. van den Berg and J. van Meerbergen. Evaluation of the throughput computed with a dataflow model - A case study. ESR-2007-01, 9 March 2007. (pdf)

2006

  • O. Florescu, J. Voeten, H. Corporaal. Modelling Patterns for Analysis and Design of Real-Time Systems. ESR-2006-05, 15 July 2006. (pdf)
  • A.H. Ghamarian, M.C.W. Geilen, T. Basten, B.D. Theelen, M. Mousavi and S. Stuijk. Liveness and Boundedness of Synchronous Data Flow Graphs. ESR-2006-04, 11 August 2006. (pdf)
  • S.V. Gheorghita, T. Basten, H. Corporaal. An Overview of Application Scenario Usage in Streaming-Oriented Embedded System Design. ESR-2006-03, 20 May 2006. (pdf)
  • O. Florescu, J. Huang, J. Voeten, H. Corporaal. Towards Stronger Property Preservation in Real-Time Systems Synthesis. ESR-2006-02, 18 May 2006. (pdf)
  • S. Stuijk, M.C.W. Geilen, T. Basten. Exploring Trade-offs in Buffer Requirements and Throughput Constraints for Synchronous Dataflow Graphs. ESR-2006-01, 7 November 2006. (pdf)

2005

  • O. Florescu, J. Voeten, H. Corporaal. Predicting Implementation Accuracy for Real-Time Control Systems. ESR-2005-09, 19 December 2005. (pdf)
  • 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. ESR-2005-08, 14 July 2005. (pdf)
  • S. Stuijk, M.C.W. Geilen, T. Basten. Exploring Trade-offs in Buffer Requirements and Throughput Constraints for Synchronous Dataflow Graphs. ESR-2005-07, 14 July 2005. This report is superseded by ES Report ESR-2006-01 and a publication in the Design Automation Conference, DAC 2006, Proc. (pdf, ESR-2006-01)
  • 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. ESR-2005-06, 8 July 2005. (pdf)
  • S. Stuijk, T. Basten. Analyzing Concurrency in Streaming Applications. ESR-2005-05, 22 March 2005. (pdf)
  • S.V. Gheorghita, S. Stuijk, T. Basten, H. Corporaal. Sharper WCET Upper Bounds using Automatically Detected Scenarios. ESR-2005-04, 21 March 2005. (pdf)
  • H.J.L. Westra, P.R. Groeneveld. Towards Integration of Quadratic Placement and Pin Assignment. ESR-2005-03, 15 March 2005. (pdf)
  • M.C.W. Geilen, T. Basten, B.D. Theelen, R.H.J.M. Otten. An Algebra of Pareto Points. ESR-2005-02, 3 January 2005. (pdf)
  • M.C.W. Geilen, T. Basten, S. Stuijk. Minimising Buffer Requirements of Synchronous Dataflow Graphs with Model Checking. ESR-2005-01, 3 January 2005. (pdf)