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:
- Publication type:
- Article
Works matching IS 14332779 AND DT 2013 AND VI 15 AND IP 5/6
Results: 11
1
2
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:
- Publication type:
- Article
3
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:
- Publication type:
- Article
4
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:
- Publication type:
- Article
5
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:
- Publication type:
- Article
6
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:
- Publication type:
- Article
7
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:
- Publication type:
- Article
8
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:
- Publication type:
- Article
9
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:
- Publication type:
- Article
10
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:
- Publication type:
- Article
11
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:
- Publication type:
- Article