On Design and Implementation of an Embedded Automatic Speech Recognition System. - Sujay Phadke; Rhishikesh Limaye; Siddharth Verma; Kavitha Subramanian (VLSI Design, 2004)

Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic. - Susmit Jha; Rhishikesh Limaye; Sanjit A. Seshia (CAV, 2009)

On the Computational Complexity of Satisfiability Solving for String Theories - Susmit Jha; Sanjit A. Seshia; Rhishikesh Limaye (CoRR, 2009)

Trace-Based Symbolic Analysis for Atomicity Violations. - Chao Wang 001; Rhishikesh Limaye; Malay K. Ganai; Aarti Gupta (TACAS, 2010)

Correct and non-defensive glue design using abstract models. - Stavros Tripakis; Hugo A. Andrade; Arkadeb Ghosal; Rhishikesh Limaye; Kaushik Ravindran; Guoqiang Wang; Guang Yang; Jacob Kornerup; Ian C. Wong (CODES+ISSS, 2011)

Symbolic predictive analysis for concurrent programs. - Chao Wang 001; Sudipta Kundu; Rhishikesh Limaye; Malay K. Ganai; Aarti Gupta (Formal Aspects Comput., 2011)

Static dataflow with access patterns: semantics and analysis. - Arkadeb Ghosal; Rhishikesh Limaye; Kaushik Ravindran; Stavros Tripakis; Ankita Prasad; Guoqiang Wang; Trung N. Tran; Hugo A. Andrade (DAC, 2012)

Tools for deploying dataflow models on FPGA targets. - Kaushik Ravindran; Arkadeb Ghosal; Rhishikesh Limaye; Hugo A. Andrade; Alejandro Asenjo; Takao Inoue; Douglas Kim; Ankita Prasad; Trung N. Tran; Mike Trimborn; Guoqiang Wang; Guang Yang (DASIP, 2012)

Analysis techniques for static dataflow models with access patterns. - Kaushik Ravindran; Arkadeb Ghosal; Rhishikesh Limaye; Guoqiang Wang; Guang Yang; Hugo A. Andrade (DASIP, 2012)

Early timing estimation for system-level design using FPGAs (abstract only). - Hugo A. Andrade; Arkadeb Ghosal; Rhishikesh Limaye; Sadia Malik; Newton Petersen; Kaushik Ravindran; Trung N. Tran; Guoqiang Wang; Guang Yang (FPGA, 2012)

Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets. - Kaushik Ravindran; Arkadeb Ghosal; Rhishikesh Limaye; Douglas Kim; Hugo A. Andrade; Jeff Correll; Jacob Kornerup; Ian C. Wong; Gerald Wang; Guang Yang; Amal Ekbal; Mike Trimborn; et al. (Embedded Systems Development, From Functional Models to Implementations, 2014)

On tokens and signals: Bridging the semantic gap between dataflow models and hardware implementations. - Stavros Tripakis; Rhishikesh Limaye; Kaushik Ravindran; Guoqiang Wang (ICSAMOS, 2014)

Specification of precise timing in synchronous dataflow models. - Patricia Derler; Kaushik Ravindran; Rhishikesh Limaye (MEMOCODE, 2016)

Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware. - Stavros Tripakis; Rhishikesh Limaye; Kaushik Ravindran; Guoqiang Wang; Hugo A. Andrade; Arkadeb Ghosal (J. Signal Process. Syst., 2016)