Philip Koopman

Phil Koopman, Philip J. Koopman Jr.

2008
42	EE	Philip Koopman, Henrique Madeira: Message from the conference general chair and coordinator. DSN 2008
2007
41	EE	Philip Koopman: Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract). LADC 2007: 1-2
2006
40	EE	Justin Ray, Philip Koopman: Efficient High Hamming Distance CRCs for Embedded Networks. DSN 2006: 3-12
2005
39	EE	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	EE	Elizabeth Latronico, Philip Koopman: Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms. DSN 2005: 486-495
37	EE	Jennifer Morris, Philip Koopman: Representing design tradeoffs in safety-critical systems. ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005)
36	EE	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	EE	Philip Koopman, Tridib Chakravarty: Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks. DSN 2004: 145-
34	EE	Elizabeth Latronico, Paul S. Miner, Philip Koopman: Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. DSN 2004: 275-284
33	EE	Charles P. Shelton, Philip Koopman: Improving System Dependability with Functional Alternatives. DSN 2004: 295-
32	EE	Jennifer Morris, Daniel Kroening, Philip Koopman: Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems. DSN 2004: 377-
31	EE	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	EE	Philip Koopman: Embedded System Security. IEEE Computer 37(7): 95-97 (2004)
2003
28	EE	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	EE	Philip Koopman, Robert R. Hoffman: Work-arounds, Make-work, and Kludges. IEEE Intelligent Systems 18(6): 70-75 (2003)
2002
26	EE	John DeVale, Philip Koopman: Robust Software - No More Excuses. DSN 2002: 145-154
25	EE	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	EE	Philip Koopman, Henrique Madeira: Workshop on Dependability Benchmarking. DSN 2002: 790-791
22	EE	Orna Raz, Philip Koopman, Mary Shaw: Semantic anomaly detection in online data sources. ICSE 2002: 302-312
21	EE	Charles P. Shelton, Philip Koopman: Using Architectural Properties to Model and Measure Graceful Degradation. WADS 2002: 267-289
20	EE	Meredith Beveridge, Philip Koopman: Jini Meets Embedded Control Networking: A Case Study in Portability Failure. WORDS 2002: 11-18
19	EE	Orna Raz, Philip Koopman, Mary Shaw: Enabling automatic adaptation in systems with under-specified elements. WOSS 2002: 55-60
18	EE	Philip Koopman: Guest Editor's Introduction: Critical Embedded Automotive Networks. IEEE Micro 22(4): 14-18 (2002)
2001
17	EE	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	EE	John DeVale, Philip Koopman: Performance Evaluation of Exception Handling in I/O Libraries. DSN 2001: 519
15	EE	Elizabeth Latronico, Philip Koopman: Representing Embedded System Sequence Diagrams as a Formal Language. UML 2001: 302-316
2000
14	EE	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	EE	Charles P. Shelton, Philip Koopman, Kobey Devale: Robustness Testing of the Microsoft Win32 API. DSN 2000: 261-
11	EE	Phil Koopman, John DeVale: The Exception Handling Effectiveness of POSIX Operating Systems. IEEE Trans. Software Eng. 26(9): 837-848 (2000)
1999
10	EE	Philip Koopman, John DeVale: Comparing the Robustness of POSIX Operating Systems. FTCS 1999: 30-37
9	EE	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	EE	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	EE	Philip Koopman: Embedded System Design Issues (The Rest of the Story). ICCD 1996: 310-
1992
4	EE	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	[14]
2	Meredith Beveridge	[20]
3	Rebecca B. Buchheit	[30]
4	Tridib Chakravarty	[35]
5	Arjun Cholkar	[8]
6	Howie Choset	[36]
7	Aaron Collins	[3]
8	John DeVale	[10] [11] [16] [26]
9	Kobey Devale	[12]
10	Christopher P. Dingman	[6]
11	Kevin Driscoll	[39]
12	Christos Faloutsos	[30]
13	Rajeev Gandhi	[36]
14	Robert Gruber	[17]
15	Brendan Hall	[39]
16	Jeffery P. Hansen	[9]
17	Gunter Heiner	[24]
18	Robert R. Hoffman	[27]
19	Carol L. Hoover	[9]
20	Yennun Huang	[17]
21	Ravishankar K. Iyer (Ravi K. Iyer)	[24]
22	Mimi Ling Jiang	[17]
23	Zbigniew Kalbarczyk	[24]
24	Karama Kanoun	[24]
25	William F. Keown Jr.	[3]
26	Daniel Kroening (Daniel Kröning)	[32]
27	Bruce H. Krogh	[36]
28	Nathan P. Kropp	[7]
29	Elizabeth Latronico	[15] [34] [38] [39]
30	Edward A. Lee	[14]
31	Peter Lee	[1] [2] [4]
32	Haim Levendel	[24]
33	Henrique Madeira	[23] [24] [42]
34	Sharad Malik	[14]
35	Diana Marculescu	[36]
36	Christopher Martin	[31]
37	Ted Marz	[6]
38	Paul S. Miner	[34]
39	Jennifer Morris	[32] [37] [39]
40	Brendan Murphy	[24]
41	William Nace	[13] [28]
42	Priya Narasimhan	[36]
43	Jiantao Pan	[17]
44	JoAnn M. Paul	[36]
45	Michael Paulitsch	[39]
46	Ragunathan Rajkumar	[36]
47	Justin Ray	[40]
48	Orna Raz	[19] [22] [30]
49	Alberto L. Sangiovanni-Vincentelli	[14]
50	Mary Shaw	[19] [22] [30]
51	Charles P. Shelton	[12] [21] [28] [33]
52	Daniel P. Siewiorek	[2] [4] [6] [7] [17] [36]
53	Asim Smailagic	[36]
54	Peter Steenkiste	[36]
55	John Sung	[6]
56	Sandeep Tamboli	[9]
57	Donald E. Thomas	[36]
58	Lawrence G. Votta	[24]
59	Chenxi Wang	[36]
60	Don Wilson	[24]
61	Wayne Wolf	[14]

Colors in the list of coauthors