Science of Computer Programming

Tutkimustuotokset

  1. 2019
  2. Julkaistu

    Constrained synthesis from component libraries

    Iannopollo, A., Tripakis, S. & Sangiovanni-Vincentelli, A., 15 helmikuuta 2019, julkaisussa : Science of Computer Programming. 171, s. 21-41 21 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  3. 2018
  4. Julkaistu

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

    Pittou, M., Manolios, P., Reineke, J. & Tripakis, S., 1 joulukuuta 2018, julkaisussa : Science of Computer Programming. 167, s. 1-24 24 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  5. 2016
  6. Julkaistu

    Runtime enforcement of regular timed properties by suppressing and delaying events

    Falcone, Y., Jéron, T., Marchand, H. & Pinisetty, S., 1 heinäkuuta 2016, julkaisussa : Science of Computer Programming. 123, s. 2-41 40 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  7. 2014
  8. Julkaistu

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

    Hannukainen, A., Korotov, S. & Křížek, M., 15 syyskuuta 2014, julkaisussa : Science of Computer Programming. 90, PART A, s. 34-41 8 Sivumäärä

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  9. Julkaistu

    A symbolic model checking approach to verifying satellite onboard software

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  10. Julkaistu

    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, julkaisussa : Science of Computer Programming. 88, 1, s. 22-40

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  11. 2012
  12. Julkaistu

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

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

  13. Julkaistu

    Exploiting step semantics for efficient bounded model checking of asynchronous systems

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

    Tutkimustuotos: Lehtiartikkelivertaisarvioitu

ID: 386707