Philip Koopman

Phil Koopman, Philip J. Koopman Jr.

	2009
46		Christopher Szilagyi, Philip Koopman: Flexible multicast authentication for time-triggered embedded control network applications. DSN 2009: 165-174
45		Justin Ray, Philip Koopman: Data management mechanisms for embedded system gateways. DSN 2009: 175-184
44		Jennifer Black, Philip Koopman: System safety as an emergent property in composite systems. DSN 2009: 369-378
	2008
43		Philip Koopman, Henrique Madeira: Message from the conference general chair and coordinator. DSN 2008
42		Jennifer Black, Philip Koopman: Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems. PRDC 2008: 184-191
	2007
41		Philip Koopman: Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract). LADC 2007: 1-2
	2006
40		Justin Ray, Philip Koopman: Efficient High Hamming Distance CRCs for Embedded Networks. DSN 2006: 3-12
	2005
39		Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll, Elizabeth Latronico, Philip Koopman: Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems. DSN 2005: 346-355
38		Elizabeth Latronico, Philip Koopman: Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms. DSN 2005: 486-495
37		Jennifer Morris, Philip Koopman: Representing design tradeoffs in safety-critical systems. ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005)
36		Philip Koopman, Howie Choset, Rajeev Gandhi, Bruce H. Krogh, Diana Marculescu, Priya Narasimhan, JoAnn M. Paul, Ragunathan Rajkumar, Daniel P. Siewiorek, Asim Smailagic, Peter Steenkiste, Donald E. Thomas, Chenxi Wang: Undergraduate embedded system education at Carnegie Mellon. ACM Trans. Embedded Comput. Syst. 4(3): 500-528 (2005)
	2004
35		Philip Koopman, Tridib Chakravarty: Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks. DSN 2004: 145-
34		Elizabeth Latronico, Paul S. Miner, Philip Koopman: Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. DSN 2004: 275-284
33		Charles P. Shelton, Philip Koopman: Improving System Dependability with Functional Alternatives. DSN 2004: 295-
32		Jennifer Morris, Daniel Kroening, Philip Koopman: Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems. DSN 2004: 377-
31		Christopher Martin, Philip Koopman: Representing User Workarounds as a Component of System Dependability. PRDC 2004: 353-362
30		Orna Raz, Rebecca B. Buchheit, Mary Shaw, Philip Koopman, Christos Faloutsos: Automated Assistance for Eliciting User Expectations. SEKE 2004: 80-85
29		Philip Koopman: Embedded System Security. IEEE Computer 37(7): 95-97 (2004)
	2003
28		Charles P. Shelton, Philip Koopman, William Nace: A Framework for Scalable Analysis and Design of System-wide Graceful Degradation in Distributed Embedded Systems. WORDS 2003: 156-163
27		Philip Koopman, Robert R. Hoffman: Work-arounds, Make-work, and Kludges. IEEE Intelligent Systems 18(6): 70-75 (2003)
	2002
26		John DeVale, Philip Koopman: Robust Software - No More Excuses. DSN 2002: 145-154
25		Philip Koopman: 32-Bit Cyclic Redundancy Codes for Internet Applications. DSN 2002: 459-472
24		Ravishankar K. Iyer, Zbigniew Kalbarczyk, Philip Koopman, Henrique Madeira, Gunter Heiner, Karama Kanoun, Haim Levendel, Brendan Murphy, Lawrence G. Votta, Don Wilson: Joint Panel - IPDS and Workshop on Dependability Benchmarking. DSN 2002
23		Philip Koopman, Henrique Madeira: Workshop on Dependability Benchmarking. DSN 2002: 790-791
22		Orna Raz, Philip Koopman, Mary Shaw: Semantic anomaly detection in online data sources. ICSE 2002: 302-312
21		Charles P. Shelton, Philip Koopman: Using Architectural Properties to Model and Measure Graceful Degradation. WADS 2002: 267-289
20		Meredith Beveridge, Philip Koopman: Jini Meets Embedded Control Networking: A Case Study in Portability Failure. WORDS 2002: 11-18
19		Orna Raz, Philip Koopman, Mary Shaw: Enabling automatic adaptation in systems with under-specified elements. WOSS 2002: 55-60
18		Philip Koopman: Guest Editor's Introduction: Critical Embedded Automotive Networks. IEEE Micro 22(4): 14-18 (2002)
	2001
17		Jiantao Pan, Philip Koopman, Daniel P. Siewiorek, Yennun Huang, Robert Gruber, Mimi Ling Jiang: Robustness Testing and Hardening of CORBA ORB Implementations. DSN 2001: 141-150
16		John DeVale, Philip Koopman: Performance Evaluation of Exception Handling in I/O Libraries. DSN 2001: 519
15		Elizabeth Latronico, Philip Koopman: Representing Embedded System Sequence Diagrams as a Formal Language. UML 2001: 302-316
	2000
14		Sharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne Wolf: Embedded systems education (panel abstract). DAC 2000: 519
13		William Nace, Phil Koopman: A Product Family Approach to Graceful Degradation. DIPES 2000: 131-140
12		Charles P. Shelton, Philip Koopman, Kobey Devale: Robustness Testing of the Microsoft Win32 API. DSN 2000: 261-
11		Phil Koopman, John DeVale: The Exception Handling Effectiveness of POSIX Operating Systems. IEEE Trans. Software Eng. 26(9): 837-848 (2000)
	1999
10		Philip Koopman, John DeVale: Comparing the Robustness of POSIX Operating Systems. FTCS 1999: 30-37
9		Carol L. Hoover, Jeffery P. Hansen, Philip Koopman, Sandeep Tamboli: The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing. HASE 1999: 207-216
8		Arjun Cholkar, Philip Koopman: A widely deployable Web-based network simulation framework using CORBA IDL-based APIs. Winter Simulation Conference 1999: 1587-1594
	1998
7		Nathan P. Kropp, Philip J. Koopman Jr., Daniel P. Siewiorek: Automated Robustness Testing of Off-the-Shelf Software Components. FTCS 1998: 230-239
	1997
6		Philip J. Koopman Jr., John Sung, Christopher P. Dingman, Daniel P. Siewiorek, Ted Marz: Comparing Operating Systems Using Robustness Benchmarks. SRDS 1997: 72-79
	1996
5		Philip Koopman: Embedded System Design Issues (The Rest of the Story). ICCD 1996: 310-
	1992
4		Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek: Cache Behavior of Combinator Graph Reduction. ACM Trans. Program. Lang. Syst. 14(2): 265-297 (1992)
3		William F. Keown Jr., Philip J. Koopman Jr., Aaron Collins: Real-Time Performance of the HARRIS RTX 2000 Stack Architecture Versus the Sun 4 SPARC and the Sun 3 M68020 Architectures With a Proposed Real-Time Performance BenchMark. SIGMETRICS Performance Evaluation Review 19(4): 40-48 (1992)
	1990
2		Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek: Cache Performance of Combinator Graph Reduction. ICCL 1990: 39-48
	1989
1		Philip J. Koopman Jr., Peter Lee: A Fresh Look at Combinator Graph Reduction. PLDI 1989: 110-119

Coauthor Index

1	D. K. Arvind (Damal Kandadai Arvind)	[14]
2	Meredith Beveridge	[20]
3	Jennifer Black	[42] [44]
4	Rebecca B. Buchheit	[30]
5	Tridib Chakravarty	[35]
6	Arjun Cholkar	[8]
7	Howie Choset	[36]
8	Aaron Collins	[3]
9	John DeVale	[10] [11] [16] [26]
10	Kobey Devale	[12]
11	Christopher P. Dingman	[6]
12	Kevin Driscoll	[39]
13	Christos Faloutsos	[30]
14	Rajeev Gandhi	[36]
15	Robert Gruber	[17]
16	Brendan Hall	[39]
17	Jeffery P. Hansen	[9]
18	Gunter Heiner	[24]
19	Robert R. Hoffman	[27]
20	Carol L. Hoover	[9]
21	Yennun Huang	[17]
22	Ravishankar K. Iyer (Ravi K. Iyer)	[24]
23	Mimi Ling Jiang	[17]
24	Zbigniew Kalbarczyk	[24]
25	Karama Kanoun	[24]
26	William F. Keown Jr.	[3]
27	Daniel Kroening (Daniel Kröning)	[32]
28	Bruce H. Krogh	[36]
29	Nathan P. Kropp	[7]
30	Elizabeth Latronico	[15] [34] [38] [39]
31	Edward A. Lee	[14]
32	Peter Lee	[1] [2] [4]
33	Haim Levendel	[24]
34	Henrique Madeira	[23] [24] [43]
35	Sharad Malik	[14]
36	Diana Marculescu	[36]
37	Christopher Martin	[31]
38	Ted Marz	[6]
39	Paul S. Miner	[34]
40	Jennifer Morris	[32] [37] [39]
41	Brendan Murphy	[24]
42	William Nace	[13] [28]
43	Priya Narasimhan	[36]
44	Jiantao Pan	[17]
45	JoAnn M. Paul	[36]
46	Michael Paulitsch	[39]
47	Ragunathan Rajkumar	[36]
48	Justin Ray	[40] [45]
49	Orna Raz	[19] [22] [30]
50	Alberto L. Sangiovanni-Vincentelli	[14]
51	Mary Shaw	[19] [22] [30]
52	Charles P. Shelton	[12] [21] [28] [33]
53	Daniel P. Siewiorek	[2] [4] [6] [7] [17] [36]
54	Asim Smailagic	[36]
55	Peter Steenkiste	[36]
56	John Sung	[6]
57	Christopher Szilagyi	[46]
58	Sandeep Tamboli	[9]
59	Donald E. Thomas	[36]
60	Lawrence G. Votta	[24]
61	Chenxi Wang	[36]
62	Don Wilson	[24]
63	Marilyn Wolf (Wayne Wolf, Wayne Hendrix Wolf)	[14]

Colors in the list of coauthors