关注
Sudeep Juvekar
Sudeep Juvekar
UC Berkeley, 2007 - 2010
在 eecs.berkeley.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Fast statistical alignment
RK Bradley, A Roberts, M Smoot, S Juvekar, J Do, C Dewey, I Holmes, ...
PLoS computational biology 5 (5), e1000392, 2009
4032009
Sniff: A search engine for java using free-form queries
S Chatterjee, S Juvekar, K Sen
Fundamental Approaches to Software Engineering: 12th International …, 2009
2242009
WISE: Automated test generation for worst-case complexity
J Burnim, S Juvekar, K Sen
2009 IEEE 31st International Conference on Software Engineering, 463-473, 2009
1732009
Minimizing generalized Büchi automata
S Juvekar, N Piterman
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
282006
Bound analysis using backward symbolic execution
S Gulwani, S Juvekar
Technical Report MSR-TR-2004–95, Microsoft Research, 2009
152009
Computing a symbolic bound for a procedure
S Gulwani, FF Zuleger, SD Juvekar
US Patent 8,752,029, 2014
122014
Path slicing per object for better testing, debugging, and usage discovery
S Juvekar, J Burnim, K Sen
EECS Department, University of California, Berkeley, Tech. Rep, 2009
62009
Approximate symbolic reachability of networks of transition systems
S Juvekar, A Taly, V Kanade, S Chakraborty
Next Generation Design and Verification Methodologies for Distributed …, 2007
22007
Efficient approximate symbolic reachability of discrete-timed digital circuits
S Juvekar, A Taly, V Kanade, S Chakraborty
12008
Minimization of Büchi Automata
S Juvekar, S Chakraborty
Indian Institute of Technology, Bombay, 2005
2005
Vis3D is a 3D mesh generator, wireframe editor and renderer. It is a software that allows you to create polygonal objects, merge them together, perform actions on them (extrude …
C Karande, S Juvekar
Efficient Symbolic Reachability of Networks of Transition Systems
S Juvekar, A Taly, V Kanade, S Chakraborty
Guided Symbolic Reachability using Reachability Expressions and Matrices
S Juvekar
Indian Institute of Technology, Bombay Mumbai, 0
Guided Symbolic Reachability using Partitioning
S Juvekar
Indian Institute of Technology, Bombay Mumbai, 0
Fast Statistical Alignment: Text S1
RK Bradley, A Roberts, M Smoot, S Juvekar, J Do, C Dewey, I Holmes, ...
Efficient Symbolic Reachability using Partitioning
S Juvekar
系统目前无法执行此操作,请稍后再试。
文章 1–16