Rohit Dureja

According to our database, Rohit Dureja authored at least 12 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

MoXI: An Intermediate Language for Symbolic Model Checking.

Kristin Yvonne Rozier, Rohit Dureja, Ahmed Irfan, Chris Johannsen, Karthik Nukala, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi

Proceedings of the Model Checking Software - 30th International Symposium, 2024

The MoXI Model Exchange Tool Suite.

Chris Johannsen, Karthik Nukala, Rohit Dureja, Ahmed Irfan, Natarajan Shankar, Cesare Tinelli, Moshe Y. Vardi, Kristin Yvonne Rozier

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines.

Pei Zhang, Alexis A. Aurandt, Rohit Dureja, Phillip H. Jones, Kristin Yvonne Rozier

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

2021

Incremental design-space model checking via reusable reachable state approximations.

Rohit Dureja, Kristin Y. Rozier

Formal Methods Syst. Des., 2021

IC3 with Internal Signals.

Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks.

Rohit Dureja, Kristin Yvonne Rozier

J. Aerosp. Inf. Syst., July, 2020

Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration.

Rohit Dureja, Jason Baumgartner, Robert Kanzelman, Mark Williams, Kristin Y. Rozier

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

Intersection and Rotation of Assumption Literals Boosts Bug-Finding.

Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, Kristin Y. Rozier

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties.

Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, Kristin Y. Rozier

Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018

More Scalable LTL Model Checking via Discovering Design-Space Dependencies ( D^3 D 3 ).

Rohit Dureja, Kristin Yvonne Rozier

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability.

Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Yvonne Rozier, Moshe Y. Vardi

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

FuseIC3: An algorithm for checking large design spaces.

Rohit Dureja, Kristin Yvonne Rozier

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017