Philip Koopman

According to our database, Philip Koopman authored at least 88 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Safety Ethics for Design and Test of Automated Driving Features.

Philip Koopman, William H. Widen

IEEE Des. Test, February, 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

Lessons from the Cruise Robotaxi Pedestrian Dragging Mishap.

Philip Koopman

CoRR, 2024

Redefining Safety for Autonomous Vehicles.

Philip Koopman, William H. Widen

Proceedings of the Computer Safety, Reliability, and Security, 2024

Anatomy of a Robotaxi Crash: Lessons from the Cruise Pedestrian Dragging Mishap.

Philip Koopman

Proceedings of the Computer Safety, Reliability, and Security, 2024

Active Learning Omnivariate Decision Trees for Fault Diagnosis in Robotic Systems.

Casidhe Hutchison, Milda Zizyte, David Guttendorf, Claire Le Goues, Philip Koopman

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

2023

UL 4600: What to Include in an Autonomous Vehicle Safety Case.

Philip Koopman

Computer, May, 2023

An Improved Modular Addition Checksum Algorithm.

Philip Koopman

CoRR, 2023

Large-Block Modular Addition Checksum Algorithms.

Philip Koopman

CoRR, 2023

A Reasonable Driver Standard for Automated Vehicle Safety.

Philip Koopman, William H. Widen

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2022

Keynote 1: How Safe Is Safe Enough for Autonomous Vehicles?

Philip Koopman

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

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, Philip Koopman

Field Robotics, October, 2021

Ethics, Safety, and Autonomous Vehicles.

Philip Koopman, Benjamin Kuipers, William H. Widen, Marilyn Wolf

Computer, 2021

The Importance of Safety Invariants in Robustness Testing Autonomy Systems.

Milda Zizyte, Casidhe Hutchison, Raewyn Duvall, Claire Le Goues, Philip Koopman

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2020

Positive Trust Balance for Self-driving Car Deployment.

Philip Koopman, Michael Wagner

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020

Robustness Inside Out Testing.

Deborah S. Katz, Milda Zizyte, Casidhe Hutchison, David Guttendorf, Patrick E. Lanigan, Eric M. Sample, Philip Koopman, Michael Wagner, Claire Le Goues

Proceedings of the 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, 2020

2019

Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety (Expanded Version).

Philip Koopman, Beth Osyk, Jack Weast

CoRR, 2019

Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety.

Philip Koopman, Beth Osyk, Jack Weast

Proceedings of the Computer Safety, Reliability, and Security, 2019

A Safety Standard Approach for Fully Autonomous Vehicles.

Philip Koopman, Uma Ferrell, Frank Fratrik, Michael Wagner

Proceedings of the Computer Safety, Reliability, and Security, 2019

How Many Operational Design Domains, Objects, and Events?

Philip Koopman, Frank Fratrik

Proceedings of the Workshop on Artificial Intelligence Safety 2019 co-located with the Thirty-Third AAAI Conference on Artificial Intelligence 2019 (AAAI-19), 2019

2018

Righting Wrongs [Letter to the Editor].

Philip Koopman

IEEE Consumer Electron. Mag., 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, Philip Koopman

Proceedings of the 2018 IEEE International Symposium on Safety, 2018

Practical Experience Report: Automotive Safety Practices vs. Accepted Principles.

Philip Koopman

Proceedings of the Computer Safety, Reliability, and Security, 2018

Robustness testing of autonomy software.

Casidhe Hutchison, Milda Zizyte, Patrick E. Lanigan, David Guttendorf, Michael Wagner, Claire Le Goues, Philip Koopman

Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

2017

Autonomous Vehicle Safety: An Interdisciplinary Challenge.

Philip Koopman, Michael Wagner

IEEE Intell. Transp. Syst. Mag., 2017

Challenges in Autonomous Vehicle Validation: Keynote Presentation Abstract.

Philip Koopman

Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, 2017

2015

A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System.

Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman

Proceedings of the Runtime Verification - 6th International Conference, 2015

Learning product set models of fault triggers in high-dimensional software interfaces.

Paul Vernaza, David Guttendorf, Michael Wagner, Philip Koopman

Proceedings of the 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2015

2014

Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report.

Aaron Kane, Thomas E. Fuhrman, Philip Koopman

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2013

Integrity in Embedded Control Networks.

Philip Koopman, Christopher Szilagyi

IEEE Secur. Priv., 2013

Ride-through for Autonomous Vehicles.

Aaron Kane, Philip Koopman

Proceedings of the SAFECOMP 2013, 2013

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

Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways.

Philip Koopman, Justin Ray

Proceedings of the Measurement, 2010

Risk areas in embedded software industry projects.

Philip Koopman

Proceedings of the 2010 Workshop on Embedded Systems Education, 2010

Low cost multicast authentication via validity voting in time-triggered embedded control networks.

Christopher Szilagyi, Philip Koopman

Proceedings of the 5th Workshop on Embedded Systems Security, 2010

Better Embedded System Software.

Philip Koopman

Drumnadrochit Press, ISBN: 978-0-9844490-0-2, 2010

2009

The Effectiveness of Checksums for Embedded Control Networks.

Theresa C. Maxino, Philip J. Koopman Jr.

IEEE Trans. Dependable Secur. Comput., 2009

Flexible multicast authentication for time-triggered embedded control network applications.

Christopher Szilagyi, Philip Koopman

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Data management mechanisms for embedded system gateways.

Justin Ray, Philip Koopman

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

System safety as an emergent property in composite systems.

Jennifer Black, Philip Koopman

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems.

Jennifer Black, Philip Koopman

Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

Message from the conference general chair and coordinator.

Philip Koopman, Henrique Madeira

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007

Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract).

Philip Koopman

Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

2006

Efficient High Hamming Distance CRCs for Embedded Networks.

Justin Ray, Philip Koopman

Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

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, Chenxi Wang

ACM Trans. Embed. Comput. Syst., 2005

Representing design tradeoffs in safety-critical systems.

Jennifer Morris, Philip Koopman

ACM SIGSOFT Softw. Eng. Notes, 2005

Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems.

Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll, Elizabeth Latronico, Philip Koopman

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms.

Elizabeth Latronico, Philip Koopman

Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004

Embedded System Security.

Philip Koopman

Computer, 2004

Automated Assistance for Eliciting User Expectations.

Orna Raz, Rebecca B. Buchheit, Mary Shaw, Philip Koopman, Christos Faloutsos

Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

Representing User Workarounds as a Component of System Dependability.

Christopher Martin, Philip Koopman

Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

Improving System Dependability with Functional Alternatives.

Charles P. Shelton, Philip Koopman

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems.

Jennifer Morris, Daniel Kroening, Philip Koopman

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees.

Elizabeth Latronico, Paul S. Miner, Philip Koopman

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks.

Philip Koopman, Tridib Chakravarty

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

Work-arounds, Make-work, and Kludges.

Philip Koopman, Robert R. Hoffman

IEEE Intell. Syst., 2003

A Framework for Scalable Analysis and Design of System-wide Graceful Degradation in Distributed Embedded Systems.

Charles P. Shelton, Philip Koopman, William Nace

Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

2002

Guest Editor's Introduction: Critical Embedded Automotive Networks.

Philip Koopman

IEEE Micro, 2002

Enabling automatic adaptation in systems with under-specified elements.

Orna Raz, Philip Koopman, Mary Shaw

Proceedings of the First Workshop on Self-Healing Systems, 2002

Jini Meets Embedded Control Networking: A Case Study in Portability Failure.

Meredith Beveridge, Philip Koopman

Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

Using Architectural Properties to Model and Measure Graceful Degradation.

Charles P. Shelton, Philip Koopman

Proceedings of the Architecting Dependable Systems [the book is a result of the ICSE 2002 Workshop on Software Architectures for Dependable Systems], 2002

Semantic anomaly detection in online data sources.

Orna Raz, Philip Koopman, Mary Shaw

Proceedings of the 24th International Conference on Software Engineering, 2002

Workshop on Dependability Benchmarking.

Philip Koopman, Henrique Madeira

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

32-Bit Cyclic Redundancy Codes for Internet Applications.

Philip Koopman

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 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

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Robust Software - No More Excuses.

John DeVale, Philip Koopman

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

Representing Embedded System Sequence Diagrams as a Formal Language.

Elizabeth Latronico, Philip Koopman

Proceedings of the «UML» 2001, 2001

Robustness Testing and Hardening of CORBA ORB Implementations.

Jiantao Pan, Philip Koopman, Daniel P. Siewiorek, Yennun Huang, Robert Gruber, Mimi Ling Jiang

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

Performance Evaluation of Exception Handling in I/O Libraries.

John DeVale, Philip Koopman

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

2000

The Exception Handling Effectiveness of POSIX Operating Systems.

Phil Koopman, John DeVale

IEEE Trans. Software Eng., 2000

A Product Family Approach to Graceful Degradation.

William Nace, Phil Koopman

Proceedings of the Architecture and Design of Distributed Embedded Systems, 2000

Robustness Testing of the Microsoft Win32 API.

Charles P. Shelton, Philip Koopman, Kobey Devale

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

Embedded systems education (panel abstract).

Sharad Malik, D. K. Arvind, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne H. Wolf

Proceedings of the 37th Conference on Design Automation, 2000

1999

A widely deployable Web-based network simulation framework using CORBA IDL-based APIs.

Arjun Cholkar, Philip Koopman

Proceedings of the 31st conference on Winter simulation: Simulation, 1999

Robustness testing of a distributed simulation backplane.

Kimberly Fernsler, Philip Koopman

Proceedings of the 10th International Symposium on Software Reliability Engineering, 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

Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Comparing the Robustness of POSIX Operating Systems.

Philip Koopman, John DeVale

Proceedings of the Digest of Papers: FTCS-29, 1999

1998

Orthogonal Capability Building Blocks for Flexible AHS Deployment.

Philip Koopman, Michelle Bayouth

J. Intell. Transp. Syst., 1998

Using CAD Tools for Embedded System Design: Obstacles Encountered in an Automotive Case Study.

Philip Koopman

Integr. Comput. Aided Eng., 1998

Automated Robustness Testing of Off-the-Shelf Software Components.

Nathan P. Kropp, Philip J. Koopman Jr., Daniel P. Siewiorek

Proceedings of the Digest of Papers: FTCS-28, 1998

1997

Comparing Operating Systems Using Robustness Benchmarks.

Philip J. Koopman Jr., John Sung, Christopher P. Dingman, Daniel P. Siewiorek, Ted Marz

Proceedings of the Sixteenth Symposium on Reliable Distributed Systems, 1997

1996

Embedded System Design Issues (The Rest of the Story).

Philip Koopman

Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

1992

Cache Behavior of Combinator Graph Reduction.

Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek

ACM Trans. Program. Lang. Syst., 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

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

1991

Embedded control as a path to Forth acceptance.

Philip J. Koopman Jr.

Proceedings of the Second and Third annual Workshops on Forth, 1991

1990

Cache Performance of Combinator Graph Reduction.

Philip J. Koopman Jr., Peter Lee, Daniel P. Siewiorek

Proceedings of the 1990 Internation Conference on Computer Languages, 1990

1989

A Fresh Look at Combinator Graph Reduction.

Philip J. Koopman Jr., Peter Lee

Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989