Follow
Rohit Dureja
Title
Cited by
Cited by
Year
More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3)
R Dureja, KY Rozier
Tools and Algorithms for Construction and Analysis of Systems (TACAS), 309-327, 2018
242018
SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability
J Li, R Dureja, G Pu, KY Rozier, MY Vardi
Computer Aided Verification (CAV), 37-44, 2018
192018
FuseIC3: An Algorithm for Checking Large Design Spaces
R Dureja, KY Rozier
Formal Methods in Computer Aided Design (FMCAD), 164-171, 2017
162017
IC3 with Internal Signals
R Dureja, A Gurfinkel, A Ivrii, Y Vizel
Formal Methods in Computer-Aided Design (FMCAD), 63-71, 2021
122021
Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties
R Dureja, J Baumgartner, A Ivrii, R Kanzelman, KY Rozier
Formal Methods in Computer Aided Design (FMCAD), 1-9, 2019
92019
Accelerating Parallel Verification via Complementary Property Partitioning and Strategy Exploration
R Dureja, J Baumgartner, R Kanzelman, M Williams, KY Rozier
Formal Methods in Computer-Aided Design (FMCAD), 16-25, 2020
82020
A Case Study in Safety, Security, and Availability of Wireless-Enabled Aircraft Communication Networks
R Dureja, EWD Rozier, KY Rozier
AIAA Aviation Technology, Integration, and Operations Conference, 3112, 2017
82017
Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines
P Zhang, A Aurandt, R Dureja, PH Jones, KY Rozier
International Conference on Formal Modeling and Analysis of Timed Systems …, 2023
72023
Formal framework for safety, security, and availability of aircraft communication networks
R Dureja, KY Rozier
Journal of Aerospace Information Systems 17 (7), 322-335, 2020
72020
Intersection and Rotation of Assumption Literals Boosts Bug-Finding
R Dureja, J Li, G Pu, MY Vardi, KY Rozier
Verified Software: Theories, Tools, and Experiments (VSTTE), 2019
72019
MoXI: An Intermediate Language for Symbolic Model Checking
KY Rozier, R Dureja, A Irfan, C Johannsen, K Nukala, N Shankar, ...
Proceedings of the 30th International Symposium on Model Checking Software …, 2024
62024
Symbolic model-checking intermediate-language tool suite
C Johannsen, K Nukala, R Dureja, A Irfan, N Shankar, C Tinelli, MY Vardi, ...
Proceedings of 36th International Conference on Computer Aided Verification …, 2024
22024
Incremental design-space model checking via reusable reachable state approximations
R Dureja, KY Rozier
Formal Methods in System Design, 2022
22022
Getting started with the Stellaris Guru development kit
DV Gadre, R Dureja, SS Jajmann
Universities Press, Hyderabad, India, 2013
22013
The MoXI model exchange tool suite
C Johannsen, K Nukala, R Dureja, A Irfan, N Shankar, C Tinelli, MY Vardi, ...
International Conference on Computer Aided Verification, 203-218, 2024
12024
SCALABLE, OPTIMAL RETIMING OF MULTI-CLOCKED NETLISTS
JR Baumgartner, R Dureja, RK Gajavelly, RL Kanzelman
US Patent App. 18/318,615, 2024
2024
SCALABLE, OPTIMAL RETIMING OF MULTI-CLOCKED NETLISTS
JR Baumgartner, R Dureja, RK Gajavelly, RL Kanzelman
US Patent App. 18/318,555, 2024
2024
Toward Exhaustive Sequential Redundancy Removal
R Dureja, J Baumgartner, RK Gajavelly, R Kanzelman, KY Rozier
Formal Methods in Computer-Aided Design (FMCAD), 217-226, 2024
2024
Grouping and partitioning of properties for logic verification
R Dureja, J Baumgartner, A Ivrii, R Kanzelman
US Patent 10,789,403, 2020
2020
Model checking large design spaces: Theory, tools, and experiments
R Dureja
Iowa State University, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20