Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Shriram Krishnamurthi

Shriram Krishnamurthi is a computer scientist, currently a professor of computer science at Brown University and a member of the core development… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Abstract In a battery pack, cell-to-cell chemical variation, or the variation in operating conditions, can possibly lead to… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
2016
2016
Koushik Ramadoss,1,* Nirajan Mandal,2,3 Xia Dai,4 Zhong Wan,2 You Zhou,5 Leonid Rokhinson,2,3,6 Yong P. Chen,2,3,6 Jiangpin Hu,2… Expand
  • figure 1
  • figure 2
  • figure 4
2015
2015
To my family, especially my wife, Alicia, and my daughter, Frances iv ACKNOWLEDGEMENTS I wish to thank my advisor, Surya… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2014
2014
In recent years, Web sites evolved into ever more complex distributed applications. But current Web programming tools are not… Expand
  • figure 1
2011
2011
Compressed Sensing (CS) is an emerging field that enables reconstruction of a sparse signal $x \in {\mathbb R} ^n$ that has only… Expand
  • figure 1
  • figure 2
  • figure 3
2008
2008
Today's business process orchestration languages such as WS-BPEL and BPML have high-level constructs for specifying flow of… Expand
  • figure 1
  • figure 3
  • figure 2
  • table 1
Highly Cited
2006
Highly Cited
2006
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2005
2005
Provides a natural semantics for a subset of XACML, a language for the specification of access-control policies. Presents the key… Expand
  • table 4
  • table 6
  • table 5
  • figure 3
  • figure 4
2005
2005
This paper presents a theory of Object-Oriented concepts embedded shallowly in HOL for the verification of OO analysis models… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2001
Highly Cited
2001
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4