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