ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS

Research outputs

  1. 2017
  2. Published

    Testing Programs with Contextual Unfoldings

    Kähkönen, K. & Heljanko, K. 1 Nov 2017 In : ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS. 17, 1, p. 1-25 23

    Research output: Contribution to journalArticle

  3. Published

    Runtime enforcement of cyber-physical systems

    Pinisetty, S., Roop, P. S., Smyth, S., Allen, N., Tripakis, S. & Von Hanxleden, R. 1 Sep 2017 In : ACM Transactions on Embedded Computing Systems. 16, 5s, p. 1-25 178

    Research output: Contribution to journalArticle

  4. Published

    Minimizing test suites with unfoldings of multithreaded programs

    Saarikivi, O., Ponce de Leon, H., Kähkönen, K., Heljanko, K. & Esparza, J. 1 Feb 2017 In : ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS. 16, 2, p. 1-24 45

    Research output: Contribution to journalArticle

  5. Published

    When do we not need complex assume-guarantee rules?

    Siirtola, A., Tripakis, S. & Heljanko, K. 1 Jan 2017 In : ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS. 16, 2, p. 1-25 48

    Research output: Contribution to journalArticle

  6. 2015
  7. Published

    Parametrised modal interface automata

    Siirtola, A. & Heljanko, K. 2015 In : ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS. 14, 4, p. Article No. 65, pp. 1-15

    Research output: Contribution to journalArticle

  8. 2014
  9. Published

    Providing reliable and real-time delivery in the presence of body shadowing in breadcrumb systems

    Hengchang, L., Hui, P., Xie, Z., Li, J., Siu, D. J., Zhou, G., Liusheng, H. & Stankovic, J. A. 2014 In : ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS. 13, 4

    Research output: Contribution to journalArticle

  10. 2013
  11. Published

    Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs

    Tripakis, S., Bui, D., Geilen, M., Rodiers, B. & Lee, E. A. Mar 2013 In : ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS. 12, 3, p. 1-26 83

    Research output: Contribution to journalArticle

ID: 160792