Rohit Dureja
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
3
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CAV | The MoXI Model Exchange Tool Suite. | Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, Kristin Yvonne Rozier |
| 2024 | FMCAD | Toward Exhaustive Sequential Redundancy Removal. | Rohit Dureja, Jason Baumgartner, Raj Kumar Gajavelly, Robert Kanzelman, Kristin Y. Rozier |
| 2021 | FMCAD | IC3 with Internal Signals. | Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel |
| 2020 | FMCAD | Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration. | Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams, Kristin Y. Rozier |
| 2019 | FMCAD | Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties. | Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier |
| 2018 | CAV | SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. | Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi |
| 2018 | TACAS | More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( D^3 D 3 ). | Rohit Dureja, Kristin Yvonne Rozier |
| 2017 | FMCAD | FuseIC3: An algorithm for checking large design spaces. | Rohit Dureja, Kristin Yvonne Rozier |