| |
| 2006 | ||
|---|---|---|
| 2 | EE | Uri Frank, Tsachy Kapschitz, Ran Ginosar: A predictive synchronizer for periodic clock domains. Formal Methods in System Design 28(2): 171-186 (2006) |
| 2005 | ||
| 1 | EE | Tsachy Kapschitz, Ran Ginosar: Formal Verification of Synchronizers. CHARME 2005: 359-362 |
| 1 | Uri Frank | [2] |
| 2 | Ran Ginosar | [1] [2] |