Rohit Dureja

Employment

Employment history is unavailable.

Education

• Iowa State University Doctor of Philosophy
  2016 - Present
• University of Pennsylvania Master of Science
  2013 - 2015
• University of Delhi Bachelor of Engineering
  2009 - 2013

Projects & Funding

Projects & funding information is unavailable.

Publications (8)

• Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines
  2023 DOI: 10.1007/978-3-031-42626-1_10
  +Save
• Incremental design-space model checking via reusable reachable state approximations
  Formal Methods in System Design 2021 DOI: 10.1007/s10703-022-00389-5
  +Save
• Formal Framework for Safety, Security, and Availability of Aircraft Communication Networks
  Journal of Aerospace Information Systems 2020 DOI: 10.2514/1.i010769
  +Save
• Boosting Verification Scalability via Structural Grouping and Semantic Partitioning of Properties
  2019 Formal Methods in Computer Aided Design (FMCAD) 2019 DOI: 10.23919/fmcad.2019.8894265
  +Save
• More Scalable LTL Model Checking via Discovering Design-Space Dependencies ($$D^{3}$$D3)
  Tools and Algorithms for the Construction and Analysis of Systems 2018 DOI: 10.1007/978-3-319-89960-2_17
  +Save
• SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability
  Computer Aided Verification 2018 DOI: 10.1007/978-3-319-96142-2_5
  +Save
• FuseIC3: An algorithm for checking large design spaces
  2017 Formal Methods in Computer Aided Design (FMCAD) 2017 DOI: 10.23919/fmcad.2017.8102255
  +Save
• A Case Study in Safety, Security, and Availability of Wireless-Enabled Aircraft Communication Networks
  17th AIAA Aviation Technology, Integration, and Operations Conference 2017 DOI: 10.2514/6.2017-3112
  +Save