Travelled to:1 × Belgium
1 × Spain
2 × USA
Collaborated with:R.K.Brayton T.A.Henzinger O.Kupferman F.Y.C.Mang A.Puri P.Varaiya A.L.Sangiovanni-Vincentelli S.P.Khatri A.Narayan K.L.McMillan A.Aziz F.Balarin S.Cheng R.Hojati T.Kam R.K.Ranjan T.R.Shiple V.Singhal S.Tasiran H.Wang
Talks about:automata (2) determinist (1) synthesi (1) uniniti (1) environ (1) system (1) formal (1) applic (1) verif (1) rabin (1)
Person: Sriram C. Krishnan
DBLP: Krishnan:Sriram_C=
Contributed to:
2002
1996
19951994Wrote 4 papers:
- ICALP-2002-HenzingerKKM #synthesis
- Synthesis of Uninitialized Systems (TAH, SCK, OK, FYCM), pp. 644–656.
- DAC-1996-KhatriNKMBS #automaton #nondeterminism
- Engineering Change in a Non-Deterministic FSM Setting (SPK, AN, SCK, KLM, RKB, ALSV), pp. 451–456.
- CAV-1995-KrishnanPBV #automaton #game studies
- The Rabin Index and Chain Automata, with Applications to Automatas and Games (SCK, AP, RKB, PV), pp. 253–266.
- DAC-1994-AzizBCHKKRSSTWBS #named #verification
- HSIS: A BDD-Based Environment for Formal Verification (AA, FB, STC, RH, TK, SCK, RKR, TRS, VS, ST, HYW, RKB, ALSV), pp. 454–459.