Frederic Wheeler

According to our database, Frederic Wheeler authored at least 4 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Towards Continuous Assurance with Formal Verification and Assurance Cases.

Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise A. Dennis

CoRR, November, 2025

Autonomy and Safety Assurance in the Early Development of Robotics and Autonomous Systems.

Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise A. Dennis

CoRR, January, 2025

Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots.

Dhaminda B. Abeywickrama, Michael Fisher, Frederic Wheeler, Louise A. Dennis

Proceedings of the 22nd IEEE/ACM International Conference on Software and Systems Reuse, 2025

Corroborative V&V for Autonomous Systems: Integrating Evidence and Discrepancy Analysis for Safety Assurance.

Dhaminda B. Abeywickrama, Christopher Bishop, Simon Watson, Frederic Wheeler, Michael Fisher, Louise A. Dennis

Proceedings of the Agents and Robots for reliable Engineered Autonomy - 5th Workshop, 2025