Follow
James Hoey
James Hoey
Verified email at leicester.ac.uk
Title
Cited by
Cited by
Year
Reversing parallel programs with blocks and procedures
J Hoey, I Ulidowski, S Yuen
arXiv preprint arXiv:1808.08651, 2018
202018
Reversible Imperative Parallel Programs and Debugging
J Hoey, I Ulidowski
International Conference on Reversible Computation, 108-127, 2019
182019
Reversing imperative parallel programs
J Hoey, I Ulidowski, S Yuen
arXiv preprint arXiv:1709.00828, 2017
112017
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs
J Hoey, I Lanese, N Nishida, I Ulidowski, G Vidal
Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020
72020
Software and reversible systems: a survey of recent activities
CA Mezzina, R Schlatte, R Glück, T Haulund, J Hoey, MH Cservenka, ...
International Conference on Reversible Computation, 41-59, 2020
62020
Reversing an imperative concurrent programming language
J Hoey
Ph. D. thesis, University of Leicester, 2020
32020
Towards causal-consistent reversibility of imperative concurrent programs
J Hoey, I Ulidowski
International Conference on Reversible Computation, 213-223, 2022
2022
Reversibility of Executable Interval Temporal Logic Specifications
A Cau, S Kuhn, J Hoey
International Conference on Reversible Computation, 214-223, 2021
2021
Reversibility of Executable Interval Temporal Logic Speci cations
A Cau, S Kuhn, J Hoey
Springer, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–9