Rohit Dureja

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 11

Top Topics

Computation Tree Logic

Semantic Properties

Top Venues

Publications

Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, Kristin Yvonne Rozier
The MoXI Model Exchange Tool Suite. CAV (1) (2024)
Pei Zhang, Alexis A. Aurandt, Rohit Dureja, Phillip H. Jones, Kristin Yvonne Rozier
Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines. FORMATS (2023)
Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel
IC3 with Internal Signals. FMCAD (2021)
Rohit Dureja, Kristin Y. Rozier
Incremental design-space model checking via reusable reachable state approximations. Formal Methods Syst. Des. 58 (3) (2021)
Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams, Kristin Y. Rozier
Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration. FMCAD (2020)
Rohit Dureja, Kristin Yvonne Rozier
Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks. J. Aerosp. Inf. Syst. 17 (7) (2020)
Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, Kristin Y. Rozier
Intersection and Rotation of Assumption Literals Boosts Bug-Finding. VSTTE (2019)
Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties. FMCAD (2019)
Rohit Dureja, Kristin Yvonne Rozier
More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( D^3 D 3 ). TACAS (1) (2018)
Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi
SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability. CAV (2) (2018)
Rohit Dureja, Kristin Yvonne Rozier
FuseIC3: An algorithm for checking large design spaces. FMCAD (2017)