Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration. - Murali Rangarajan; John Penix; Perry Alexander; Philip A. Wilsey (Annual Simulation Symposium, 1997)

ORBIT: An Environment for Component-Based Heterogeneous Design and Analysis. - Nael B. Abu-Ghazaleh; Murali Rangarajan; Darryl D. Dieckman; Perry Alexander; Philip A. Wilsey (ECBS, 1999)

Using Automatable Proof Obligations for Component-Based Design Checking. - Murali Rangarajan; Perry Alexander; Nael B. Abu-Ghazaleh (ECBS, 1999)

A Brief Summary of VSPEC. - Perry Alexander; Murali Rangarajan; Phillip Baraona (World Congress on Formal Methods, 1999)

IEEE ECBS'99 TC Architecture Working Group (AWG) Report. - Tim O'Neill; John Leaney; David Rowe; Hugo Simpson; Murali Rangarajan; Jurgen Weiss; Zoltán Papp; Ted Bapty; Byron Purves; Gábor Horváth; Edwin D. de Jong (ECBS, 2000)

On the Design of ORBIT. - Murali Rangarajan; Iqbal Mutabanna; Darryl D. Dieckman; Badar Farooqi; Amitvikram Rajkhowa; Sarjoun Doumit; Arun Venkataraman; Cindy Kong; Roshan Kamath; Perry Alexander; Nael B. Abu-Ghazaleh (ECBS, 2000)

Composing Specifications in VSPEC. - Arun Venkataraman; Murali Rangarajan; Perry Alexander (ICFEM, 2000)

VSPEC and Its Integrated Tool Suite. - Murali Rangarajan; Kshama Jambhekar; Amitvikram Rajkhowa; Perry Alexander (ECBS, 2002)

Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. - Darren D. Cofer; Murali Rangarajan (EMSOFT, 2002)

Model-Checking Complex Software - A Memory Perspective. - Murali Rangarajan; Darren D. Cofer (RISSEF, 2002)

Formal Verification of Overhead Accounting in an Avionics RTOS. - Darren D. Cofer; Murali Rangarajan (RTSS, 2002)

Simulation and verification II: event-triggered environments for verification of real-time systems. - Darren D. Cofer; Murali Rangarajan (WSC, 2003)

Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. - Vu Ha; Murali Rangarajan; Darren D. Cofer; Harald Rueß; Bruno Dutertre (ICSE, 2004)

Analysis of Distributed Spin Applied to Industrial-Scale Models. - Murali Rangarajan; Samar Dajani-Brown; Kirk Schloegel; Darren D. Cofer (SPIN, 2004)

Computing Worst-Case Response Times in Real-Time Avionics Applications. - Murali Rangarajan; Darren D. Cofer (FMICS, 2007)

G-Lets: Signal Processing Using Transformation Groups - B. Rajathilagam; Murali Rangarajan; K. P. Soman (CoRR, 2012)

Intelligent soil quality monitoring system for judicious irrigation. - J. P. Guruprasadh; A. Harshananda; I K. Keerthana; Rachana; K. Yadu Krishnan; Murali Rangarajan; Shiju Sathyadevan (ICACCI, 2017)

Edge detection using G-lets based on matrix factorization by group representations. - Rajathilagam B; Murali Rangarajan (Pattern Recognit., 2017)