Murali Rangarajan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
1999–2007
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | FMICS | Computing Worst-Case Response Times in Real-Time Avionics Applications. | Murali Rangarajan, Darren D. Cofer |
| 2004 | ICSE | 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 |
| 2003 | WSC | Simulation and verification II: event-triggered environments for verification of real-time systems. | Darren D. Cofer, Murali Rangarajan |
| 2002 | EMSOFT | Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. | Darren D. Cofer, Murali Rangarajan |
| 2002 | RTSS | Formal Verification of Overhead Accounting in an Avionics RTOS. | Darren D. Cofer, Murali Rangarajan |
| 2000 | ICFEM | Composing Specifications in VSPEC. | Arun Venkataraman, Murali Rangarajan, Perry Alexander |
| 1999 | FM | A Brief Summary of VSPEC. | Perry Alexander, Murali Rangarajan, Phillip Baraona |