Murali Rangarajan

Publication Activity (10 Years)

Years Active: 1997-2017
Publications (10 Years): 2

Top Topics

Matrix Factorization

Factorization Methods

Top Venues

Pattern Recognit.

Publications

Rajathilagam B, Murali Rangarajan
Edge detection using G-lets based on matrix factorization by group representations. Pattern Recognit. 67 (2017)
J. P. Guruprasadh, A. Harshananda, I K. Keerthana, Rachana, K. Yadu Krishnan, Murali Rangarajan, Shiju Sathyadevan
Intelligent soil quality monitoring system for judicious irrigation. ICACCI (2017)
B. Rajathilagam, Murali Rangarajan, K. P. Soman
G-Lets: Signal Processing Using Transformation Groups CoRR (2012)
Murali Rangarajan, Darren D. Cofer
Computing Worst-Case Response Times in Real-Time Avionics Applications. FMICS (2007)
Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. ICSE (2004)
Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer
Analysis of Distributed Spin Applied to Industrial-Scale Models. SPIN (2004)
Darren D. Cofer, Murali Rangarajan
Simulation and verification II: event-triggered environments for verification of real-time systems. WSC (2003)
Murali Rangarajan, Kshama Jambhekar, Amitvikram Rajkhowa, Perry Alexander
VSPEC and Its Integrated Tool Suite. ECBS (2002)
Darren D. Cofer, Murali Rangarajan
Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. EMSOFT (2002)
Darren D. Cofer, Murali Rangarajan
Formal Verification of Overhead Accounting in an Avionics RTOS. RTSS (2002)
Murali Rangarajan, Darren D. Cofer
Model-Checking Complex Software - A Memory Perspective. RISSEF (2002)
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
On the Design of ORBIT. ECBS (2000)
Arun Venkataraman, Murali Rangarajan, Perry Alexander
Composing Specifications in VSPEC. ICFEM (2000)
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
IEEE ECBS'99 TC Architecture Working Group (AWG) Report. ECBS (2000)
Perry Alexander, Murali Rangarajan, Phillip Baraona
A Brief Summary of VSPEC. World Congress on Formal Methods (1999)
Nael B. Abu-Ghazaleh, Murali Rangarajan, Darryl D. Dieckman, Perry Alexander, Philip A. Wilsey
ORBIT: An Environment for Component-Based Heterogeneous Design and Analysis. ECBS (1999)
Murali Rangarajan, Perry Alexander, Nael B. Abu-Ghazaleh
Using Automatable Proof Obligations for Component-Based Design Checking. ECBS (1999)
Murali Rangarajan, John Penix, Perry Alexander, Philip A. Wilsey
Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration. Annual Simulation Symposium (1997)