Works matching IS 14332779 AND DT 2013 AND VI 15 AND IP 5/6

Results: 11

    • Abstraction-guided synthesis of synchronization.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 413, doi. 10.1007/s10009-012-0232-3
      By:
      • Vechev, Martin;
      • Yahav, Eran;
      • Yorsh, Greta
      Publication type:
      Article

    • Safety first: a two-stage algorithm for the synthesis of reactive systems.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 433, doi. 10.1007/s10009-012-0224-3
      By:
      • Sohail, Saqib;
      • Somenzi, Fabio
      Publication type:
      Article

    • Functional synthesis for linear arithmetic and sets.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 455, doi. 10.1007/s10009-011-0217-7
      By:
      • Kuncak, Viktor;
      • Mayer, Mikaël;
      • Piskac, Ruzica;
      • Suter, Philippe
      Publication type:
      Article

    • Algorithmic program synthesis: introduction.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 397, doi. 10.1007/s10009-013-0287-9
      By:
      • Bodik, Rastislav;
      • Jobstmann, Barbara
      Publication type:
      Article

    • Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 563, doi. 10.1007/s10009-011-0221-y
      By:
      • Könighofer, Robert;
      • Hofferek, Georg;
      • Bloem, Roderick
      Publication type:
      Article

    • Synthesis from component libraries.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 603, doi. 10.1007/s10009-012-0236-z
      By:
      • Lustig, Yoad;
      • Vardi, Moshe
      Publication type:
      Article

    • Program sketching.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 475, doi. 10.1007/s10009-012-0249-7
      By:
      • Solar-Lezama, Armando
      Publication type:
      Article

    • Template-based program verification and program synthesis.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 497, doi. 10.1007/s10009-012-0223-4
      By:
      • Srivastava, Saurabh;
      • Gulwani, Sumit;
      • Foster, Jeffrey S.
      Publication type:
      Article

    • Exploiting structure in LTL synthesis.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 541, doi. 10.1007/s10009-012-0222-5
      By:
      • Filiot, Emmanuel;
      • Jin, Naiyong;
      • Raskin, Jean-François
      Publication type:
      Article

    • Bounded synthesis.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 519, doi. 10.1007/s10009-012-0228-z
      By:
      • Finkbeiner, Bernd;
      • Schewe, Sven
      Publication type:
      Article

    • Synthesis of AMBA AHB from formal specification: a case study.

      Published in:
      International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 585, doi. 10.1007/s10009-011-0207-9
      By:
      • Godhal, Yashdeep;
      • Chatterjee, Krishnendu;
      • Henzinger, Thomas A.
      Publication type:
      Article