A Fresh Look at Combinator Graph Reduction. - Philip J. Koopman Jr.; Peter Lee 001 (PLDI, 1989)

Cache Performance of Combinator Graph Reduction. - Philip J. Koopman Jr.; Peter Lee 001; Daniel P. Siewiorek (ICCL, 1990)

Embedded control as a path to Forth acceptance. - Philip J. Koopman Jr. (FORTH, 1991)

Performance of the HARRIS RTX 2000 Stack Architecture versus the Sun 4 SPARC and the Sun 3 M68020 Architectures. - William F. Keown Jr.; Philip J. Koopman Jr.; Aaron Collins (SIGARCH Comput. Archit. News, 1992)

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. - William F. Keown Jr.; Philip J. Koopman Jr.; Aaron Collins (SIGMETRICS Perform. Evaluation Rev., 1992)

Cache Behavior of Combinator Graph Reduction. - Philip J. Koopman Jr.; Peter Lee 001; Daniel P. Siewiorek (ACM Trans. Program. Lang. Syst., 1992)

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

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

Automated Robustness Testing of Off-the-Shelf Software Components. - Nathan P. Kropp; Philip J. Koopman Jr.; Daniel P. Siewiorek (FTCS, 1998)

Using CAD Tools for Embedded System Design: Obstacles Encountered in an Automotive Case Study. - Philip Koopman (Integr. Comput. Aided Eng., 1998)

Orthogonal Capability Building Blocks for Flexible AHS Deployment. - Philip Koopman; Michelle Bayouth (J. Intell. Transp. Syst., 1998)

Comparing the Robustness of POSIX Operating Systems. - Philip Koopman; John DeVale (FTCS, 1999)

The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing. - Carol L. Hoover; Jeffery P. Hansen; Philip Koopman; Sandeep Tamboli (HASE, 1999)

Robustness testing of a distributed simulation backplane. - Kimberly Fernsler; Philip Koopman (ISSRE, 1999)

A widely deployable Web-based network simulation framework using CORBA IDL-based APIs. - Arjun Cholkar; Philip Koopman (WSC, 1999)

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

Robustness Testing of the Microsoft Win32 API. - Charles P. Shelton; Philip Koopman; Kobey Devale (DSN, 2000)

A Product Family Approach to Graceful Degradation. - William Nace; Phil Koopman (DIPES, 2000)

The Exception Handling Effectiveness of POSIX Operating Systems. - Phil Koopman; John DeVale (IEEE Trans. Software Eng., 2000)

Performance Evaluation of Exception Handling in I/O Libraries. - John DeVale; Philip Koopman (DSN, 2001)

Robustness Testing and Hardening of CORBA ORB Implementations. - Jiantao Pan; Philip Koopman; Daniel P. Siewiorek; Yennun Huang; Robert Gruber; Mimi Ling Jiang (DSN, 2001)

Representing Embedded System Sequence Diagrams as a Formal Language. - Elizabeth Latronico; Philip Koopman (UML, 2001)

Robust Software - No More Excuses. - John DeVale; Philip Koopman (DSN, 2002)

Joint Panel - IPDS and Workshop on Dependability Benchmarking. - Ravishankar K. Iyer; Zbigniew Kalbarczyk; Philip Koopman; Henrique Madeira; Gunter Heiner; Karama Kanoun; Haim Levendel; Brendan Murphy; Lawrence G. Votta; Don Wilson (DSN, 2002)

32-Bit Cyclic Redundancy Codes for Internet Applications. - Philip Koopman (DSN, 2002)

Workshop on Dependability Benchmarking. - Philip Koopman; Henrique Madeira (DSN, 2002)

Semantic anomaly detection in online data sources. - Orna Raz; Philip Koopman; Mary Shaw (ICSE, 2002)

Using Architectural Properties to Model and Measure Graceful Degradation. - Charles P. Shelton; Philip Koopman (WADS, 2002)

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

Enabling automatic adaptation in systems with under-specified elements. - Orna Raz; Philip Koopman; Mary Shaw (WOSS, 2002)

Guest Editor's Introduction: Critical Embedded Automotive Networks. - Philip Koopman (IEEE Micro, 2002)

A Framework for Scalable Analysis and Design of System-wide Graceful Degradation in Distributed Embedded Systems. - Charles P. Shelton; Philip Koopman; William Nace (WORDS, 2003)

Work-arounds, Make-work, and Kludges. - Philip Koopman; Robert R. Hoffman (IEEE Intell. Syst., 2003)

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

Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. - Elizabeth Latronico; Paul S. Miner; Philip Koopman (DSN, 2004)

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

Improving System Dependability with Functional Alternatives. - Charles P. Shelton; Philip Koopman (DSN, 2004)

Representing User Workarounds as a Component of System Dependability. - Christopher Martin 004; Philip Koopman (PRDC, 2004)

Automated Assistance for Eliciting User Expectations. - Orna Raz; Rebecca B. Buchheit; Mary Shaw; Philip Koopman; Christos Faloutsos (SEKE, 2004)

Embedded System Security. - Philip Koopman (Computer, 2004)

Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms. - Elizabeth Latronico; Philip Koopman (DSN, 2005)

Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems. - Michael Paulitsch; Jennifer Morris; Brendan Hall; Kevin Driscoll 001; Elizabeth Latronico; Philip Koopman (DSN, 2005)

Representing design tradeoffs in safety-critical systems. - Jennifer Morris; Philip Koopman (ACM SIGSOFT Softw. Eng. Notes, 2005)

Undergraduate embedded system education at Carnegie Mellon. - 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; et al. (ACM Trans. Embed. Comput. Syst., 2005)

Efficient High Hamming Distance CRCs for Embedded Networks. - Justin Ray; Philip Koopman (DSN, 2006)

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

Message from the conference general chair and coordinator. - Philip Koopman; Henrique Madeira (DSN, 2008)

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

System safety as an emergent property in composite systems. - Jennifer Black; Philip Koopman (DSN, 2009)

Data management mechanisms for embedded system gateways. - Justin Ray; Philip Koopman (DSN, 2009)

Flexible multicast authentication for time-triggered embedded control network applications. - Christopher Szilagyi; Philip Koopman (DSN, 2009)

The Effectiveness of Checksums for Embedded Control Networks. - Theresa C. Maxino; Philip J. Koopman Jr. (IEEE Trans. Dependable Secur. Comput., 2009)

Better Embedded System Software. - Philip Koopman (Drumnadrochit Press, 2010)

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

Risk areas in embedded software industry projects. - Philip Koopman (WESE, 2010)

Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways. - Philip Koopman; Justin Ray (MMB/DFT, 2010)

Hardware/Software Codesign of Aerospace and Automotive Systems. - Ahmed Abdallah; Eric M. Feron; Graham R. Hellestrand; Philip J. Koopman Jr.; Marilyn Wolf (Proc. IEEE, 2010)

Ride-through for Autonomous Vehicles. - Aaron Kane; Philip Koopman (CARS@SAFECOMP, 2013)

Integrity in Embedded Control Networks. - Philip Koopman; Christopher Szilagyi (IEEE Secur. Priv., 2013)

Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report. - Aaron Kane; Thomas E. Fuhrman; Philip Koopman (DSN, 2014)

Learning product set models of fault triggers in high-dimensional software interfaces. - Paul Vernaza; David Guttendorf; Michael Wagner 007; Philip Koopman (IROS, 2015)

A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System. - Aaron Kane; Omar Chowdhury; Anupam Datta; Philip Koopman (RV, 2015)

Challenges in Autonomous Vehicle Validation: Keynote Presentation Abstract. - Philip Koopman (SCAV@CPSWeek, 2017)

Autonomous Vehicle Safety: An Interdisciplinary Challenge. - Philip Koopman; Michael Wagner 007 (IEEE Intell. Transp. Syst. Mag., 2017)

Robustness testing of autonomy software. - Casidhe Hutchison; Milda Zizyte; Patrick E. Lanigan; David Guttendorf; Michael Wagner 007; Claire Le Goues; Philip Koopman (ICSE (SEIP), 2018)

Practical Experience Report: Automotive Safety Practices vs. Accepted Principles. - Philip Koopman (SAFECOMP, 2018)

Putting Image Manipulations in Context: Robustness Testing for Safe Perception. - Zachary Pezzementi; Trenton Tabor; Samuel Yim; Jonathan K. Chang; Bill Drozd; David Guttendorf; Michael Wagner 007; Philip Koopman (SSRR, 2018)

Righting Wrongs [Letter to the Editor]. - Philip Koopman (IEEE Consumer Electron. Mag., 2018)

How Many Operational Design Domains, Objects, and Events? - Philip Koopman; Frank Fratrik (SafeAI@AAAI, 2019)

A Safety Standard Approach for Fully Autonomous Vehicles. - Philip Koopman; Uma Ferrell; Frank Fratrik; Michael Wagner 007 (SAFECOMP Workshops, 2019)

Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety. - Philip Koopman; Beth Osyk; Jack Weast (SAFECOMP, 2019)

Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety (Expanded Version). - Philip Koopman; Beth Osyk; Jack Weast (CoRR, 2019)

Robustness Inside Out Testing. - Deborah S. Katz; Milda Zizyte; Casidhe Hutchison; David Guttendorf; Patrick E. Lanigan; Eric M. Sample; Philip Koopman; Michael Wagner 007; Claire Le Goues (DSN (Supplements), 2020)

Positive Trust Balance for Self-driving Car Deployment. - Philip Koopman; Michael Wagner 007 (SAFECOMP Workshops, 2020)

The Importance of Safety Invariants in Robustness Testing Autonomy Systems. - Milda Zizyte; Casidhe Hutchison; Raewyn Duvall; Claire Le Goues; Philip Koopman (DSN (Supplements), 2021)

Ethics, Safety, and Autonomous Vehicles. - Philip Koopman; Benjamin Kuipers; William H. Widen; Marilyn Wolf (Computer, 2021)

Perception robustness testing at different levels of generality. - Zachary Pezzementi; Trenton Tabor; Jonathan K. Chang; Carter Tiernan; Bill Drozd; Eric M. Sample; Chris Hazard; Michael Wagner 007; Philip Koopman (Field Robotics, 2021)

Keynote 1: How Safe Is Safe Enough for Autonomous Vehicles? - Philip Koopman (ISSRE Workshops, 2022)

A Reasonable Driver Standard for Automated Vehicle Safety. - Philip Koopman; William H. Widen (SAFECOMP Workshops, 2023)

Large-Block Modular Addition Checksum Algorithms. - Philip Koopman (CoRR, 2023)

An Improved Modular Addition Checksum Algorithm. - Philip Koopman (CoRR, 2023)

UL 4600: What to Include in an Autonomous Vehicle Safety Case. - Philip Koopman (Computer, 2023)

Active Learning Omnivariate Decision Trees for Fault Diagnosis in Robotic Systems. - Casidhe Hutchison; Milda Zizyte; David Guttendorf; Claire Le Goues; Philip Koopman (DSN-S, 2024)

Anatomy of a Robotaxi Crash: Lessons from the Cruise Pedestrian Dragging Mishap. - Philip Koopman (SAFECOMP, 2024)

Redefining Safety for Autonomous Vehicles. - Philip Koopman; William H. Widen (SAFECOMP, 2024)

Lessons from the Cruise Robotaxi Pedestrian Dragging Mishap. - Philip Koopman (CoRR, 2024)

Methods and Tools for the Engineering and Assurance of Safe Autonomous Systems (Dagstuhl Seminar 24151). - Elena Troubitsyna; Ignacio J. Alvarez; Philip Koopman; Mario Trapp (Dagstuhl Reports, 2024)

Safety Ethics for Design and Test of Automated Driving Features. - Philip Koopman; William H. Widen (IEEE Des. Test, 2024)