| 2008 |
|---|
| 7 | EE | Krishnendu Chatterjee,
Thomas A. Henzinger,
Barbara Jobstmann:
Environment Assumptions for Synthesis
CoRR abs/0805.4167: (2008) |
| 2007 |
|---|
| 6 | EE | Barbara Jobstmann,
Stefan Galler,
Martin Weiglhofer,
Roderick Bloem:
Anzu: A Tool for Property Synthesis.
CAV 2007: 258-262 |
| 5 | EE | Roderick Bloem,
Stefan Galler,
Barbara Jobstmann,
Nir Piterman,
Amir Pnueli,
Martin Weiglhofer:
Interactive presentation: Automatic hardware synthesis from specifications: a case study.
DATE 2007: 1188-1193 |
| 4 | EE | Roderick Bloem,
Stefan Galler,
Barbara Jobstmann,
Nir Piterman,
Amir Pnueli,
Martin Weiglhofer:
Specify, Compile, Run: Hardware from PSL.
Electr. Notes Theor. Comput. Sci. 190(4): 3-16 (2007) |
| 2006 |
|---|
| 3 | EE | Barbara Jobstmann,
Roderick Bloem:
Optimizations for LTL Synthesis.
FMCAD 2006: 117-124 |
| 2005 |
|---|
| 2 | EE | Barbara Jobstmann,
Andreas Griesmayer,
Roderick Bloem:
Program Repair as a Game.
CAV 2005: 226-238 |
| 1 | EE | Stefan Staber,
Barbara Jobstmann,
Roderick Bloem:
Finding and Fixing Faults.
CHARME 2005: 35-49 |
