A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks

Jonatan Wiik, Johan Ersfolk, Marina Walden

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

2 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publication2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2018)
EditorsDerler Patricia, Gao Sicun
PublisherIEEE
Pages1–10
ISBN (Electronic)978-1-5386-6195-6
ISBN (Print)978-1-5386-6196-3
DOIs
Publication statusPublished - 2018
MoE publication typeA4 Article in a conference publication
Event16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE2018) - 16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE2018)
Duration: 15 Oct 201817 Oct 2018

Conference

Conference16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE2018)
Period15/10/1817/10/18

Keywords

  • Dataflow programming
  • Design-by-Contract
  • Formal verification
  • Quasi-static scheduling

Cite this