Philip Koopman

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 25

Top Topics

Practical Experience

Autonomous Vehicles

Top Venues

SAFECOMP Workshops

Publications

Philip Koopman, William H. Widen
Redefining Safety for Autonomous Vehicles. CoRR (2024)
Philip Koopman
Anatomy of a Robotaxi Crash: Lessons from the Cruise Pedestrian Dragging Mishap. CoRR (2024)
Philip Koopman, William H. Widen
Safety Ethics for Design and Test of Automated Driving Features. IEEE Des. Test 41 (1) (2024)
Philip Koopman
Lessons from the Cruise Robotaxi Pedestrian Dragging Mishap. CoRR (2024)
Philip Koopman
UL 4600: What to Include in an Autonomous Vehicle Safety Case. Computer 56 (5) (2023)
Philip Koopman
Large-Block Modular Addition Checksum Algorithms. CoRR (2023)
Philip Koopman
An Improved Modular Addition Checksum Algorithm. CoRR (2023)
Philip Koopman, William H. Widen
A Reasonable Driver Standard for Automated Vehicle Safety. SAFECOMP Workshops (2023)
Philip Koopman
Keynote 1: How Safe Is Safe Enough for Autonomous Vehicles? ISSRE Workshops (2022)
Milda Zizyte, Casidhe Hutchison, Raewyn Duvall, Claire Le Goues, Philip Koopman
The Importance of Safety Invariants in Robustness Testing Autonomy Systems. DSN (Supplements) (2021)
Zachary Pezzementi, Trenton Tabor, Jonathan K. Chang, Carter Tiernan, Bill Drozd, Eric M. Sample, Chris Hazard, Michael D. Wagner, Philip Koopman
Perception robustness testing at different levels of generality. Field Robotics 1 (1) (2021)
Philip Koopman, Benjamin Kuipers, William H. Widen, Marilyn Wolf
Ethics, Safety, and Autonomous Vehicles. Computer 54 (12) (2021)
Philip Koopman, Michael D. Wagner
Positive Trust Balance for Self-Driving Car Deployment. CoRR (2020)
Deborah S. Katz, Milda Zizyte, Casidhe Hutchison, David Guttendorf, Patrick E. Lanigan, Eric Sample, Philip Koopman, Michael D. Wagner, Claire Le Goues
Robustness Inside Out Testing. DSN (Supplements) (2020)
Philip Koopman, Michael D. Wagner
Positive Trust Balance for Self-driving Car Deployment. SAFECOMP Workshops (2020)
Philip Koopman, Uma Ferrell, Frank Fratrik, Michael D. Wagner
A Safety Standard Approach for Fully Autonomous Vehicles. SAFECOMP Workshops (2019)
Philip Koopman, Beth Osyk, Jack Weast
Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety (Expanded Version). CoRR (2019)
Philip Koopman, Beth Osyk, Jack Weast
Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety. SAFECOMP (2019)
Philip Koopman, Frank Fratrik
How Many Operational Design Domains, Objects, and Events? SafeAI@AAAI (2019)
Philip Koopman
Practical Experience Report: Automotive Safety Practices vs. Accepted Principles. SAFECOMP (2018)
Philip Koopman
Righting Wrongs [Letter to the Editor]. IEEE Consumer Electron. Mag. 7 (1) (2018)
Casidhe Hutchison, Milda Zizyte, Patrick E. Lanigan, David Guttendorf, Michael D. Wagner, Claire Le Goues, Philip Koopman
Robustness testing of autonomy software. ICSE (SEIP) (2018)
Zachary Pezzementi, Trenton Tabor, Samuel Yim, Jonathan K. Chang, Bill Drozd, David Guttendorf, Michael Wagner, Philip Koopman
Putting Image Manipulations in Context: Robustness Testing for Safe Perception. SSRR (2018)
Philip Koopman
Challenges in Autonomous Vehicle Validation: Keynote Presentation Abstract. SCAV@CPSWeek (2017)
Philip Koopman, Michael D. Wagner
Autonomous Vehicle Safety: An Interdisciplinary Challenge. IEEE Intell. Transp. Syst. Mag. 9 (1) (2017)
Paul Vernaza, David Guttendorf, Michael Wagner, Philip Koopman
Learning product set models of fault triggers in high-dimensional software interfaces. IROS (2015)
Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman
A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System. RV (2015)
Aaron Kane, Thomas E. Fuhrman, Philip Koopman
Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report. DSN (2014)
Aaron Kane, Philip Koopman
Ride-through for Autonomous Vehicles. CARS@SAFECOMP (2013)
Philip Koopman, Christopher Szilagyi
Integrity in Embedded Control Networks. IEEE Secur. Priv. 11 (3) (2013)
Philip Koopman
Risk areas in embedded software industry projects. WESE (2010)
Philip Koopman, Justin Ray
Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways. MMB/DFT (2010)
Christopher Szilagyi, Philip Koopman
Low cost multicast authentication via validity voting in time-triggered embedded control networks. WESS (2010)
Christopher Szilagyi, Philip Koopman
Flexible multicast authentication for time-triggered embedded control network applications. DSN (2009)
Jennifer Black, Philip Koopman
System safety as an emergent property in composite systems. DSN (2009)
Justin Ray, Philip Koopman
Data management mechanisms for embedded system gateways. DSN (2009)
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)
Philip Koopman
Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract). LADC (2007)
Justin Ray, Philip Koopman
Efficient High Hamming Distance CRCs for Embedded Networks. DSN (2006)
Jennifer Morris, Philip Koopman
Representing design tradeoffs in safety-critical systems. WADS@ICSE (2005)
Jennifer Morris, Philip Koopman
Representing design tradeoffs in safety-critical systems. ACM SIGSOFT Softw. Eng. Notes 30 (4) (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)
Elizabeth Latronico, Philip Koopman
Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms. DSN (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. Embed. Comput. Syst. 4 (3) (2005)
Philip Koopman
Embedded System Security. Computer 37 (7) (2004)
Philip Koopman, Tridib Chakravarty
Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks. DSN (2004)
Charles P. Shelton, Philip Koopman
Improving System Dependability with Functional Alternatives. DSN (2004)
Christopher Martin, Philip Koopman
Representing User Workarounds as a Component of System Dependability. PRDC (2004)
Elizabeth Latronico, Paul S. Miner, Philip Koopman
Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees. DSN (2004)
Orna Raz, Rebecca B. Buchheit, Mary Shaw, Philip Koopman, Christos Faloutsos
Automated Assistance for Eliciting User Expectations. SEKE (2004)
Jennifer Morris, Daniel Kroening, Philip Koopman
Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems. DSN (2004)
Philip Koopman, Robert R. Hoffman
Work-arounds, Make-work, and Kludges. IEEE Intell. Syst. 18 (6) (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)
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
Guest Editor's Introduction: Critical Embedded Automotive Networks. IEEE Micro 22 (4) (2002)
Meredith Beveridge, Philip Koopman
Jini Meets Embedded Control Networking: A Case Study in Portability Failure. WORDS (2002)
Charles P. Shelton, Philip Koopman
Using Architectural Properties to Model and Measure Graceful Degradation. WADS (2002)
Orna Raz, Philip Koopman, Mary Shaw
Enabling automatic adaptation in systems with under-specified elements. WOSS (2002)
Orna Raz, Philip Koopman, Mary Shaw
Semantic anomaly detection in online data sources. ICSE (2002)
Philip Koopman, Henrique Madeira
Workshop on Dependability Benchmarking. DSN (2002)
John DeVale, Philip Koopman
Robust Software - No More Excuses. DSN (2002)
Philip Koopman
32-Bit Cyclic Redundancy Codes for Internet Applications. DSN (2002)
John DeVale, Philip Koopman
Performance Evaluation of Exception Handling in I/O Libraries. DSN (2001)
Elizabeth Latronico, Philip Koopman
Representing Embedded System Sequence Diagrams as a Formal Language. UML (2001)
Jiantao Pan, Philip Koopman, Daniel P. Siewiorek, Yennun Huang, Robert Gruber, Mimi Ling Jiang
Robustness Testing and Hardening of CORBA ORB Implementations. DSN (2001)
Charles P. Shelton, Philip Koopman, Kobey Devale
Robustness Testing of the Microsoft Win32 API. DSN (2000)
Arjun Cholkar, Philip Koopman
A widely deployable Web-based network simulation framework using CORBA IDL-based APIs. WSC (1999)
Kimberly Fernsler, Philip Koopman
Robustness testing of a distributed simulation backplane. ISSRE (1999)
Philip Koopman, John DeVale
Comparing the Robustness of POSIX Operating Systems. FTCS (1999)
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)
Philip Koopman
Using CAD Tools for Embedded System Design: Obstacles Encountered in an Automotive Case Study. Integr. Comput. Aided Eng. 5 (1) (1998)
Philip Koopman, Michelle Bayouth
Orthogonal Capability Building Blocks for Flexible AHS Deployment. J. Intell. Transp. Syst. 4 (1-2) (1998)
Philip Koopman
Embedded System Design Issues (The Rest of the Story). ICCD (1996)