| |
| * | 2009 | |
|---|---|---|
| 3 | EE | Rayna Dimitrova, Bernd Finkbeiner: Synthesis of Fault-Tolerant Distributed Systems. ATVA 2009: 321-336 |
| 2008 | ||
| 2 | EE | Rayna Dimitrova, Bernd Finkbeiner: Abstraction Refinement for Games with Incomplete Information. FSTTCS 2008 |
| 1 | EE | Rayna Dimitrova, Andreas Podelski: Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? VMCAI 2008: 98-111 |
| 1 | Bernd Finkbeiner | [2] [3] |
| 2 | Andreas Podelski | [1] |