Travelled to:1 × Austria
1 × Estonia
1 × France
1 × Germany
1 × Greece
1 × Iceland
1 × India
1 × Italy
1 × Portugal
1 × Singapore
10 × USA
2 × Spain
4 × United Kingdom
Collaborated with:K.Sen R.Chadha A.Vardhan G.Agha D.Kini P.S.Duggirala S.Mitra A.P.Sistla P.Prabhakar P.Madhusudan V.Kumar G.Rosu R.Viswanathan J.Hendrix H.Ohsaki N.Kumar C.Fan Y.Ben M.Potok A.Legay V.Vladimerou G.E.Dullerud S.Lauterburg A.Sobeih D.Marinov R.Alur H.S.M.Beigi S.Dharanipragada A.Tritschler J.W.Cooper D.K.Byron M.Chan L.Wang C.A.Muñoz F.Ergün S.Kannan R.Kumar R.Rubinfeld K.Bhargavan C.A.Gunter M.Kim I.Lee D.Obradovic O.Sokolsky
Talks about:automata (6) model (6) probabilist (5) check (5) system (4) verif (4) languag (3) complex (3) hybrid (3) increment (2)
Person: Mahesh Viswanathan
DBLP: Viswanathan:Mahesh
Contributed to:
2015
2015
2015
2014
20142013201220112010
2008
2008
20082006
20062006
20052005200520052005200420032001
2000
1999
1998
2001Wrote 29 papers:
- CAV-2015-DuggiralaFM0 #challenge #verification
- Meeting a Powertrain Verification Challenge (PSD, CF, SM, MV), pp. 536–543.
- FoSSaCS-2015-ChadhaSVB #automaton #decidability #probability
- Decidable and Expressive Classes of Probabilistic Automata (RC, APS, MV, YB), pp. 200–214.
- TACAS-2015-DuggiralaMVP #modelling #named #verification
- C2E2: A Verification Tool for Stateflow Models (PSD, SM, MV, MP), pp. 68–82.
- TACAS-2015-KiniV #automaton #ltl #probability
- Limit Deterministic and Probabilistic Automata for LTL ∖ GU (DK, MV), pp. 628–642.
- 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-2014-KiniV #automaton #ltl #probability #safety #specification
- Probabilistic Automata for Safety LTL Specifications (DK, MV), pp. 118–136.
- VMCAI-2013-PrabhakarDMV #hybrid
- Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems (PP, PSD, SM, MV), pp. 48–67.
- TACAS-2012-ChadhaMV #reachability
- Reachability under Contextual Locking (RC, PM, MV), pp. 437–450.
- VMCAI-2011-ChadhaSV #automaton #probability
- Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds (RC, APS, MV), pp. 103–117.
- VMCAI-2010-ChadhaLPV #bound #complexity #realtime #verification
- Complexity Bounds for the Verification of Real-Time Software (RC, AL, PP, MV), pp. 95–111.
- ICALP-B-2008-VladimerouPVD #hybrid
- STORMED Hybrid Systems (VV, PP, MV, GED), pp. 136–147.
- ICSE-2008-LauterburgSMV #incremental #source code
- Incremental state-space exploration for programs with dynamically allocated data (SL, AS, DM, MV), pp. 291–300.
- LICS-2008-ChadhaSV #complexity #finite #monitoring #on the
- On the Expressiveness and Complexity of Randomization in Finite State Monitors (RC, APS, MV), pp. 18–29.
- CAV-2006-SenV #model checking #parallel #source code #thread
- Model Checking Multithreaded Programs with Asynchronous Atomic Methods (KS, MV), pp. 300–314.
- CAV-2006-VardhanV #learning #named #verification
- LEVER: A Tool for Learning Based Verification (AV, MV), pp. 471–474.
- RTA-2006-HendrixOV #automaton
- Propositional Tree Automata (JH, HO, MV), pp. 50–65.
- TACAS-2006-SenVA #markov #model checking #nondeterminism
- Model-Checking Markov Chains in the Presence of Uncertainties (KS, MV, GA), pp. 394–410.
- ASE-2005-VardhanV #branch #learning #verification
- Learning to verify branching time properties (AV, MV), pp. 325–328.
- CAV-2005-SenVA #model checking #on the #probability #statistics
- On Statistical Model Checking of Stochastic Systems (KS, MV, GA), pp. 266–280.
- ICALP-2005-AlurKMV #automaton
- Congruences for Visibly Pushdown Languages (RA, VK, PM, MV), pp. 1102–1114.
- TACAS-2005-VardhanSVA #using #verification
- Using Language Inference to Verify ω-Regular Properties (AV, KS, MV, GA), pp. 45–60.
- VMCAI-2005-KumarKV #complexity #fault #on the
- On the Complexity of Error Explanation (NK, VK, MV), pp. 448–464.
- CAV-2004-SenVA #black box #model checking #probability #statistics
- Statistical Model Checking of Black-Box Probabilistic Systems (KS, MV, GA), pp. 202–215.
- RTA-2003-RouV #incremental #regular expression #testing
- Testing Extended Regular Language Membership Incrementally by Rewriting (GR, MV), pp. 499–514.
- ICALP-2001-ViswanathanV #composition #reasoning
- Foundations for Circular Compositional Reasoning (MV, RV), pp. 835–847.
- ISSTA-2000-BhargavanGKLOSV #analysis #formal method #named #network #simulation
- Verisim: Formal analysis of network simulations (KB, CAG, MK, IL, DO, OS, MV), pp. 2–13.
- ICDAR-1999-ViswanathanBDT #documentation #retrieval #using
- Retrieval from Spoken Documents using Content and Speaker Information (MV, HSMB, SD, AT), pp. 567–572.
- STOC-1998-ErgunKKRV
- Spot-Checkers (FE, SK, RK, RR, MV), pp. 259–268.
- JCDL-2001-CooperVBC #enterprise #speech
- Building searchable collections of enterprise speech data (JWC, MV, DKB, MC), pp. 226–234.