Publications

This page lists all major publications related to scenario-aware dataflow, covering any variant with different types of state-machines and different timing models (as well as some extensions). Some of these publications also include links to the presented examples.

2017

• Dynamic Dataflow Graphs
  B.D. Theelen, E.F. Deprettere, and S.S. Bhattacharyya
  In: Handbook of Signal Processing Systems, 3rd Edition, Springer, 2018
  
• Programming and Analysing Scenario-Aware Dataflow on a Multi-Processor Platform
  R. van Kampenhout, S. Stuijk, and K. Goossens
  In: Proceedings of the International Conference on Design, Automation and Test in Europe (DATE), 2017

2016

• Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs
  M.C.W. Geilen, J. Falk, C. Haubelt, T. Basten, B.D. Theelen, and S. Stuijk
  In: Journal of Signal Processing Systems, ISSN 1939-8115, pp. 1 - 19, 2016 (doi)
• Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow
  J.-P. Katoen, and H. Wu.
  In: Transactions on Design Automation of Electronic Systems, Vol. 22, Issue 1, pp. 15:1 - 15:27, ACM, 2016 (doi)
• Flexible Support for Time and Costs in Scenario-Aware Dataflow
  A. Hartmanns, H. Hermanns, and M. Bungert
  In: Proceedings of the International Conference on Embedded Software (EMSoft), pp. 3:1 - 3:10, ACM, 2016
• Dataflow-based Modeling and Performance Analysis for Online Gesture Recognition
  F. Grützmacher, B. Beichler, B.D. Theelen, and C. Haubelt
  In: Proceedings of the Second International Workshop on Modeling, Analysis and Control of Complex Cyber-Physical Systems (CPSData), 2016

2015

• Model Checking of Finite-State Machine-Based Scenario-Aware Dataflow using Timed Automata
  M. Skelin, E.R. Wognsen, M.C. Olesen, R.R. Hansen, and K.G. Larsen
  In: Proceedings of the International Symposium on Industrial Embedded Systems (SIES), 2015
• A Scenario-Aware Dataflow Programming Model
  R. van Kampenhout, S. Stuijk, and K. Goossens
  In: Proceedings of Digital System Design (DSD), pp. 25-32, IEEE Computer Society, 2015

2014

• Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs
  M.C.W. Geilen, J. Falk, C. Haubelt, T. Basten, B. Theelen, and S. Stuijk
  In: Proceedings of Asilomar Conference on Signals, Systems, and Computers (Asilomar), IEEE Computer Society, 2014
• Exponentially Timed SADF: Compositional Semantics, Reductions, and Analysis
  J.-P. Katoen, and H. Wu.
  In: Proceedings of International Conference on Embedded Software (EMSOFT), pp. 1-10, IEEE Computer Society, 2014

2013

• Dynamic Dataflow Graphs
  S.S. Bhattacharyya, E.F. Deprettere, and B.D. Theelen
  In: Handbook of Signal Processing Systems, 2nd Edition, Springer
• Throughput-Constrained DVFS for Scenario-Aware Dataflow Graphs
  M. Damavandpeyma, S. Stuijk, T. Basten, M. Geilen and H. Corporaal
  In: Proceedings of Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE Computer Society, 2013

2012

• Parametric Throughput Analysis of Scenario-Aware Dataflow Graphs
  M. Damavandpeyma, S. Stuijk, T. Basten, M. Geilen and H. Corporaal
  In: Proceedings of International Conference of Computer Design (ICCD), pp. 219-226, IEEE Computer Society, 2012
• Predictable Dynamic Embedded Data Processing
  M.C.W. Geilen, S. Stuijk, and and T. Basten
  In: Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (IC-SAMOS), pp. 320-327, 2012
  
• Model Checking of Scenario-Aware Dataflow with CADP
  B.D. Theelen, J.-P. Katoen, and H. Wu.
  In: Proceedings of Design, Automation and Test in Europe (DATE), pp. 653-658, ACM 2012
• Playing Games with Scenario- and Resource-Aware SDF Graphs Through Policy Iteration
  Y. Yang, M.C.W. Geilen, T. Basten, S. Stuijk and H. Corporaal
  In: Proceedings of Design, Automation and Test in Europe (DATE), pp. 194-199, ACM 2012

2011

• Analyzing Synchronous Dataflow Scenarios for Dynamic Software-defined Radio Applications
  F. Siyoum, M. Geilen, O. Moreira, R. Nas and H.Corporaal
  In: Proceedings of the International Symposium on System-on-Chip (SOC), pp. 14 - 21, IEEE Computer Society, 2011
• Performance Analysis of Weakly-Consistent Scenario-Aware Dataflow Graphs
  M.C.W. Geilen, J. Falk, C. Haubelt, T. Basten, B.D. Theelen and S. Stuijk
  Technical Report ESR-2011-03, Eindhoven University of Technology, Eindhoven (The Netherlands), December 2011.
• Performance Model Checking Scenario-Aware Dataflow
  B.D. Theelen, M.C.W. Geilen, and J.P.M. Voeten.
  In: Proceedings of the International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), LNCS 6919, pp. 43-59, Springer 2011
  Benchmarks: MPEG-4 AVC, Running Example, Channel Equalizer, MPEG-4 SP (PD=1), MPEG-4 SP (PD=2), MPEG-4 SP (PD=3), MP3 (PD=1), MP3 (PD=2), MP3 (PD=3), MP3 (PD=9)
• Scenario-Aware Dataflow: Modeling, Analysis and Implementation of Dynamic Applications
  S. Stuijk, M.C.W. Geilen, B.D. Theelen, and T. Basten.
  In: Proceedings of the International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (IC-SAMOS), pp. 404-411, 2011
  

2010

• Worst-case Performance Analysis of Synchronous Dataflow Scenarios
  M.C.W. Geilen and S. Stuijk
  In: Proceedings of the International Conference on Hardware-Software Codesign and System Synthesis (CODES+ISSS), pp. 125-134, ACM 2010
• A Predictable Multiprocessor Design Flow for Streaming Applications with Dynamic Behaviour
  S. Stuijk, M.C.W. Geilen and T. Basten
  In: Proceedings of EUROMICRO Conference on Digital System Design (DSD), pp. 548-555, IEEE Computer Society, 2013

2008

• FSM-Based SADF
  S. Stuijk, A.H. Ghamarian, B.D. Theelen, M.C.W. Geilen and T. Basten
  MNEMEE internal report, Eindhoven University of Technology, Eindhoven (The Netherlands), December 2008
• Scenario-Aware Dataflow
  B.D. Theelen, M.C.W. Geilen, S. Stuijk, S.V. Gheorghita, T. Basten, J.P.M. Voeten and A.H. Ghamarian
  Technical Report ESR-2008-08, Eindhoven University of Technology, Eindhoven (The Netherlands), July 2008

2007

• A Performance Analysis Tool for Scenario-Aware Streaming Applications
  B.D. Theelen
  In: Proceedings of the International Conference on the Quantitative Evaluation of Systems (QEST), pp. 269-270, IEEE Computer Society, 2007
  Benchmarks: MPEG-4 SP Decoder (pipeling degree 3), MPEG-4 SP Decoder (pipeling degree 2) and corresponding SDF model of the MPEG-4 SP Decoder (pipeling degree 3)

2006

• A Scenario-Aware Data Flow Model for Combined Long-Run Average and Worst-Case Performance Analysis
  B.D. Theelen, M.C.W. Geilen, T. Basten, J.P.M. Voeten, S.V. Gheorghita and S. Stuijk
  In: Proceedings of the ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 185-194, IEEE Computer Society, 2006
  Examples: Introductory Example (excludes the unnecessary detector F) and MPEG-4 SP Decoder