Skip to content

Philip Koopman

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

45

Venues

12

Active years

1996–2024

Best venue rank

A*

Where they publish

Papers

45 indexed papers, newest first.

YearVenueTitleAuthors
2024DSNActive Learning Omnivariate Decision Trees for Fault Diagnosis in Robotic Systems.Casidhe Hutchison, Milda Zizyte, David Guttendorf, Claire Le Goues, Philip Koopman
2024SAFECOMPAnatomy of a Robotaxi Crash: Lessons from the Cruise Pedestrian Dragging Mishap.Philip Koopman
2024SAFECOMPRedefining Safety for Autonomous Vehicles.Philip Koopman, William H. Widen
2023SAFECOMPA Reasonable Driver Standard for Automated Vehicle Safety.Philip Koopman, William H. Widen
2022ISSREKeynote 1: How Safe Is Safe Enough for Autonomous Vehicles?Philip Koopman
2021DSNThe Importance of Safety Invariants in Robustness Testing Autonomy Systems.Milda Zizyte, Casidhe Hutchison, Raewyn Duvall, Claire Le Goues, Philip Koopman
2020DSNRobustness 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
2020SAFECOMPPositive Trust Balance for Self-driving Car Deployment.Philip Koopman, Michael Wagner
2019AAAIHow Many Operational Design Domains, Objects, and Events?Philip Koopman, Frank Fratrik
2019SAFECOMPA Safety Standard Approach for Fully Autonomous Vehicles.Philip Koopman, Uma Ferrell, Frank Fratrik, Michael Wagner
2019SAFECOMPAutonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety.Philip Koopman, Beth Osyk, Jack Weast
2018ICSERobustness testing of autonomy software.Casidhe Hutchison, Milda Zizyte, Patrick E. Lanigan, David Guttendorf, Michael Wagner, Claire Le Goues, Philip Koopman
2018SAFECOMPPractical Experience Report: Automotive Safety Practices vs. Accepted Principles.Philip Koopman
2015IROSLearning product set models of fault triggers in high-dimensional software interfaces.Paul Vernaza, David Guttendorf, Michael Wagner, Philip Koopman
2015RVA Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System.Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman
2014DSNMonitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report.Aaron Kane, Thomas E. Fuhrman, Philip Koopman
2013SAFECOMPRide-through for Autonomous Vehicles.Aaron Kane, Philip Koopman
2010CASESLow cost multicast authentication via validity voting in time-triggered embedded control networks.Christopher Szilagyi, Philip Koopman
2009DSNSystem safety as an emergent property in composite systems.Jennifer Black, Philip Koopman
2009DSNData management mechanisms for embedded system gateways.Justin Ray, Philip Koopman
2009DSNFlexible multicast authentication for time-triggered embedded control network applications.Christopher Szilagyi, Philip Koopman
2008DSNMessage from the conference general chair and coordinator.Philip Koopman, Henrique Madeira
2008PRDCIndirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems.Jennifer Black, Philip Koopman
2006DSNEfficient High Hamming Distance CRCs for Embedded Networks.Justin Ray, Philip Koopman
2005DSNDesign Time Reliability Analysis of Distributed Fault Tolerance Algorithms.Elizabeth Latronico, Philip Koopman
2005DSNCoverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems.Michael Paulitsch, Jennifer Morris, Brendan Hall, Kevin Driscoll, Elizabeth Latronico, Philip Koopman
2005ICSERepresenting design tradeoffs in safety-critical systems.Jennifer Morris, Philip Koopman
2004DSNCyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks.Philip Koopman, Tridib Chakravarty
2004DSNQuantifying the Reliability of Proven SPIDER Group Membership Service Guarantees.Elizabeth Latronico, Paul S. Miner, Philip Koopman
2004DSNFault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems.Jennifer Morris, Daniel Kroening, Philip Koopman
2004DSNImproving System Dependability with Functional Alternatives.Charles P. Shelton, Philip Koopman
2004PRDCRepresenting User Workarounds as a Component of System Dependability.Christopher Martin, Philip Koopman
2004SEKEAutomated Assistance for Eliciting User Expectations.Orna Raz, Rebecca B. Buchheit, Mary Shaw, Philip Koopman, Christos Faloutsos
2002DSNRobust Software - No More Excuses.John DeVale, Philip Koopman
2002DSNJoint 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
2002DSN32-Bit Cyclic Redundancy Codes for Internet Applications.Philip Koopman
2002DSNWorkshop on Dependability Benchmarking.Philip Koopman, Henrique Madeira
2002ICSESemantic anomaly detection in online data sources.Orna Raz, Philip Koopman, Mary Shaw
2002ICSEUsing Architectural Properties to Model and Measure Graceful Degradation.Charles P. Shelton, Philip Koopman
2001DSNPerformance Evaluation of Exception Handling in I/O Libraries.John DeVale, Philip Koopman
2001DSNRobustness Testing and Hardening of CORBA ORB Implementations.Jiantao Pan, Philip Koopman, Daniel P. Siewiorek, Yennun Huang, Robert Gruber, Mimi Ling Jiang
2000DSNRobustness Testing of the Microsoft Win32 API.Charles P. Shelton, Philip Koopman, Kobey Devale
1999ISSRERobustness testing of a distributed simulation backplane.Kimberly Fernsler, Philip Koopman
1999WSCA widely deployable Web-based network simulation framework using CORBA IDL-based APIs.Arjun Cholkar, Philip Koopman
1996ICCDEmbedded System Design Issues (The Rest of the Story).Philip Koopman