Travelled to:1 × France
1 × Israel
1 × Switzerland
2 × Canada
5 × USA
Collaborated with:B.W.Weide C.T.Cook ∅ J.Gray J.E.Hollingsworth S.Drachova-Strang H.K.Harton W.F.Ogden J.O.Hallstrom J.Krone H.Smith T.J.Long E.J.Harner L.Wang Y.Sun J.C.Carver D.P.Jacobs M.B.Feldman G.A.Ford W.B.Frakes D.F.McAllister J.White D.P.Leonard R.Pak G.T.Leavens J.Abrial D.S.Batory M.J.Butler A.Coglio K.Fisler E.C.R.Hehner C.B.Jones D.Miller S.L.P.Jones D.R.Smith A.Stump
Talks about:softwar (4) reason (4) engin (4) specif (3) composit (2) approach (2) perform (2) verif (2) evalu (2) educ (2)
♂ Person: Murali Sitaraman
DBLP: Sitaraman:Murali
Facilitated 1 volumes:
PrCoContributed to:
2013
2012
20122009
2006200220012001
19941993Wrote 10 papers:
- CSEET-2013-CookDSSCH #ide #reasoning #specification #using #web
- Specification and reasoning in SE projects using a Web IDE (CTC, SDS, YSS, MS, JCC, JEH), pp. 229–238.
- ICSE-2012-CookHSS #compilation #composition #specification #using #verification
- Specification engineering and modular verification using a web-integrated verifying compiler (CTC, HKH, HS, MS), pp. 1379–1382.
- ITiCSE-2012-CookDHHJKS #abstraction #approach #education #modelling
- A systematic approach to teaching abstraction and mathematical modeling (CTC, SDS, JOH, JEH, DPJ, JK, MS), pp. 357–362.
- ITiCSE-2009-SitaramanHWDHLKP #evaluation #reasoning #specification #student
- Engaging students in specification and reasoning: “hands-on” experimentation and evaluation (MS, JOH, JW, SDS, HKH, DPL, JK, RP), pp. 50–54.
- GPCE-2006-LeavensABBCFHJMJSSS #roadmap #verification
- Roadmap for enhanced languages and methods to aid verification (GTL, JRA, DSB, MJB, AC, KF, ECRH, CBJ, DM, SLPJ, MS, DRS, AS), pp. 221–236.
- CBSE-2003-WeideOS #composition #performance #reasoning
- Expressiveness Issues in Compositional Performance Reasoning (BWW, WFO, MS), p. 15.
- CBSE-2001-Sitaraman #composition #performance #reasoning
- Compositional Performance Reasoning (MS), p. 19.
- ICSE-2001-SitaramanLWHW #approach #component #education #evaluation #formal method #re-engineering
- A Formal Approach to Component-Based Software Engineering: Education and Evaluation (MS, TJL, BWW, EJH, LW), pp. 601–609.
- TRI-Ada-1994-SitaramanFFFHMW #education #question #what
- What Changes Are Needed For Undergraduate CS Curricula to Educate “Software Engineers”? (MS, MBF, GAF, WBF, JEH, DFM, BWW), p. 220.
- TRI-Ada-1993-SitaramanG #re-engineering #reuse
- Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course (MS, JG), pp. 137–146.