Phil Koopman, Philip J. Koopman Jr.
List of publications from the DBLP Bibliography Server - FAQ
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 |