| 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 | 23 | 2018 |
| 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 | 15 | 2018 |
| FuseIC3: An Algorithm for Checking Large Design Spaces R Dureja, KY Rozier Formal Methods in Computer Aided Design (FMCAD), 164-171, 2017 | 14 | 2017 |
| IC3 with Internal Signals R Dureja, A Gurfinkel, A Ivrii, Y Vizel Formal Methods in Computer-Aided Design (FMCAD), 63-71, 2021 | 10 | 2021 |
| 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 | 7 | 2020 |
| 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 | 7 | 2019 |
| 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 | 7 | 2017 |
| 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 | 6 | 2019 |
| 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 | 4 | 2020 |
| Incremental design-space model checking via reusable reachable state approximations R Dureja, KY Rozier Formal Methods in System Design, 2022 | 2 | 2022 |
| Getting started with the Stellaris Guru development kit DV Gadre, R Dureja, SS Jajmann Universities Press, Hyderabad, India, 2013 | 2 | 2013 |
| 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 | |
| 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 …, 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 |
| Program Committees AA Oxford, G Amir, C Barrett, P Bjesse, R Bloem, I Cerna, S Chakraborty, ... | | |
Kristin Y. RozierNASAVerified email at nasa.gov
