Peer Reviewed Conferences

  1. Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties
    Rohit Dureja, Jason Baumgartner, Alexander Ivrii, Robert Kanzelman, and Kristin Y. Rozier
    Proceedings of Formal Methods in Computer-Aided Design (FMCAD), 2019
    preprint slides website
  2. Intersection and Rotation of Assumption Literals Boosts Bug-Finding
    Rohit Dureja, Jianwen Li, Geguang Pu, Moshe Y. Vardi, and Kristin Y. Rozier
    Proceedings of Verified Software: Theories, Tools, and Experiments (VSTTE), 2019
    preprint slides website
  3. SimpleCAR: An Efficient Bug-Finding Tool Based On Approximate Reachability
    Jianwen Li, Rohit Dureja, Geguang Pu, Kristin Y. Rozier, and Moshe Y. Vardi
    Proceedings of Computer Aided Verification (CAV), 2018
    preprint slides website
  4. More Scalable LTL Model Checking via Discovering Design-Space Dependencies
    Rohit Dureja and Kristin Y. Rozier
    Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2018
    preprint slides website poster
  5. FuseIC3: An Algorithm for Checking Large Design Spaces
    Rohit Dureja and Kristin Y. Rozier
    Proceedings of Formal Methods in Computer-Aided Design (FMCAD), 2017
    preprint slides website

Workshops and Posters

  1. Scalable Verification of Designs with Multiple Properties
    Rohit Dureja and Kristin Y. Rozier
    Formal Methods in Computer-Aided Design (FMCAD) Student Forum, 2019
    pdf slides poster
  2. From One to Many: Checking A Set of Models
    Rohit Dureja and Kristin Y. Rozier
    Formal Methods in Computer-Aided Design (FMCAD) Student Forum, 2017
    pdf slides poster
  3. A Case Study in Safety, Security, and Availability of Wireless-Enabled Aircraft Communication Networks
    Rohit Dureja, Eric W. D. Rozier, and Kristin Y. Rozier
    Proceedings of AIAA Aviation Technology, Integration, and Operations Conference (AVIATION), 2017
    preprint slides
  4. Comparative Safety Analysis of Wireless Communication Networks in Avionics
    Rohit Dureja and Kristin Y. Rozier
    Formal Methods in Computer-Aided Design (FMCAD) Student Forum, 2016
    pdf slides poster

Books and Book Chapters

  1. Getting Started with Stellaris ARM Cortex-M Embedded Processors
    Dhananjay V. Gadre, Rohit Dureja, and Shanjit S. Jajmann
    Universities Press, 2013
    pdf