Publications


Peer Reviewed Conferences

  1. FuseIC3: An Algorithm for Checking Large Design Spaces
    Rohit Dureja and Kristin Y. Rozier
    Proceedings of Formal Methods in Computer-Aided Design (FMCAD), 2017

Workshops and Posters

  1. 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
  2. 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
  3. 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

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