Leo Bishop

According to our database, Leo Bishop authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Strengthening Real-Time Analysis by Evolving Counterexamples.

Leo Bishop, Leandro Soares Indrusiak

Proceedings of the 3rd International Workshop on Explainability of Real-time Systems and their Analysis at the IEEE Real-Time Systems Symposium, 2024