Philip Koopman

Robert S. Swarz, Philip Koopman, Michel Cukier (Eds.): IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2012, Boston, MA, USA, June 25-28, 2012. IEEE Computer Society 2012, isbn 978-1-4673-1624-8

Philip Koopman: Better Embedded System Software. Drumnadrochit Press 2010, isbn 978-0-9844490-0-2, pp. I-XXVI, 1-368

Ahmed Abdallah, Eric M. Feron, Graham R. Hellestrand, Philip J. Koopman Jr., Marilyn Wolf: Hardware/Software Codesign of Aerospace and Automotive Systems. Proceedings of the IEEE 98(4): 584-602 (2010)

Christopher Szilagyi, Philip Koopman: Low cost multicast authentication via validity voting in time-triggered embedded control networks. WESS 2010: 10

Philip Koopman, Justin Ray: Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways. MMB/DFT 2010: 1

Christopher Szilagyi, Philip Koopman: Flexible multicast authentication for time-triggered embedded control network applications. DSN 2009: 165-174

Justin Ray, Philip Koopman: Data management mechanisms for embedded system gateways. DSN 2009: 175-184

Jennifer Black, Philip Koopman: System safety as an emergent property in composite systems. DSN 2009: 369-378

Philip Koopman, Henrique Madeira: Message from the conference general chair and coordinator. DSN 2008

Jennifer Black, Philip Koopman: Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems. PRDC 2008: 184-191

Philip Koopman: Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract). LADC 2007: 1-2

Justin Ray, Philip Koopman: Efficient High Hamming Distance CRCs for Embedded Networks. DSN 2006: 3-12

Jennifer Morris, Philip Koopman: Representing design tradeoffs in safety-critical systems. ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005)

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)

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

Elizabeth Latronico, Philip Koopman: Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms. DSN 2005: 486-495

Philip Koopman: Embedded System Security. IEEE Computer 37(7): 95-97 (2004)

Philip Koopman, Tridib Chakravarty: Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks. DSN 2004: 145-

Elizabeth Latronico, Paul S. Miner, Philip Koopman: Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. DSN 2004: 275-284

Charles P. Shelton, Philip Koopman: Improving System Dependability with Functional Alternatives. DSN 2004: 295-

Jennifer Morris, Daniel Kroening, Philip Koopman: Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems. DSN 2004: 377-

Christopher Martin, Philip Koopman: Representing User Workarounds as a Component of System Dependability. PRDC 2004: 353-362

Orna Raz, Rebecca B. Buchheit, Mary Shaw, Philip Koopman, Christos Faloutsos: Automated Assistance for Eliciting User Expectations. SEKE 2004: 80-85

Philip Koopman, Robert R. Hoffman: Work-arounds, Make-work, and Kludges. IEEE Intelligent Systems 18(6): 70-75 (2003)

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

Philip Koopman: Guest Editor's Introduction: Critical Embedded Automotive Networks. IEEE Micro 22(4): 14-18 (2002)

John DeVale, Philip Koopman: Robust Software - No More Excuses. DSN 2002: 145-154

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

Philip Koopman: 32-Bit Cyclic Redundancy Codes for Internet Applications. DSN 2002: 459-472

Philip Koopman, Henrique Madeira: Workshop on Dependability Benchmarking. DSN 2002: 790-791

Charles P. Shelton, Philip Koopman: Using Architectural Properties to Model and Measure Graceful Degradation. WADS 2002: 267-289

Orna Raz, Philip Koopman, Mary Shaw: Semantic anomaly detection in online data sources. ICSE 2002: 302-312

Meredith Beveridge, Philip Koopman: Jini Meets Embedded Control Networking: A Case Study in Portability Failure. WORDS 2002: 11-18

Orna Raz, Philip Koopman, Mary Shaw: Enabling automatic adaptation in systems with under-specified elements. WOSS 2002: 55-60

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

John DeVale, Philip Koopman: Performance Evaluation of Exception Handling in I/O Libraries. DSN 2001: 519

Elizabeth Latronico, Philip Koopman: Representing Embedded System Sequence Diagrams as a Formal Language. UML 2001: 302-316

Phil Koopman, John DeVale: The Exception Handling Effectiveness of POSIX Operating Systems. IEEE Trans. Software Eng. 26(9): 837-848 (2000)

Sharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne Wolf: Embedded systems education (panel abstract). DAC 2000: 519

Charles P. Shelton, Philip Koopman, Kobey Devale: Robustness Testing of the Microsoft Win32 API. DSN 2000: 261-270

William Nace, Phil Koopman: A Product Family Approach to Graceful Degradation. DIPES 2000: 131-140

Philip Koopman, John DeVale: Comparing the Robustness of POSIX Operating Systems. FTCS 1999: 30-37

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

Arjun Cholkar, Philip Koopman: A widely deployable Web-based network simulation framework using CORBA IDL-based APIs. Winter Simulation Conference 1999: 1587-1594

Nathan P. Kropp, Philip J. Koopman Jr., Daniel P. Siewiorek: Automated Robustness Testing of Off-the-Shelf Software Components. FTCS 1998: 230-239

Philip J. Koopman Jr., John Sung, Christopher P. Dingman, Daniel P. Siewiorek, Ted Marz: Comparing Operating Systems Using Robustness Benchmarks. SRDS 1997: 72-79

Philip Koopman: Embedded System Design Issues (The Rest of the Story). ICCD 1996: 310-

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)

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)

Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek: Cache Performance of Combinator Graph Reduction. ICCL 1990: 39-48

Philip J. Koopman Jr., Peter Lee: A Fresh Look at Combinator Graph Reduction. PLDI 1989: 110-119