Philippa Conmy
Land Sea Air Autonomy (United States)(US)University of York(GB)
Publications by Year
Research Areas
Safety Systems Engineering in Autonomy, Software Reliability and Analysis Research, Risk and Safety Analysis, Formal Methods in Verification, Real-Time Systems Scheduling
Most-Cited Works
- → WCET analysis methods: Pitfalls and challenges on their trustworthiness(2015)114 cited
- → Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy(2019)28 cited
- → Component-Based Safety Analysis of FPGAs(2010)27 cited
- → PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis(2016)27 cited
- High level failure analysis for Integrated Modular Avionics(2001)
- Safety assurance contracts for integrated modular avionics(2003)
- Generating and Maintaining a Safety Argument for Integrated Modular Systems(2000)
- → A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model(2012)10 cited