| 2009 | ||
|---|---|---|
| 3 | Rayna Dimitrova, Bernd Finkbeiner: Synthesis of Fault-Tolerant Distributed Systems. ATVA 2009: 321-336 | |
| 2008 | ||
| 2 | Rayna Dimitrova, Bernd Finkbeiner: Abstraction Refinement for Games with Incomplete Information. FSTTCS 2008 | |
| 1 | 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] |