Philip Koopman

Phil Koopman, Philip J. Koopman Jr.

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

42EEPhilip Koopman, Henrique Madeira: Message from the conference general chair and coordinator. DSN 2008
41EEPhilip Koopman: Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract). LADC 2007: 1-2
40EEJustin Ray, Philip Koopman: Efficient High Hamming Distance CRCs for Embedded Networks. DSN 2006: 3-12
39EEMichael 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
38EEElizabeth Latronico, Philip Koopman: Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms. DSN 2005: 486-495
37EEJennifer Morris, Philip Koopman: Representing design tradeoffs in safety-critical systems. ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005)
36EEPhilip 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)
35EEPhilip Koopman, Tridib Chakravarty: Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks. DSN 2004: 145-
34EEElizabeth Latronico, Paul S. Miner, Philip Koopman: Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. DSN 2004: 275-284
33EECharles P. Shelton, Philip Koopman: Improving System Dependability with Functional Alternatives. DSN 2004: 295-
32EEJennifer Morris, Daniel Kroening, Philip Koopman: Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems. DSN 2004: 377-
31EEChristopher 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
29EEPhilip Koopman: Embedded System Security. IEEE Computer 37(7): 95-97 (2004)
28EECharles 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
27EEPhilip Koopman, Robert R. Hoffman: Work-arounds, Make-work, and Kludges. IEEE Intelligent Systems 18(6): 70-75 (2003)
26EEJohn DeVale, Philip Koopman: Robust Software - No More Excuses. DSN 2002: 145-154
25EEPhilip 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
23EEPhilip Koopman, Henrique Madeira: Workshop on Dependability Benchmarking. DSN 2002: 790-791
22EEOrna Raz, Philip Koopman, Mary Shaw: Semantic anomaly detection in online data sources. ICSE 2002: 302-312
21EECharles P. Shelton, Philip Koopman: Using Architectural Properties to Model and Measure Graceful Degradation. WADS 2002: 267-289
20EEMeredith Beveridge, Philip Koopman: Jini Meets Embedded Control Networking: A Case Study in Portability Failure. WORDS 2002: 11-18
19EEOrna Raz, Philip Koopman, Mary Shaw: Enabling automatic adaptation in systems with under-specified elements. WOSS 2002: 55-60
18EEPhilip Koopman: Guest Editor's Introduction: Critical Embedded Automotive Networks. IEEE Micro 22(4): 14-18 (2002)
17EEJiantao 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
16EEJohn DeVale, Philip Koopman: Performance Evaluation of Exception Handling in I/O Libraries. DSN 2001: 519
15EEElizabeth Latronico, Philip Koopman: Representing Embedded System Sequence Diagrams as a Formal Language. UML 2001: 302-316
14EESharad 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
12EECharles P. Shelton, Philip Koopman, Kobey Devale: Robustness Testing of the Microsoft Win32 API. DSN 2000: 261-
11EEPhil Koopman, John DeVale: The Exception Handling Effectiveness of POSIX Operating Systems. IEEE Trans. Software Eng. 26(9): 837-848 (2000)
10EEPhilip Koopman, John DeVale: Comparing the Robustness of POSIX Operating Systems. FTCS 1999: 30-37
9EECarol 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
8EEArjun Cholkar, Philip Koopman: A widely deployable Web-based network simulation framework using CORBA IDL-based APIs. Winter Simulation Conference 1999: 1587-1594
7 Nathan P. Kropp, Philip J. Koopman Jr., Daniel P. Siewiorek: Automated Robustness Testing of Off-the-Shelf Software Components. FTCS 1998: 230-239
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
5EEPhilip Koopman: Embedded System Design Issues (The Rest of the Story). ICCD 1996: 310-
4EEPhilip 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)
2 Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek: Cache Performance of Combinator Graph Reduction. ICCL 1990: 39-48
1 Philip J. Koopman Jr., Peter Lee: A Fresh Look at Combinator Graph Reduction. PLDI 1989: 110-119

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)