Philip Koopman

80 papers A* 1A 22B 6C 4Misc 1Journal 22Unranked 23

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