Travelled to:1 × Austria
1 × France
1 × India
1 × Italy
1 × Singapore
1 × United Kingdom
2 × USA
Collaborated with:P.S.Duggirala C.Fan M.Viswanathan M.V.0001 Y.Lin S.Sastry B.Qi M.Potok P.Prabhakar U.Mathur Z.Huang A.Mereacre M.Z.Kwiatkowska L.Wang C.A.Muñoz T.T.Johnson J.Green R.Dudley R.S.Erwin
Talks about:hybrid (6) system (5) verif (5) nonlinear (3) automata (3) model (3) avoid (2) rectangular (1) powertrain (1) stateflow (1)
Person: Sayan Mitra
DBLP: Mitra:Sayan
Contributed to:
2015
2015
20152014
2014
20132012
2009201620172018Wrote 11 papers:
- CAV-2015-DuggiralaFM0 #challenge #verification
- Meeting a Powertrain Verification Challenge (PSD, CF, SM, MV), pp. 536–543.
- LCTES-2015-LinM #distributed #framework #named #programming #simulation #towards #verification
- StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems (YL, SM), p. 10.
- TACAS-2015-DuggiralaMVP #modelling #named #verification
- C2E2: A Verification Tool for Stateflow Models (PSD, SM, MV, MP), pp. 68–82.
- CAV-2014-HuangFMMK #automaton #hybrid #invariant #network #verification
- Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells (ZH, CF, AM, SM, MZK), pp. 373–390.
- FM-2014-DuggiralaWMVM #modelling #parallel #precedence #protocol
- Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol (PSD, LW, SM, MV, CAM), pp. 215–229.
- VMCAI-2013-PrabhakarDMV #hybrid
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems (PP, PSD, SM, MV), pp. 48–67.
- FM-2012-JohnsonGMDE #case study #hybrid #verification
- Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems (TTJ, JG, SM, RD, RSE), pp. 252–266.
- CASE-2009-MitraS #automaton #composition #hybrid
- Hybrid Input Output Automata for composable conveyor systems (SM, SS), p. 29.
- CAV-2016-FanQM0D #analysis #automation #hybrid #modelling #reachability
- Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 (CF, BQ, SM, MV0, PSD), pp. 531–538.
- CAV-2017-FanQM0 #composition #data-driven #named #reasoning #verification
- DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems (CF, BQ, SM, MV0), pp. 441–461.
- CAV-2018-FanMM0 #linear #specification #synthesis
- Controller Synthesis Made Real: Reach-Avoid Specifications and Linear Dynamics (CF, UM, SM, MV0), pp. 347–366.