International Journal on Software Tools for Technology Transfer

Research outputs

  1. 2019
  2. E-pub ahead of print

    Learning Moore machines from input-output traces

    Giantamidis, G., Tripakis, S. & Basagiannis, S., 6 Nov 2019, In : International Journal on Software Tools for Technology Transfer. 29 p.

    Research output: Contribution to journalArticle

  3. 2018
  4. Published

    Exact finite-state machine identification from scenarios and temporal properties

    Ulyantsev, V., Buzhinsky, I. & Shalyto, A., Feb 2018, In : International Journal on Software Tools for Technology Transfer. 20, 1, p. 35-55 21 p.

    Research output: Contribution to journalArticle

  5. 2005
  6. Published

    BMC via on-the-fly Determinization

    Jussila, T., Heljanko, K. & Niemelä, I., 2005, In : International Journal on Software Tools for Technology Transfer. 7, 2, p. 89-101 13 p.

    Research output: Contribution to journalArticle

  7. 2002
  8. Published

    Testing LTL Formula Translation into Büchi Automata

    Tauriainen, H. & Heljanko, K., 2002, In : International Journal on Software Tools for Technology Transfer. 4, 1, p. 57-70

    Research output: Contribution to journalArticle

  9. 2001
  10. Published

ID: 278929