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
162018
FuseIC3: An Algorithm for Checking Large Design Spaces
R Dureja, KY Rozier
Formal Methods in Computer Aided Design (FMCAD), 164-171, 2017
142017
IC3 with Internal Signals
R Dureja, A Gurfinkel, A Ivrii, Y Vizel
Formal Methods in Computer-Aided Design (FMCAD), 63-71, 2021
102021
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
82019
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
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
72017
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
62020
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
62019
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
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 …, 0
1
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
2023
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
Scalable Verification of Designs with Multiple Properties
R Dureja, KY Rozier
Formal Methods in Computer-Aided Design (FMCAD) Student Forum, 2019
2019
From One To Many: Checking A Set Of Models
R Dureja, KY Rozier
Formal Methods in Computer Aided Design (FMCAD) Student Forum, 2017
2017
Comparative Safety Analysis of Wireless Communication Networks in Avionics
R Dureja, KY Rozier
Formal Methods in Computer-Aided Design (FMCAD) Student Forum, 2016
2016
The MoXI Model Exchange Tool Suite
C Johannsen, K Nukala, R Dureja, A Irfan, N Shankar, C Tinelli, MY Vardi, ...
Program Committees
AA Oxford, G Amir, C Barrett, P Bjesse, R Bloem, I Cerna, S Chakraborty, ...
The system can't perform the operation now. Try again later.
Articles 1–20