Murali Rangarajan

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