Search results for "Murali Sitaraman"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman	Making mathematical reasoning fun: tool-assisted, collaborative techniques.	ACM Southeast Regional Conference	2012	DBLP DOI BibTeX RDF
1	Gregory Kulczycki, Hampton Smith, Heather K. Harton, Murali Sitaraman, William F. Ogden, Joseph E. Hollingsworth	The Location Linking Concept: A Basis for Verification of Code Using Pointers.	VSTTE	2012	DBLP DOI BibTeX RDF
1	Kalyan C. Regula, Hampton Smith, Heather Keown, Jason O. Hallstrom, Nigamanth Sridhar, Murali Sitaraman	A Case Study in Verification of Embedded Network Software.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Joan Krone, Doug Baldwin, Jeffrey C. Carver, Joseph E. Hollingsworth, Amruth N. Kumar, Murali Sitaraman	Teaching mathematical reasoning across the curriculum.	SIGCSE	2012	DBLP DOI BibTeX RDF
1	Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman	Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only).	SIGCSE	2012	DBLP DOI BibTeX RDF
1	Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide	Building a push-button RESOLVE verifier: Progress and challenges.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone	Making mathematical reasoning fun: tool-assisted, collaborative techniques.	ACM Southeast Regional Conference	2011	DBLP DOI BibTeX RDF
1	Doug Baldwin, Bill Marion, Murali Sitaraman, Cinda Heeren	Some developments in mathematical thinking for computer science education since computing curricula 2001.	SIGCSE	2010	DBLP DOI BibTeX RDF	computer science education, mathematics, computing curricula 2001
1	Murali Sitaraman, Jason O. Hallstrom, Jarred White, Svetlana Drachova-Strang, Heather K. Harton, Dana P. Leonard, Joan Krone, Rich Pak	Engaging students in specification and reasoning: "hands-on" experimentation and evaluation.	ITiCSE	2009	DBLP DOI BibTeX RDF	mathematical thinking, education, components, tools
1	Jason O. Hallstrom, Joan Krone, Murali Sitaraman	Courseware for teaching analytical reasoning principles: a hands-on laboratory.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF
1	Nighat Yasmin, Murali Sitaraman	Compositional performance prediction exemplified using generic object finalization analysis.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	performance prediction, compositional analysis
1	Dana P. Leonard, Jason O. Hallstrom, Murali Sitaraman	Injecting rapid feedback and collaborative reasoning in teaching specifications.	SIGCSE	2009	DBLP DOI BibTeX RDF	collaborative reasoning, contract programming, formal methods, interface specifications, learning tools
1	Hampton Smith, Heather K. Harton, David Frazier, Raghuveer Mohan, Murali Sitaraman	Generating Verified Java Components through RESOLVE.	ICSR	2009	DBLP DOI BibTeX RDF
1	Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide	Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?	ICSR	2009	DBLP DOI BibTeX RDF
1	Gregory Kulczycki, Murali Sitaraman, Kimberly Roche, Nighat Yasmin	Formal Specification.	Wiley Encyclopedia of Computer Science and Engineering	2008	DBLP DOI BibTeX RDF
1	Heather K. Harton, Murali Sitaraman, Joan Krone	Formal Program Verification.	Wiley Encyclopedia of Computer Science and Engineering	2008	DBLP DOI BibTeX RDF
1	Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier	Incremental Benchmarks for Software Verification Tools and Techniques.	VSTTE	2008	DBLP DOI BibTeX RDF
1	Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide	Abstracting Pointers for a Verifying Compiler.	SEW	2007	DBLP DOI BibTeX RDF
1	Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev	A specification-based approach to reasoning about pointers.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	heap memory management, pointer specification, reasoning
1	Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump	Roadmap for enhanced languages and methods to aid verification.	GPCE	2006	DBLP DOI BibTeX RDF	verified software grand challenge, verification, annotations, programming languages, tools, specification languages, program generation, correctness by construction
1	Yoonsik Cheon, Gary T. Leavens, Murali Sitaraman, Stephen H. Edwards	Model variables: cleanly supporting abstraction in design by contract.	Softw., Pract. Exper.	2005	DBLP DOI BibTeX RDF
1	Bruce W. Weide, Paolo Bucci, Wayne D. Heym, Murali Sitaraman, Giorgio Rizzoni	Issues in performance certification for high-level automotive control software.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF
1	Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth	Contract-Checking Wrappers for C++ Classes.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	Assertion checkers, binary components, class invariants, specification, preconditions, design by contract, postconditions, debugging aids, coding techniques
1	John M. Hunt, Murali Sitaraman	Enhancements - Enabling Flexible Feature and Implementation Selection.	ICSR	2004	DBLP DOI BibTeX RDF	multiple implementations, patterns and RESOLVE, Java, Components, interfaces, maintenance, objects
1	Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang	A Formal Approach to Component-Based Software Engineering: Education and Evaluation.	ICSE	2001	DBLP DOI BibTeX RDF
1	Murali Sitaraman, Gregory Kulczycki, Joan Krone, William F. Ogden, A. L. Narasimha Reddy	Performance specification of software components.	SSR	2001	DBLP DOI BibTeX RDF	generic objects, time & space analysis, data structures, storage management
1	Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth	Reasoning about Software-Component Behavior.	ICSR	2000	DBLP DOI BibTeX RDF
1	Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman	Client view first: an exodus from implementation-biased teaching.	SIGCSE	1999	DBLP DOI BibTeX RDF	programming languages, recursion
1	Edward A. Addy, Murali Sitaraman	Formal Specification of COTS-Based Software: A Case Study.	SSR	1999	DBLP DOI BibTeX RDF	verification, testing, specification, COTS products, RESOLVE
1	Murali Sitaraman, Maggie Davis, Premkumar T. Devanbu, Jeffrey S. Poulin, Alexander Ran, Bruce W. Weide	Reuse Research: Contributions, Problems and Non-Problems.	SSR	1999	DBLP DOI BibTeX RDF
1	Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden	A Data Abstraction Alternative to Data Structure/Algorithm Modularization.	Generic Programming	1998	DBLP DOI BibTeX RDF
1	Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Stephen H. Edwards	Providing intellectual focus to CS1/CS2.	SIGCSE	1998	DBLP DOI BibTeX RDF
1	Murali Sitaraman, Bruce W. Weide, William F. Ogden	On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	abstraction function, abstraction mapping, abstraction relation, formal specification, program verification, greedy algorithm, Abstract data type, relation, nondeterminism, optimization problem, data abstraction
1	David Fleming, Murali Sitaraman, Sethu Sreerama	A Practical Performance Criterion for Object Interface Design.	JOOP	1997	DBLP BibTeX RDF
1	Sethu Sreerama, David Fleming, Murali Sitaraman	Graceful Object-Based Performance Evolution.	Softw., Pract. Exper.	1997	DBLP DOI BibTeX RDF
1	Murali Sitaraman	Impact of Performance Considerations on Formal Specification Design.	Formal Asp. Comput.	1996	DBLP DOI BibTeX RDF
1	Tao Fang, A. L. Narasimha Reddy, George Rinard, Murali Sitaraman	Distributed Execution of Object-Based Software.	Parallel and Distributed Computing and Systems	1995	DBLP BibTeX RDF
1	Bruce W. Weide, William F. Ogden, Murali Sitaraman	Recasting Algorithms to Encourage Reuse.	IEEE Software	1994	DBLP DOI BibTeX RDF	machine-oriented view, black-box reuse, spanning-forest algorithm, recasting, object-oriented programming, sorting, graph algorithm, objects, software reusability, sorting algorithm, performance trade-offs
1	Murali Sitaraman, Michael B. Feldman, Gary A. Ford, William B. Frakes, Joseph E. Hollingsworth, David F. McAllister, Bruce W. Weide	What Changes Are Needed For Undergraduate CS Curricula to Educate ``Software Engineers''?	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
1	Murali Sitaraman, Lonnie R. Welch, Douglas E. Harms	On Specification of Reusable Software Components.	International Journal of Software Engineering and Knowledge Engineering	1993	DBLP DOI BibTeX RDF
1	Murali Sitaraman, Jeff Gray	Software Reuse: A Context for Introducing Software Engineering Principles in a Traditional Computer Science Second Course.	TRI-Ada	1993	DBLP DOI BibTeX RDF	Ada
1	Murali Sitaraman	Performance-Parameterized Reusable Software Components.	International Journal of Software Engineering and Knowledge Engineering	1992	DBLP DOI BibTeX RDF
1	Murali Sitaraman	A class of programming language mechanisms to facilitate multiple implementations of the same specification.	ICCL	1992	DBLP DOI BibTeX RDF

Publications of "Murali Sitaraman" ( http://dblp.L3S.de/Authors/Murali_Sitaraman )