Noel Brett

According to our database, Noel Brett authored at least 1 paper in 2017.

Collaborative distances:

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

2017

Rewriting-Based Runtime Verification for Alternation-Free HyperLTL.

Noel Brett, Umair Siddique, Borzoo Bonakdarpour

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017