Guy Frankel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Massively Parallel Mining of Specifications for Hardware Designs. | Leiqi Ye, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen |
| 2025 | FMCAD | Unlocking Hardware Verification with Oracle Guided Synthesis. | Leiqi Ye, Yixuan Li, Guy Frankel, Jianyi Cheng, Elizabeth Polgreen |
| 2023 | MODELSWARD | Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems. | Assaf Marron, Irun R. Cohen, Guy Frankel, David Harel, Smadar Szekely |
| 2023 | MODELSWARD | Challenges in Modeling and Unmodeling Complex Reactive Systems: Interaction Networks, Reaction to Emergent Effects, Reactive Rule Composition, and Multiple Time Scales. | Assaf Marron, Irun R. Cohen, Guy Frankel, David Harel, Smadar Szekely |