Philip Koopman

According to our database1, Philip Koopman authored at least 70 papers between 1989 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety.
Proceedings of the Computer Safety, Reliability, and Security, 2019

A Safety Standard Approach for Fully Autonomous Vehicles.
Proceedings of the Computer Safety, Reliability, and Security, 2019

How Many Operational Design Domains, Objects, and Events?
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].
IEEE Consumer Electronics Magazine, 2018

Putting Image Manipulations in Context: Robustness Testing for Safe Perception.
Proceedings of the 2018 IEEE International Symposium on Safety, 2018

Practical Experience Report: Automotive Safety Practices vs. Accepted Principles.
Proceedings of the Computer Safety, Reliability, and Security, 2018

Robustness testing of autonomy software.
Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, 2018

2017
Autonomous Vehicle Safety: An Interdisciplinary Challenge.
IEEE Intell. Transport. Syst. Mag., 2017

Challenges in Autonomous Vehicle Validation: Keynote Presentation Abstract.
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.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Learning product set models of fault triggers in high-dimensional software interfaces.
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.
Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

2013
Integrity in Embedded Control Networks.
IEEE Security & Privacy, 2013

Ride-through for Autonomous Vehicles.
Proceedings of the SAFECOMP 2013, 2013

2010
Hardware/Software Codesign of Aerospace and Automotive Systems.
Proceedings of the IEEE, 2010

Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways.
Proceedings of the Measurement, 2010

Risk areas in embedded software industry projects.
Proceedings of the 2010 Workshop on Embedded Systems Education, 2010

Low cost multicast authentication via validity voting in time-triggered embedded control networks.
Proceedings of the 5th Workshop on Embedded Systems Security, 2010

Better Embedded System Software.
Drumnadrochit Press, ISBN: 978-0-9844490-0-2, 2010

2009
Flexible multicast authentication for time-triggered embedded control network applications.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

Data management mechanisms for embedded system gateways.
Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

System safety as an emergent property in composite systems.
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.
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

Message from the conference general chair and coordinator.
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).
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

2006
Efficient High Hamming Distance CRCs for Embedded Networks.
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006

2005
Undergraduate embedded system education at Carnegie Mellon.
ACM Trans. Embedded Comput. Syst., 2005

Representing design tradeoffs in safety-critical systems.
ACM SIGSOFT Software Engineering Notes, 2005

Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems.
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.
Proceedings of the 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June, 2005

2004
Embedded System Security.
IEEE Computer, 2004

Automated Assistance for Eliciting User Expectations.
Proceedings of the Sixteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2004), 2004

Representing User Workarounds as a Component of System Dependability.
Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

Improving System Dependability with Functional Alternatives.
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.
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.
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.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003
Work-arounds, Make-work, and Kludges.
IEEE Intelligent Systems, 2003

A Framework for Scalable Analysis and Design of System-wide Graceful Degradation in Distributed Embedded Systems.
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.
IEEE Micro, 2002

Enabling automatic adaptation in systems with under-specified elements.
Proceedings of the First Workshop on Self-Healing Systems, 2002

Jini Meets Embedded Control Networking: A Case Study in Portability Failure.
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.
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.
Proceedings of the 24th International Conference on Software Engineering, 2002

Workshop on Dependability Benchmarking.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

32-Bit Cyclic Redundancy Codes for Internet Applications.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Joint Panel - IPDS and Workshop on Dependability Benchmarking.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

Robust Software - No More Excuses.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001
Representing Embedded System Sequence Diagrams as a Formal Language.
Proceedings of the «UML» 2001, 2001

Robustness Testing and Hardening of CORBA ORB Implementations.
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.
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.
IEEE Trans. Software Eng., 2000

A Product Family Approach to Graceful Degradation.
Proceedings of the Architecture and Design of Distributed Embedded Systems, 2000

Robustness Testing of the Microsoft Win32 API.
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).
Proceedings of the 37th Conference on Design Automation, 2000

1999
A widely deployable Web-based network simulation framework using CORBA IDL-based APIs.
Proceedings of the 31st conference on Winter simulation: Simulation, 1999

Robustness testing of a distributed simulation backplane.
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.
Proceedings of the 4th IEEE International Symposium on High-Assurance Systems Engineering (HASE '99), 1999

Comparing the Robustness of POSIX Operating Systems.
Proceedings of the Digest of Papers: FTCS-29, 1999

1998
Orthogonal Capability Building Blocks for Flexible AHS Deployment.
J. Intellig. Transport. Systems, 1998

Using CAD Tools for Embedded System Design: Obstacles Encountered in an Automotive Case Study.
Integrated Computer-Aided Engineering, 1998

Automated Robustness Testing of Off-the-Shelf Software Components.
Proceedings of the Digest of Papers: FTCS-28, 1998

1997
Comparing Operating Systems Using Robustness Benchmarks.
Proceedings of the Sixteenth Symposium on Reliable Distributed Systems, 1997

1996
Embedded System Design Issues (The Rest of the Story).
Proceedings of the 1996 International Conference on Computer Design (ICCD '96), 1996

1992
Cache Behavior of Combinator Graph Reduction.
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.
SIGMETRICS Performance Evaluation Review, 1992

Performance of the HARRIS RTX 2000 Stack Architecture versus the Sun 4 SPARC and the Sun 3 M68020 Architectures.
SIGARCH Computer Architecture News, 1992

1990
Cache Performance of Combinator Graph Reduction.
Proceedings of the 1990 Internation Conference on Computer Languages, 1990

1989
A Fresh Look at Combinator Graph Reduction.
Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989


  Loading...