default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSayan Mitra 0002
Person information
Other persons with the same name
- Sayan Mitra — disambiguation page
- Sayan Mitra 0001
![[0000-0001-7082-5516]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0001-7082-5516")
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[c99]Daniel Liberzon, Sayan Mitra:
Indistinguishability in Localization and Control with Coarse Information. HSCC 2025: 12:1-12:10- [c98]Yangge Li, Chenxi Ji, Sayan Mitra:
Verifying Vision-Based Autonomy with Abstract Rendering and Perception Contracts. ICCPS 2025: 32:1-32:2 - [c97]Katherine Braught, Yangge Li, Katherine Driggs-Campbell, Sayan Mitra:
'Too Theoretical and Nowhere Near Interesting': Using a Tool to Increase Student Motivation for Formal Methods. ITiCSE (1) 2025: 187-193 - 2024
- [j17]Sayan Mitra, Nalini Venkatasubramanian:
Introduction to Special Issue for ICCPS 2022. ACM Trans. Cyber Phys. Syst. 8(2): 18 (2024) - [c96]Sayan Mitra:
Data-driven Verification of Autonomous Systems: Reachability, Entropy, and Contracts. HSCC 2024: 1:1 - [i20]Ayoosh Bansal, Duo Wang, Mikael Yeghiazaryan, Yangge Li, Chuyuan Tao, Hyung-Jin Yoon, Prateek Arora, Christos Papachristos, Petros G. Voulgaris, Sayan Mitra, Lui Sha, Naira Hovakimyan:
Verification and Validation of a Vision-Based Landing System for Autonomous VTOL Air Taxis. CoRR abs/2412.08102 (2024) - 2023
- [j16]Angello Astorga, Chiao Hsieh, P. Madhusudan, Sayan Mitra:
Perception Contracts for Safety of ML-Enabled Systems. Proc. ACM Program. Lang. 7(OOPSLA2): 2196-2223 (2023) - [j15]Hussein Sibai, Sayan Mitra:
State Estimation of Continuous-Time Dynamical Systems With Uncertain Inputs With Bounded Variation: Entropy, Bit Rates, and Relation With Switched Systems. IEEE Trans. Autom. Control. 68(12): 7041-7056 (2023) - [c95]Matthias Althoff, Marcelo Forets, Yangge Li, Sayan Mitra, Christian Schilling, Mark Wetzlinger, Daniel Zhuang:
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH 2023: 34-60 - [c94]Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Elena Ivanova, Yangge Li, Sayan Mitra, Stefan Mitsch, Christian Schilling, Mark Wetzlinger, Daniel Zhuang:
ARCH-COMP23 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH 2023: 61-88 - [c93]Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra:
Parallel and Incremental Verification of Hybrid Automata with Ray and Verse. ATVA (1) 2023: 95-114 - [c92]Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra:
Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios. CAV (1) 2023: 351-364 - [c91]Lin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan:
Verification of ℒ1 Adaptive Control using Verse Library: A Case Study of Quadrotors. ICCPS 2023: 245-246 - [e2]Sayan Mitra, Nalini Venkatasubramanian, Abhishek Dubey, Lu Feng, Mahsa Ghasemi, Jonathan Sprinkle:
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, ICCPS 2023, (with CPS-IoT Week 2023), San Antonio, TX, USA, May 9-12, 2023. ACM 2023 [contents] - [i19]Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra:
Verse: A Python library for reasoning about multi-agent hybrid system scenarios. CoRR abs/2301.08714 (2023) - [i18]Lin Song, Yangge Li, Sheng Cheng, Pan Zhao, Sayan Mitra, Naira Hovakimyan:
Verification of L1 Adaptive Control using Verse Library: A Case Study of Quadrotors. CoRR abs/2303.13819 (2023) - 2022
- [j14]Sayan Mitra:
Model structure takes guesswork out of state estimation: technical perspective. Commun. ACM 65(2): 110 (2022) - [j13]Hussein Darir, Hussein Sibai, Chin-Yu Cheng, Nikita Borisov, Geir E. Dullerud, Sayan Mitra:
MLEFlow: Learning from History to Improve Load Balancing in Tor. Proc. Priv. Enhancing Technol. 2022(1): 75-104 (2022) - [c90]Chiao Hsieh, Daniel Wu, Yubin Koh, Sayan Mitra:
Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems. CASE 2022: 2287-2292 - [c89]Kristina Miller, Sayan Mitra:
Multi-agent motion planning using differential games with lexicographic preferences. CDC 2022: 5751-5756 - [c88]Michael Abraham, Aaron Mayne, Tristan Perez, Ítalo Romani de Oliveira, Huafeng Yu, Chiao Hsieh, Yangge Li, Dawei Sun, Sayan Mitra:
Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception. EMSOFT 2022: 17-20 - [i17]Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic:
Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos. CoRR abs/2208.02232 (2022) - [i16]Dawei Sun, Negin Musavi, Geir E. Dullerud, Sanjay Shakkottai, Sayan Mitra:
Learning Certifiably Robust Controllers Using Fragile Perception. CoRR abs/2209.11328 (2022) - [i15]Chiao Hsieh, Yangge Li, Yubin Koh, Sayan Mitra:
Assuring safety of vision-based swarm formation control. CoRR abs/2210.00982 (2022) - [i14]Klara Nahrstedt, Naresh R. Shanbhag, Vikram S. Adve, Nancy M. Amato, Romit Roy Choudhury, Carl A. Gunter, Nam Sung Kim, Olgica Milenkovic, Sayan Mitra, Lav R. Varshney, Yurii Vlasov, Sarita V. Adve, Rashid Bashir, Andreas Cangellaris, James DiCarlo, Katie Driggs-Campbell, Nick Feamster, Mattia Gazzola, Karrie Karahalios, Sanmi Koyejo, Paul G. Kwiat, Bo Li, Negar Mehr, Ravish Mehra, Andrew Miller, Daniela Rus, Alexander G. Schwing, Anshumali Shrivastava:
Coordinated Science Laboratory 70th Anniversary Symposium: The Future of Computing. CoRR abs/2210.08974 (2022) - 2021
- [c87]Kristina Miller, Chuchu Fan, Sayan Mitra:
Planning in Dynamic and Partially Unknown Environments. ADHS 2021: 169-174 - [c86]Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai:
HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization. CCTA 2021: 923-930 - [c85]Chiao Hsieh, Hussein Sibai, Hebron Taylor, Yifeng Ni, Sayan Mitra:
SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems. ITSC 2021: 372-379 - [c84]Mustafa Abdallah, Sayan Mitra, Shreyas Sundaram, Saurabh Bagchi:
HIOA-CPS: Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems. SP (Workshops) 2021: 253-259 - [c83]Sung Woo Jeon, Sayan Mitra:
Egocentric abstractions for modeling and safety verification of distributed cyber-physical systems. SP (Workshops) 2021: 268-276 - 2020
- [j12]Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, Sayan Mitra:
Koord: a language for programming and verifying distributed robotics application. Proc. ACM Program. Lang. 4(OOPSLA): 232:1-232:30 (2020) - [c82]Matthias Althoff, Stanley Bak, Zongnan Bao, Marcelo Forets, Goran Frehse, Daniel Freire, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp, Mark Wetzlinger:
ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH 2020: 16-48 - [c81]Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud:
CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination. ICRA 2020: 6654-6660 - [c80]Peter Du, Zhe Huang, Tianqi Liu, Tianchen Ji, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Rose Driggs-Campbell, Sayan Mitra:
Online Monitoring for Safe Pedestrian-Vehicle Interactions. ITSC 2020: 1-8 - [i13]Yu Wang, Hussein Sibai, Sayan Mitra, Geir E. Dullerud:
Differential Privacy for Sequential Algorithms. CoRR abs/2004.00275 (2020) - [i12]Mustafa Abdallah, Sayan Mitra, Shreyas Sundaram, Saurabh Bagchi:
Combining Hybrid Input-Output Automaton and Game Theory for Security Modeling of Cyber-Physical Systems. CoRR abs/2012.00788 (2020)
2010 – 2019
- 2019
- [c79]Hussein Sibai, Navid Mokhlesi, Sayan Mitra:
Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification. ATVA 2019: 98-114 - [c78]Chiao Hsieh, Sayan Mitra:
Dione: A Protocol Verification System Built with Dafny for I/O Automata. IFM 2019: 227-245 - [i11]Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir E. Dullerud:
CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination. CoRR abs/1910.01557 (2019) - [i10]Peter Du, Zhe Huang, Tianqi Liu, Ke Xu, Qichao Gao, Hussein Sibai, Katherine Rose Driggs-Campbell, Sayan Mitra:
Online monitoring for safe pedestrian-vehicle interactions. CoRR abs/1910.05599 (2019) - [i9]Negin Musavi, Dawei Sun, Sayan Mitra, Geir E. Dullerud, Sanjay Shakkottai:
Optimistic Optimization for Statistical Model Checking with Regret Bounds. CoRR abs/1911.01537 (2019) - 2018
- [j11]Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra:
Simulation-Driven Reachability Using Matrix Measures. ACM Trans. Embed. Comput. Syst. 17(1): 21:1-21:28 (2018) - [c77]Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. ARCH@ADHS 2018: 23-52 - [c76]Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 2018: 53-70 - [c75]Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid:
Verifying nonlinear analog and mixed-signal circuits with inputs. ADHS 2018: 241-246 - [c74]Zhenqi Huang, Sriharsha Etigowni, Luis Garcia, Sayan Mitra, Saman A. Zonouz:
Algorithmic Attack Synthesis Using Hybrid Dynamics of Power Grid Critical Infrastructures. DSN 2018: 151-162 - [c73]Chuchu Fan, Zhenqi Huang, Sayan Mitra:
Approximate Partial Order Reduction. FM 2018: 588-607 - [c72]Hussein Sibai, Sayan Mitra:
State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates. HSCC 2018: 217-226 - [c71]Bolun Qi, Chuchu Fan, Minghao Jiang, Sayan Mitra:
DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. HSCC 2018: 269-270 - [c70]Hussein Sibai, Sayan Mitra:
Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints. HSCC 2018: 279-280 - [c69]Nicole Chan, Sayan Mitra:
CODEV: Automated Model Predictive Control Design and Formal Verification. HSCC 2018: 281-282 - [c68]Matthew Potok, Chien-Ying Chen, Sayan Mitra, Sibin Mohan:
SDCworks: a formal framework for software defined control of smart manufacturing systems. ICCPS 2018: 88-97 - [c67]Ritwika Ghosh, Sasa Misailovic, Sayan Mitra:
Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract]. ApPLIED@PODC 2018: 41-44 - [c66]Hussein Darir, Hussein Sibai, Nikita Borisov, Geir E. Dullerud, Sayan Mitra:
TightRope: Towards Optimal Load-balancing of Paths in Anonymous Networks. WPES@CCS 2018: 76-85 - [i8]Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid:
Verifying nonlinear analog and mixed-signal circuits with inputs. CoRR abs/1803.02975 (2018) - 2017
- [j10]Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud:
Differential Privacy in Linear Distributed Control Systems: Entropy Minimizing Mechanisms and Performance Tradeoffs. IEEE Trans. Control. Netw. Syst. 4(1): 118-130 (2017) - [c65]Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan:
DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. CAV (1) 2017: 441-461 - [c64]Nicole Chan, Sayan Mitra:
Verified hybrid LQ control for autonomous spacecraft rendezvous. CDC 2017: 1427-1432 - [c63]Hussein Sibai, Sayan Mitra:
Optimal Data Rate for State Estimation of Switched Nonlinear Systems. HSCC 2017: 71-80 - [e1]Goran Frehse, Sayan Mitra:
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017. ACM 2017, ISBN 978-1-4503-4590-3 [contents] - 2016
- [c62]Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang:
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. CCA 2016: 1024-1029 - [c61]Chuchu Fan, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Parasara Sridhar Duggirala:
Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2. CAV (1) 2016: 531-538 - [c60]Jorge Cortés, Geir E. Dullerud, Shuo Han, Jerome Le Ny, Sayan Mitra, George J. Pappas:
Differential privacy in control and network systems. CDC 2016: 4252-4272 - [c59]Daniel Liberzon, Sayan Mitra:
Entropy notions for state estimation and model detection with finite-data-rate measurements. CDC 2016: 7335-7340 - [c58]Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra:
Locally optimal reach set over-approximation for nonlinear systems. EMSOFT 2016: 6:1-6:10 - [c57]Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud:
Controller synthesis for linear dynamical systems with adversaries. HotSoS 2016: 53-62 - [c56]Daniel Liberzon, Sayan Mitra:
Entropy and Minimal Data Rates for State Estimation and Model Detection. HSCC 2016: 247-256 - 2015
- [j9]Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska:
Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage. IEEE Des. Test 32(5): 27-34 (2015) - [j8]Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Hybrid automata-based CEGAR for rectangular hybrid systems. Formal Methods Syst. Des. 46(2): 105-134 (2015) - [j7]Taylor T. Johnson, Sayan Mitra:
Safe and stabilizing distributed multi-path cellular flows. Theor. Comput. Sci. 579: 9-32 (2015) - [c55]Chuchu Fan, Sayan Mitra:
Bounded Verification with On-the-Fly Discrepancy Computation. ATVA 2015: 446-463 - [c54]Parasara Sridhar Duggirala, Chuchu Fan, Sayan Mitra, Mahesh Viswanathan:
Meeting a Powertrain Verification Challenge. CAV (1) 2015: 536-543 - [c53]Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri:
Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm. CDC 2015: 7434-7439 - [c52]Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Progress on Powertrain Verification Challenge with C2E2. ARCH@CPSWeek 2015: 207-212 - [c51]Ritwika Ghosh, Sayan Mitra:
A Strategy for Automatic Verification of Stabilization of Distributed Algorithms. FORTE 2015: 35-49 - [c50]Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka:
Model Checking Tap Withdrawal in C. Elegans. HSB 2015: 195-210 - [c49]Parasara Sridhar Duggirala, Matthew Potok, Sayan Mitra, Mahesh Viswanathan:
C2E2: a tool for verifying annotated hybrid systems. HSCC 2015: 307-308 - [c48]Zhenqi Huang, Sayan Mitra, Nitin H. Vaidya:
Differentially Private Distributed Optimization. ICDCN 2015: 4:1-4:10 - [c47]Yixiao Lin, Sayan Mitra:
StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems. LCTES 2015: 9:1-9:10 - [c46]Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan, Matthew Potok:
C2E2: A Verification Tool for Stateflow Models. TACAS 2015: 68-82 - [i7]Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud:
Controller Synthesis for Linear Time-varying Systems with Adversaries. CoRR abs/1501.04925 (2015) - [i6]Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka:
Model Checking Tap Withdrawal in C. Elegans. CoRR abs/1503.06480 (2015) - [i5]Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri:
Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm. CoRR abs/1509.04623 (2015) - 2014
- [c45]Zhenqi Huang, Chuchu Fan, Alexandru Mereacre, Sayan Mitra, Marta Z. Kwiatkowska:
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells. CAV 2014: 373-390 - [c44]Yu Wang, Zhenqi Huang, Sayan Mitra, Geir E. Dullerud:
Entropy-minimizing mechanism for differential privacy of discrete-time linear feedback systems. CDC 2014: 2130-2135 - [c43]Parasara Sridhar Duggirala, Le Wang, Sayan Mitra, Mahesh Viswanathan, César A. Muñoz:
Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol. FM 2014: 215-229 - [c42]Taylor T. Johnson, Sayan Mitra:
Anonymized Reachability of Hybrid Automata Networks. FORMATS 2014: 130-145 - [c41]Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud:
On the cost of differential privacy in distributed control systems. HiCoNS 2014: 105-114 - [c40]Sayan Mitra:
Proving abstractions of dynamical systems through numerical simulations. HotSoS 2014: 12 - [c39]Zhenqi Huang, Sayan Mitra:
Proofs from simulations and modular annotations. HSCC 2014: 183-192 - [c38]Hongxu Chen, Sayan Mitra:
Synthesis and verification of motor-transmission shift controller for electric vehicles. ICCPS 2014: 25-35 - [i4]Zhenqi Huang, Sayan Mitra, Nitin H. Vaidya:
Differentially Private Distributed Optimization. CoRR abs/1401.2596 (2014) - 2013
- [j6]Sayan Mitra, Tichakorn Wongpiromsarn, Richard M. Murray:
Verifying Cyber-Physical Interactions in Safety-Critical Systems. IEEE Secur. Priv. 11(4): 28-37 (2013) - [c37]Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Verification of annotated models from executions. EMSOFT 2013: 26:1-26:10 - [c36]Pavithra Prabhakar, Parasara Sridhar Duggirala, Sayan Mitra, Mahesh Viswanathan:
Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems. VMCAI 2013: 48-67 - 2012
- [j5]Tichakorn Wongpiromsarn, Sayan Mitra, Andrew G. Lamperski, Richard M. Murray:
Verification of Periodically Controlled Hybrid Systems: Application to an Autonomous Vehicle. ACM Trans. Embed. Comput. Syst. 11(S2): 53:1-53:24 (2012) - [c35]Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel F. Dudley, Richard Scott Erwin:
Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems. FM 2012: 252-266 - [c34]Taylor T. Johnson, Sayan Mitra:
A Small Model Theorem for Rectangular Hybrid Automata Networks. FMOODS/FORTE 2012: 18-34 - [c33]Parasara Sridhar Duggirala, Sayan Mitra:
Lyapunov abstractions for inevitability of hybrid systems. HSCC 2012: 115-124 - [c32]Zhenqi Huang, Sayan Mitra:
Computing bounded reach sets from sampled simulation traces. HSCC 2012: 291-294 - [c31]Taylor T. Johnson, Sayan Mitra:
Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study. ICCPS 2012: 161-170 - [c30]Parasara Sridhar Duggirala, Taylor T. Johnson, Adam Zimmerman, Sayan Mitra:
Static and Dynamic Analysis of Timed Distributed Traces. RTSS 2012: 173-182 - [c29]Zhenqi Huang, Sayan Mitra, Geir E. Dullerud:
Differentially private iterative synchronous consensus. WPES 2012: 81-90 - [i3]Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar:
Bounded epsilon-Reach Set Computation of a Class of Deterministic and Transversal Linear Hybrid Automata. CoRR abs/1205.3426 (2012) - [i2]Zhenqi Huang, Sayan Mitra, Geir E. Dullerud:
Differentially Private Iterative Synchronous Consensus. CoRR abs/1207.4262 (2012) - [i1]Taylor T. Johnson, Sayan Mitra:
Safe and Stabilizing Distributed Multi-Path Cellular Flows. CoRR abs/1209.2058 (2012) - 2011
- [j4]K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White:
Verification of distributed systems with local-global predicates. Formal Aspects Comput. 23(5): 649-679 (2011) - [c28]Taylor T. Johnson, Sayan Mitra, Cédric Langbort:
Stability of digitally interconnected linear systems. CDC/ECC 2011: 2687-2692 - [c27]Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar:
Computing bounded ε-reach set with finite precision computations for a class of linear hybrid automata. HSCC 2011: 113-122 - [c26]Karthik Manamcheri, Sayan Mitra, Stanley Bak, Marco Caccamo:
A step towards verification and synthesis from simulink/stateflow models. HSCC 2011: 317-318 - [c25]Stanley Bak, Karthik Manamcheri, Sayan Mitra, Marco Caccamo:
Sandboxing Controllers for Cyber-Physical Systems. ICCPS 2011: 3-12 - [c24]Parasara Sridhar Duggirala, Sayan Mitra:
Abstraction Refinement for Stability. ICCPS 2011: 22-31 - 2010
- [c23]Kyoung-Dae Kim, Sayan Mitra, P. R. Kumar:
Bounded ∈-reachability of linear hybrid automata with a deterministic and transversal discrete transition condition. CDC 2010: 6177-6182 - [c22]Taylor T. Johnson, Sayan Mitra, Karthik Manamcheri:
Safe and Stabilizing Distributed Cellular Flows. ICDCS 2010: 577-586 - [c21]Parasara Sridhar Duggirala, Sayan Mitra, Rakesh Kumar, Dean Glazeski:
On the Theory of Stochastic Processors. QEST 2010: 292-301 - [c20]Stanley Bak, Ashley Greer, Sayan Mitra:
Hybrid Cyberphysical System Verification with Simplex Using Discrete Abstractions. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 143-152 - [c19]Taylor T. Johnson, Sayan Mitra:
Safe Flocking in Spite of Actuator Faults. SSS 2010: 588-602
2000 – 2009
- 2009
- [j3]Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte:
Self-stabilizing robot formations over unreliable networks. ACM Trans. Auton. Adapt. Syst. 4(3): 17:1-17:29 (2009) - [c18]Pavithra Prabhakar, Sayan Mitra, Mahesh Viswanathan:
On Convergence of Concurrent Systems under Regular Interactions. CONCUR 2009: 527-541 - [c17]Tichakorn Wongpiromsarn, Sayan Mitra, Richard M. Murray, Andrew G. Lamperski:
Periodically Controlled Hybrid Systems. HSCC 2009: 396-410 - [c16]R. E. Lee DeVille, Sayan Mitra:
Stability of Distributed Algorithms in the Face of Incessant Faults. SSS 2009: 224-237 - 2008
- [j2]Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno:
Specifying and proving properties of timed I/O automata using Tempo. Des. Autom. Embed. Syst. 12(1-2): 139-170 (2008) - [j1]Sayan Mitra, Daniel Liberzon, Nancy A. Lynch:
Verifying average dwell time of hybrid systems. ACM Trans. Embed. Comput. Syst. 8(1): 3:1-3:37 (2008) - [c15]K. Mani Chandy, Sayan Mitra, Concetta Pilotto:
Convergence Verification: From Shared Memory to Partially Synchronous Systems. FORMATS 2008: 218-232 - [c14]Seth Gilbert, Nancy A. Lynch, Sayan Mitra, Tina Nolte:
Self-stabilizing Mobile Robot Formations with Virtual Nodes. SSS 2008: 188-202 - [c13]Sayan Mitra, K. Mani Chandy:
A Formalized Theory for Verifying Stability and Convergence of Automata in PVS. TPHOLs 2008: 230-245 - 2007
- [c12]Radu Grosu, Sayan Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka:
Learning Cycle-Linear Hybrid Automata for Excitable Cells. HSCC 2007: 245-258 - [c11]Sayan Mitra, Nancy A. Lynch:
Trace-Based Semantics for Probabilistic Timed I/O Automata. HSCC 2007: 718-722 - 2006
- [c10]Sayan Mitra, Nancy A. Lynch, Daniel Liberzon:
Verifying Average Dwell Time by Solving Optimization Problems. HSCC 2006: 476-490 - [c9]Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno:
Specifying and proving properties of timed I/O automata in the TIOA toolkit. MEMOCODE 2006: 129-138 - [c8]Sayan Mitra, Nancy A. Lynch:
Proving Approximate Implementations for Probabilistic I/O Automata. PDPAR/PaUL@FLoC 2006: 71-93 - 2005
- [c7]Nancy A. Lynch, Sayan Mitra, Tina Nolte:
Motion Coordination using Virtual Nodes. CDC/ECC 2005: 2823-2828 - [c6]Hongping Lim, Dilsun Kirli Kaynar, Nancy A. Lynch, Sayan Mitra:
Translating Timed I/O Automata Specifications for Theorem Proving in PVS. FORMATS 2005: 17-31 - [c5]Ben Leong, Sayan Mitra, Barbara Liskov:
Path Vector Face Routing: Geographic Routing with Local Face Information. ICNP 2005: 147-158 - [c4]Gregory V. Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber:
Proving Atomicity: An Assertional Approach. DISC 2005: 152-168 - 2004
- [c3]Sayan Mitra, Daniel Liberzon:
Stability of hybrid automata with average dwell time: an invariant approach. CDC 2004: 1394-1399 - [c2]Sayan Mitra, Myla Archer:
PVS Strategies for Proving Abstraction Properties of Automata. STRATEGIES@IJCAR 2004: 45-65 - 2003
- [c1]Sayan Mitra, Yong Wang, Nancy A. Lynch, Eric Feron:
Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata. HSCC 2003: 343-358
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-10-02 02:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
