| 2025 | ATVA | Towards Unified Probabilistic Verification and Validation of Vision-Based Autonomy. | Jordan Peper, Yan Miao, Sayan Mitra, Ivan Ruchkin |
| 2025 | IROS | FalconGym: A Photorealistic Simulation Framework for Zero-Shot Sim-to-Real Vision-Based Quadrotor Navigation. | Yan Miao, William Shen, Sayan Mitra |
| 2025 | ITiCSE | 'Too Theoretical and Nowhere Near Interesting': Using a Tool to Increase Student Motivation for Formal Methods. | Katherine Braught, Yangge Li, Katherine Driggs-Campbell, Sayan Mitra |
| 2025 | TACAS | Reachability for Nonsmooth Systems with Lexicographic Jacobians. | Chenxi Ji, Huan Zhang, Sayan Mitra |
| 2024 | ICRA | Learning-based Inverse Perception Contracts and Applications. | Dawei Sun, Benjamin C. Yang, Sayan Mitra |
| 2024 | ISSRE | GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems. | Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic |
| 2024 | SIGCSE | ChatGPT in the Classroom: An Analysis of Its Strengths and Weaknesses for Solving Undergraduate Computer Science Questions. | Ishika Joshi, Ritvik Budhiraja, Harshal Dev, Jahnvi Kadia, Mohammad Osama Ataullah, Sayan Mitra, Harshal D. Akolekar, Dhruv Kumar |
| 2023 | ATVA | RTAEval: A Framework for Evaluating Runtime Assurance Logic. | Kristina Miller, Christopher K. Zeitler, William Shen, Mahesh Viswanathan, Sayan Mitra |
| 2023 | ATVA | Parallel and Incremental Verification of Hybrid Automata with Ray and Verse. | Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra |
| 2023 | CAV | Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios. | Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra |
| 2022 | EMSOFT | Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception. | Michael Abraham, Aaron Mayne, Tristan Perez, talo Romani de Oliveira, Huafeng Yu, Chiao Hsieh, Yangge Li, Dawei Sun, Sayan Mitra |
| 2022 | TACAS | NeuReach: Learning Reachability Functions from Simulations. | Dawei Sun, Sayan Mitra |
| 2021 | CAV | SceneChecker: Boosting Scenario Verification Using Symmetry Abstractions. | Hussein Sibai, Yangge Li, Sayan Mitra |
| 2021 | SP | HIOA-CPS: Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems. | Mustafa Abdallah, Sayan Mitra, Shreyas Sundaram, Saurabh Bagchi |
| 2021 | SP | Egocentric abstractions for modeling and safety verification of distributed cyber-physical systems. | Sung Woo Jeon, Sayan Mitra |
| 2020 | CAV | Fast and Guaranteed Safe Controller Synthesis for Nonlinear Vehicle Models. | Chuchu Fan, Kristina Miller, Sayan Mitra |
| 2020 | ICRA | CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination. | Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud |
| 2020 | TACAS | Multi-agent Safety Verification Using Symmetry Transformations. | Hussein Sibai, Navid Mokhlesi, Chuchu Fan, Sayan Mitra |
| 2019 | ATVA | Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. | Hussein Sibai, Navid Mokhlesi, Sayan Mitra |
| 2019 | IFM | Dione: A Protocol Verification System Built with Dafny for I/O Automata. | Chiao Hsieh, Sayan Mitra |
| 2018 | CAV | Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics. | Chuchu Fan, Umang Mathur, Sayan Mitra, Mahesh Viswanathan |
| 2018 | DSN | Algorithmic Attack Synthesis Using Hybrid Dynamics of Power Grid Critical Infrastructures. | Zhenqi Huang, Sriharsha Etigowni, Luis Garcia, Sayan Mitra, Saman A. Zonouz |
| 2018 | FM | Approximate Partial Order Reduction. | Chuchu Fan, Zhenqi Huang, Sayan Mitra |
| 2018 | PODC | Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract]. | Ritwika Ghosh, Sasa Misailovic, Sayan Mitra |
| 2017 | CAV | DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. | Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan |
| 2016 | CAV | Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. | Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala |
| 2016 | EMSOFT | Locally optimal reach set over-approximation for nonlinear systems. | Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra |
| 2015 | ATVA | Bounded Verification with On-the-Fly Discrepancy Computation. | Chuchu Fan, Sayan Mitra |
| 2015 | CAV | Meeting a Powertrain Verification Challenge. | Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan |
| 2015 | FORTE | A Strategy for Automatic Verification of Stabilization of Distributed Algorithms. | Ritwika Ghosh, Sayan Mitra |
| 2015 | ICDCN | Differentially Private Distributed Optimization. | Zhenqi Huang, Sayan Mitra, Nitin H. Vaidya |
| 2015 | TACAS | C2E2: A Verification Tool for Stateflow Models. | Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, Matthew Potok |
| 2014 | CAV | Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. | Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska |
| 2014 | FM | Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. | Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, Csar A. Muoz |
| 2013 | EMSOFT | Verification of annotated models from executions. | Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan |
| 2013 | VMCAI | Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. | Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan |
| 2012 | FM | Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems. | Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel F. Dudley, Richard Scott Erwin |
| 2012 | FORTE | A Small Model Theorem for Rectangular Hybrid Automata Networks. | Taylor T. Johnson, Sayan Mitra |
| 2012 | RTSS | Static and Dynamic Analysis of Timed Distributed Traces. | Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, Sayan Mitra |
| 2010 | ICDCS | Safe and Stabilizing Distributed Cellular Flows. | Taylor T. Johnson, Sayan Mitra, Karthik Manamcheri |
| 2010 | RTAS | Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions. | Stanley Bak, Ashley Greer, Sayan Mitra |
| 2010 | SSS | Safe Flocking in Spite of Actuator Faults. | Taylor T. Johnson, Sayan Mitra |
| 2009 | CONCUR | On Convergence of Concurrent Systems under Regular Interactions. | Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan |
| 2009 | SSS | Stability of Distributed Algorithms in the Face of Incessant Faults. | R. E. Lee DeVille, Sayan Mitra |
| 2008 | SSS | Self-stabilizing Mobile Robot Formations with Virtual Nodes. | Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte |
| 2006 | MEMOCODE | Specifying and proving properties of timed I/O automata in the TIOA toolkit. | Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno |
| 2005 | ICNP | Path Vector Face Routing: Geographic Routing with Local Face Information. | Ben Leong, Sayan Mitra, Barbara Liskov |