Murali Rangarajan

2007
15	EE	Murali Rangarajan, Darren D. Cofer: Computing Worst-Case Response Times in Real-Time Avionics Applications. FMICS 2007: 101-114
2004
14	EE	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: 304-313
13	EE	Murali Rangarajan, Samar Dajani-Brown, Kirk Schloegel, Darren D. Cofer: Analysis of Distributed Spin Applied to Industrial-Scale Models. SPIN 2004: 267-285
2003
12	EE	Darren D. Cofer, Murali Rangarajan: Simulation and verification II: event-triggered environments for verification of real-time systems. Winter Simulation Conference 2003: 915-922
2002
11	EE	Murali Rangarajan, Kshama Jambhekar, Amitvikram Rajkhowa, Perry Alexander: VSPEC and Its Integrated Tool Suite. ECBS 2002: 27-34
10	EE	Darren D. Cofer, Murali Rangarajan: Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. EMSOFT 2002: 138-152
9	EE	Darren D. Cofer, Murali Rangarajan: Formal Verification of Overhead Accounting in an Avionics RTOS. IEEE Real-Time Systems Symposium 2002: 181-190
8	EE	Murali Rangarajan, Darren D. Cofer: Model-Checking Complex Software - A Memory Perspective. RISSEF 2002: 283-296
2000
7	EE	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: 110-
6	EE	Tim O'Neill, John Leaney, David Rowe, Hugo Simpson, Murali Rangarajan, Jurgen Weiss, Zoltan Papp, Ted Bapty, Byron Purves, Gábor Horváth, Edwin D. de Jong: IEEE ECBS'99 TC Architecture Working Group (AWG) Report. ECBS 2000: 383-389
5	EE	Arun Venkataraman, Murali Rangarajan, Perry Alexander: Composing Specifications in VSPEC. ICFEM 2000: 45-
1999
4	EE	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: 122-128
3	EE	Murali Rangarajan, Perry Alexander, Nael B. Abu-Ghazaleh: Using Automatable Proof Obligations for Component-Based Design Checking. ECBS 1999: 304-310
2	EE	Perry Alexander, Murali Rangarajan, Phillip Baraona: A Brief Summary of VSPEC. World Congress on Formal Methods 1999: 1068-1086
1997
1	EE	Murali Rangarajan, John Penix, Perry Alexander, Philip A. Wilsey: Gravity: An Object-Oriented Framework for Hardware/Software Tool Integration. Annual Simulation Symposium 1997: 24-30

Coauthor Index

1	Nael B. Abu-Ghazaleh	[3] [4] [7]
2	Perry Alexander	[1] [2] [3] [4] [5] [7] [11]
3	Ted Bapty	[6]
4	Phillip Baraona	[2]
5	Darren D. Cofer	[8] [9] [10] [12] [13] [14] [15]
6	Samar Dajani-Brown	[13]
7	Darryl D. Dieckman	[4] [7]
8	Sarjoun Doumit	[7]
9	Bruno Dutertre	[14]
10	Badar Farooqi	[7]
11	Vu Ha	[14]
12	Gábor Horváth	[6]
13	Kshama Jambhekar	[11]
14	Edwin D. de Jong	[6]
15	Roshan Kamath	[7]
16	Cindy Kong	[7]
17	John Leaney	[6]
18	Iqbal Mutabanna	[7]
19	Tim O'Neill	[6]
20	Zoltan Papp	[6]
21	John Penix	[1]
22	Byron Purves	[6]
23	Amitvikram Rajkhowa	[7] [11]
24	David Rowe	[6]
25	Harald Rueß	[14]
26	Kirk Schloegel	[13]
27	Hugo Simpson	[6]
28	Arun Venkataraman	[5] [7]
29	Jurgen Weiss	[6]
30	Philip A. Wilsey	[1] [4]

Colors in the list of coauthors