|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstraction-guided synthesis of synchronization |
Vechev, Martin |
2012 |
15 | 5-6 |
p. 413-431 |
artikel |
|
| 2 | Algorithmic program synthesis: introduction |
Bodik, Rastislav |
2013 |
15 | 5-6 |
p. 397-411 |
artikel |
|
| 3 | Bounded synthesis |
Finkbeiner, Bernd |
2012 |
15 | 5-6 |
p. 519-539 |
artikel |
|
| 4 | Debugging formal specifications: a practical approach using model-based diagnosis and counterstrategies |
Könighofer, Robert |
2011 |
15 | 5-6 |
p. 563-583 |
artikel |
|
| 5 | Exploiting structure in LTL synthesis |
Filiot, Emmanuel |
2012 |
15 | 5-6 |
p. 541-561 |
artikel |
|
| 6 | Functional synthesis for linear arithmetic and sets |
Kuncak, Viktor |
2011 |
15 | 5-6 |
p. 455-474 |
artikel |
|
| 7 | Program sketching |
Solar-Lezama, Armando |
2012 |
15 | 5-6 |
p. 475-495 |
artikel |
|
| 8 | Safety first: a two-stage algorithm for the synthesis of reactive systems |
Sohail, Saqib |
2012 |
15 | 5-6 |
p. 433-454 |
artikel |
|
| 9 | Synthesis from component libraries |
Lustig, Yoad |
2012 |
15 | 5-6 |
p. 603-618 |
artikel |
|
| 10 | Synthesis of AMBA AHB from formal specification: a case study |
Godhal, Yashdeep |
2011 |
15 | 5-6 |
p. 585-601 |
artikel |
|
| 11 | Template-based program verification and program synthesis |
Srivastava, Saurabh |
2012 |
15 | 5-6 |
p. 497-518 |
artikel |
11 gevonden resultaten