Science of Computer Programming

Research outputs

  1. 2019
  2. Published

    Constrained synthesis from component libraries

    Iannopollo, A., Tripakis, S. & Sangiovanni-Vincentelli, A., 15 Feb 2019, In : Science of Computer Programming. 171, p. 21-41 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  3. 2018
  4. Published

    Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions

    Pittou, M., Manolios, P., Reineke, J. & Tripakis, S., 1 Dec 2018, In : Science of Computer Programming. 167, p. 1-24 24 p.

    Research output: Contribution to journalArticleScientificpeer-review

  5. 2016
  6. Published

    Runtime enforcement of regular timed properties by suppressing and delaying events

    Falcone, Y., Jéron, T., Marchand, H. & Pinisetty, S., 1 Jul 2016, In : Science of Computer Programming. 123, p. 2-41 40 p.

    Research output: Contribution to journalArticleScientificpeer-review

  7. 2014
  8. Published

    On numerical regularity of the face-to-face longest-edge bisection algorithm for tetrahedral partitions

    Hannukainen, A., Korotov, S. & Křížek, M., 15 Sep 2014, In : Science of Computer Programming. 90, PART A, p. 34-41 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  9. Published

    A symbolic model checking approach to verifying satellite onboard software

    Gan, X., Dubrovin, J. & Heljanko, K., 2014, In : Science of Computer Programming. 82, N/A, p. 44-55

    Research output: Contribution to journalArticleScientificpeer-review

  10. Published

    Design and architecture of an interactive eTextbook The OpenDSA system

    Fouh, E., Karavirta, V., Breakiron, D. A., Hamouda, S., Hall, S., Naps, T. L. & Shaffer, C. A., 2014, In : Science of Computer Programming. 88, 1, p. 22-40

    Research output: Contribution to journalArticleScientificpeer-review

  11. 2012
  12. Published

    Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude

    Bae, K., Ölveczky, P., Feng, T., Lee, E. A. & Tripakis, S., 1 Oct 2012, In : Science of Computer Programming. 77, 12, p. 1235-1271

    Research output: Contribution to journalArticleScientificpeer-review

  13. Published

    Exploiting step semantics for efficient bounded model checking of asynchronous systems

    Dubrovin, J., Junttila, T. & Heljanko, K., 2012, In : Science of Computer Programming. 77, 10-11, p. 1095-1121

    Research output: Contribution to journalArticleScientificpeer-review

ID: 386707