University of Hull — United Kingdom
Computer Science · Physical Sciences
32h-index3.8kcitations169works0.42yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Reliability and Analysis Research(98), Safety Systems Engineering in Autonomy(70), Risk and Safety Analysis(47), Formal Methods in Verification(28), Advanced Software Engineering Methodologies(28)
Publications169 total
Lecture notes in computer science·2025
Lecture notes in computer science·2025
Lecture notes in computer science·2025
Lecture notes in computer science·2025· 2 cited
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
arXiv (Cornell University)·2025Open Access
SSRN Electronic Journal·2025Open Access
SSRN Electronic Journal·2025Open Access
Journal of Physics Conference Series·2024· 3 citedOpen Access
Journal of Systems and Software·2024· 2 citedOpen Access
arXiv (Cornell University)·2024Open Access
IEEE Internet Computing·2024· 1 citedOpen Access
arXiv (Cornell University)·2023Open Access
IEEE Software·2023· 4 citedOpen Access
page 1 of 9Next →
Frequent Co-authors
Martin Walker(18), Sohag Kabir(16), David Parker(9), Henrik Lönn(8), DeJiu Chen(6), Koorosh Aslansefat(6), Ioannis Sorokos(6), Mark‐Oliver Reiser(5), John McDermid(4), Rolf Johansson(4), Anders Sandberg(4), Martin Törngren(4), Septavera Sharvia(4), Erich Rüde(3), Jose Ignacio Aizpurua(3), Christian Grante(3), David Servat(3), Ramin Tavakoli Kolagari(3), Fulvio Tagliabò(3), Sandra Torchiaro(3)