Ethics, Safety, and Autonomous Vehicles | 0 | 0.34 | 2021 |
Robustness Inside Out Testing | 0 | 0.34 | 2020 |
Positive Trust Balance for Self-Driving Car Deployment | 0 | 0.34 | 2020 |
How Many Operational Design Domains, Objects, and Events? | 1 | 0.36 | 2019 |
Autonomous Vehicles Meet The Physical World: Rss, Variability, Uncertainty, And Proving Safety | 4 | 0.56 | 2019 |
A Safety Standard Approach For Fully Autonomous Vehicles | 5 | 0.62 | 2019 |
Righting Wrongs [Letter to the Editor]. | 0 | 0.34 | 2018 |
Robustness testing of autonomy software. | 9 | 0.64 | 2018 |
Putting Image Manipulations in Context: Robustness Testing for Safe Perception | 3 | 0.43 | 2018 |
Autonomous Vehicle Safety: An Interdisciplinary Challenge | 30 | 1.51 | 2017 |
Challenges in Autonomous Vehicle Validation: Keynote Presentation Abstract. | 0 | 0.34 | 2017 |
A Case Study On Runtime Monitoring Of An Autonomous Research Vehicle (Arv) System | 14 | 0.77 | 2015 |
Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report | 15 | 0.76 | 2014 |
Ride-through for Autonomous Vehicles. | 1 | 0.37 | 2013 |
Risk areas in embedded software industry projects | 1 | 0.35 | 2010 |
Hardware/Software Codesign of Aerospace and Automotive Systems | 1 | 0.39 | 2010 |
Low cost multicast authentication via validity voting in time-triggered embedded control networks | 5 | 0.63 | 2010 |
Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways | 0 | 0.34 | 2010 |
Flexible multicast authentication for time-triggered embedded control network applications | 18 | 0.95 | 2009 |
Data management mechanisms for embedded system gateways | 4 | 0.43 | 2009 |
System safety as an emergent property in composite systems | 2 | 0.43 | 2009 |
The Effectiveness of Checksums for Embedded Control Networks | 18 | 1.11 | 2009 |
Indirect Control Path Analysis and Goal Coverage Strategies for Elaborating System Safety Goals in Composite Systems | 0 | 0.34 | 2008 |
Message from the Conference General Chair and Coordinator | 0 | 0.34 | 2008 |
Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract) | 1 | 0.37 | 2007 |
Efficient High Hamming Distance CRCs for Embedded Networks | 16 | 0.89 | 2006 |
Undergraduate embedded system education at Carnegie Mellon | 33 | 3.82 | 2005 |
Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms | 6 | 0.46 | 2005 |
Representing design tradeoffs in safety-critical systems | 36 | 0.62 | 2005 |
Quantifying the Reliability of Proven SPIDER Group Membership Service Guarantees | 5 | 0.52 | 2004 |
Embedded System Security | 24 | 2.80 | 2004 |
Cyclic Redundancy Code (CRC) Polynomial Selection For Embedded Networks | 80 | 5.09 | 2004 |
Automated Assistance for Eliciting User Expectations | 2 | 0.41 | 2004 |
Improving System Dependability with Functional Alternatives | 11 | 0.69 | 2004 |
Representing User Workarounds as a Component of System Dependability | 5 | 0.51 | 2004 |
Fault Tolerance Tradeoffs in Moving from Decentralized to Centralized Embedded Systems | 1 | 0.42 | 2004 |
Work-arounds, Make-work, and Kludges | 30 | 4.38 | 2003 |
A framework for scalable analysis and design of system-wide graceful degradation in distributed embedded systems | 28 | 1.59 | 2003 |
Workshop on Dependability Benchmarking | 2 | 0.38 | 2002 |
Robust Software - No More Excuses | 7 | 0.87 | 2002 |
Semantic anomaly detection in online data sources | 55 | 3.32 | 2002 |
Joint Panel - IPDS and Workshop on Dependability Benchmarking | 0 | 0.34 | 2002 |
32-Bit Cyclic Redundancy Codes for Internet Applications | 51 | 3.91 | 2002 |
Jini meets embedded control networking: a case study in portability failure | 3 | 0.50 | 2002 |
Enabling automatic adaptation in systems with under-specified elements | 4 | 0.56 | 2002 |
Performance Evaluation of Exception Handling in I/O Libraries | 6 | 0.66 | 2001 |
Representing Embedded System Sequence Diagrams as a Formal Language | 2 | 0.56 | 2001 |
Embedded systems education (panel abstract) | 0 | 0.34 | 2000 |
A Product Family Approach to Graceful Degradation | 11 | 1.17 | 2000 |
Robustness Testing of the Microsoft Win32 API | 28 | 1.32 | 2000 |