Publications

For each publication, the discussed examples and benchmarks have been made available for download.

2012

• Model Checking of Scenario-Aware Dataflow with CADP
  B.D. Theelen, J.-P. Katoen, and H. Wu.
  To be published in: Proceedings of Design, Automation and Test in Europe (DATE), ACM 2012
  

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
  

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, ISBN 0-7695-2883-X, 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, ISBN 1-4244-0421-5, IEEE Computer Society, 2006
  Examples: Introductory Example (excludes the unnecessary detector F) and MPEG-4 SP Decoder