Rohit Dureja - RankMe

14 papers B 5Journal 2Unranked 6

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