Rohit Dureja

According to our database, Rohit Dureja authored at least 10 papers between 2017 and 2023.

Collaborative distances:

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

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