2009 |
12 | EE | Roderick Bloem,
Krishnendu Chatterjee,
Thomas A. Henzinger,
Barbara Jobstmann:
Better Quality in Synthesis through Quantitative Objectives
CoRR abs/0904.2638: (2009) |
2008 |
11 | EE | Krishnendu Chatterjee,
Thomas A. Henzinger,
Barbara Jobstmann:
Environment Assumptions for Synthesis.
CONCUR 2008: 147-161 |
10 | EE | Laurent Doyen,
Thomas A. Henzinger,
Barbara Jobstmann,
Tatjana Petrov:
Interface theories with component reuse.
EMSOFT 2008: 79-88 |
9 | EE | Karin Greimel,
Roderick Bloem,
Barbara Jobstmann,
Moshe Y. Vardi:
Open Implication.
ICALP (2) 2008: 361-372 |
8 | EE | Rachid Guerraoui,
Thomas A. Henzinger,
Barbara Jobstmann,
Vasu Singh:
Model checking transactional memories.
PLDI 2008: 372-382 |
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 |