BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Canada
4 × USA
Collaborated with:
D.Kapur N.Shankar R.Hosabettu G.Gopalakrishnan S.Rajan C.K.Mohan J.Hsiang H.Rueß S.Owre J.M.Rushby
Talks about:
check (4) proof (3) data (3) abstract (2) rewrit (2) model (2) type (2) microarchitectur (1) microprocessor (1) decompos (1)

Person: Mandayam K. Srivas

DBLP DBLP: Srivas:Mandayam_K=

Contributed to:

CAV 20002000
CAV 19981998
CAV 19961996
CAV 19951995
RTA 19891989
POPL 19801980
TAPSOFT, Vol.1: CAAP 19851985
TAPSOFT, Vol.2: CSE 19851985

Wrote 9 papers:

CAV-2000-HosabettuGS #architecture #exception #verification
Verifying Advanced Microarchitectures that Support Speculation and Exceptions (RH, GG, MKS), pp. 521–537.
CAV-1998-HosabettuSG #correctness #pipes and filters #proving
Decomposing the Proof of Correctness of pipelined Microprocessors (RH, MKS, GG), pp. 122–134.
CAV-1996-OwreRRSS #model checking #named #proving #specification
PVS: Combining Specification, Proof Checking, and Model Checking (SO, SR, JMR, NS, MKS), pp. 411–414.
CAV-1996-RuessSS #composition #verification
Modular Verification of SRT Division (HR, NS, MKS), pp. 123–134.
CAV-1995-RajanSS #automation #integration #model checking #proving
An Integration of Model Checking with Automated Proof Checking (SR, NS, MKS), pp. 84–97.
RTA-1989-MohanS #logic
Negation with Logical Variables in Conditional Rewriting (CKM, MKS), pp. 292–310.
POPL-1980-KapurM #abstraction #set
Expressiveness of the Operation Set of a Data Abstraction (DK, MKS), pp. 139–153.
CAAP-1985-KapurS #approach #data type #rule-based
A Rewrite Rule Based Approach for Synthesizing Abstract Data Types (DK, MKS), pp. 188–207.
CSE-1985-HsiangS #data type #prolog #reasoning
A PROLOG Environment for Developing and Reasoning about Data Types (JH, MKS), pp. 276–293.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.