Murali Rangarajan

According to our database, Murali Rangarajan authored at least 18 papers between 1997 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Edge detection using G-lets based on matrix factorization by group representations.

Rajathilagam B, Murali Rangarajan

Pattern Recognit., 2017

Intelligent soil quality monitoring system for judicious irrigation.

J. P. Guruprasadh, A. Harshananda, I K. Keerthana, Rachana, K. Yadu Krishnan, Murali Rangarajan, Shiju Sathyadevan

Proceedings of the 2017 International Conference on Advances in Computing, 2017

2012

G-Lets: Signal Processing Using Transformation Groups

B. Rajathilagam, Murali Rangarajan, K. P. Soman

CoRR, 2012

2007

Computing Worst-Case Response Times in Real-Time Avionics Applications.

Murali Rangarajan, Darren D. Cofer

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

2004

Analysis of Distributed Spin Applied to Industrial-Scale Models.

Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer

Proceedings of the Model Checking Software, 2004

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

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

Simulation and verification II: event-triggered environments for verification of real-time systems.

Darren D. Cofer, Murali Rangarajan

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

2002

Formal Verification of Overhead Accounting in an Avionics RTOS.

Darren D. Cofer, Murali Rangarajan

Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

Model-Checking Complex Software - A Memory Perspective.

Murali Rangarajan, Darren D. Cofer

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS.

Darren D. Cofer, Murali Rangarajan

Proceedings of the Embedded Software, Second International Conference, 2002

VSPEC and Its Integrated Tool Suite.

Murali Rangarajan, Kshama Jambhekar, Amitvikram Rajkhowa, Perry Alexander

Proceedings of the 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 2002

2000

Composing Specifications in VSPEC.

Arun Venkataraman, Murali Rangarajan, Perry Alexander

Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 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

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

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

Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

1999

A Brief Summary of VSPEC.

Perry Alexander, Murali Rangarajan, Phillip Baraona

Proceedings of the FM'99 - Formal Methods, 1999

Using Automatable Proof Obligations for Component-Based Design Checking.

Murali Rangarajan, Perry Alexander, Nael B. Abu-Ghazaleh

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

ORBIT: An Environment for Component-Based Heterogeneous Design and Analysis.

Nael B. Abu-Ghazaleh, Murali Rangarajan, Darryl D. Dieckman, Perry Alexander, Philip A. Wilsey

Proceedings of the 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 1999

1997

Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration.

Murali Rangarajan, John Penix, Perry Alexander, Philip A. Wilsey

Proceedings of the Proceedings 30st Annual Simulation Symposium (SS '97), April 7-9, 1997, 1997