Mandayam K. Srivas

发表

Ganesh Gopalakrishnan, Ravi Hosabettu, Mandayam K. Srivas, 2003, Formal Methods Syst. Des..
Mandayam K. Srivas, Harald Ruess, David Cyrluk, 1997, Formal Hardware Verification.
Daniel Kroening, Mandayam K. Srivas, Rajdeep Mukherjee, 2015, 2015 IEEE Computer Society Annual Symposium on VLSI.
Mandayam K. Srivas, Chilukuri K. Mohan, 1987, CTRS.
Natarajan Shankar, Mandayam K. Srivas, S. Rajan, 1995, CAV.
Mandayam K. Srivas, 1991, COMPCON Spring '91 Digest of Papers.
Mandayam K. Srivas, Peter Schrammel, Tomás Vojnar, 2018, TACAS.
Ganesh Gopalakrishnan, Ravi Hosabettu, Mandayam K. Srivas, 2000, CAV.
Mandayam K. Srivas, Jieh Hsiang, M. Srivas, 1985, FSTTCS.
Mandayam K. Srivas, Steven P. Miller, M. Srivas, 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
Mandayam K. Srivas, Jieh Hsiang, 1987, Theor. Comput. Sci..
Natarajan Shankar, Mandayam K. Srivas, Harald Ruess, 1996, CAV.
Parameswaran Ramanathan, Mandayam K. Srivas, Paul S. Miner, 1997 .
Mandayam K. Srivas, John Rushby, Natarajan Shankar, 1998 .
Mandayam K. Srivas, Muffy Calder, George Cleland, 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.
Mandayam K. Srivas, John M. Rushby, J. Rushby, 1993, HUG.
Mark Bickford, Mandayam K. Srivas, 1990, IEEE Software.
Mandayam K. Srivas, Deepak Kapur, D. Kapur, 1985, TAPSOFT, Vol.1.
Mandayam K. Srivas, Jieh Hsiang, 1985, TAPSOFT, Vol.2.
Mandayam K. Srivas, Deepak Kapur, D. Kapur, 1980, POPL '80.
Mandayam K. Srivas, Deepak Kapur, D. Kapur, 1988, Sci. Comput. Program..
Mandayam K. Srivas, Albert Camilleri, 1996, Lecture Notes in Computer Science.
Natarajan Shankar, Mandayam K. Srivas, John M. Rushby, 1994, TPCD.
Mandayam K. Srivas, Deepak Kapur, Chilukuri K. Mohan, 1990, J. Log. Program..
Mandayam K. Srivas, David Cyrluk, John M. Rushby, 1997, First IEEE International Conference on Formal Engineering Methods.
Natarajan Shankar, Mandayam K. Srivas, David Cyrluk, 1994, TPCD.
Ganesh Gopalakrishnan, Mandayam K. Srivas, 1988, Inf. Process. Lett..
Mandayam K. Srivas, Chilukuri K. Mohan, M. Srivas, 1986, Inf. Control..
Mandayam K. Srivas, Peter Schrammel, Kumar Madhukar, 2017, ATVA.
Mandayam K. Srivas, Deepak Kapur, Chilukuri K. Mohan, 1987, FSTTCS.
Mark Bickford, Mandayam K. Srivas, M. Srivas, 1989, Hardware Specification, Verification and Synthesis.
Ganesh Gopalakrishnan, Ravi Hosabettu, Mandayam K. Srivas, 1999, CHARME.
Mandayam K. Srivas, Pallab Dasgupta, Rajdeep Mukherjee, 2014, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Ganesh Gopalakrishnan, Ravi Hosabettu, Mandayam K. Srivas, 2003, IEEE Design & Test of Computers.
Mandayam K. Srivas, Chilukuri K. Mohan, M. Srivas, 1989, RTA.
Mandayam K. Srivas, Steven P. Miller, 1995 .
Natarajan Shankar, Mandayam K. Srivas, John M. Rushby, 1996, FMCAD.
Ganesh Gopalakrishnan, Ravi Hosabettu, Mandayam K. Srivas, 1999, CAV 1999.
Mandayam K. Srivas, David Cyrluk, M. Srivas, 1995, Proceedings of ICCD '95 International Conference on Computer Design. VLSI in Computers and Processors.
Daniel Kroening, Mandayam K. Srivas, Ravindra Metta, 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Natarajan Shankar, Mandayam K. Srivas, Harald Ruess, 1996, CAV.
Ganesh Gopalakrishnan, Ravi Hosabettu, Mandayam K. Srivas, 1998, CAV.
Mandayam K. Srivas, Ganesch C. Gopalakrishnan, David Smith, 1985 .
Mandayam K. Srivas, Peter Schrammel, Anand Yeolekar, 2017, ATVA.
Mandayam K. Srivas, Kumar Madhukar, Diganta Mukhopadhyay, 2021, ArXiv.
Mandayam K. Srivas, M. Srivas, P. Steven, 1995 .
Daniel Kroening, Mandayam K. Srivas, Björn Wachter, 2015, 2015 Formal Methods in Computer-Aided Design (FMCAD).