Reversible Imperative Parallel Programs and Debugging J Hoey, I Ulidowski International Conference on Reversible Computation, 108-127, 2019 | 23 | 2019 |
Reversing parallel programs with blocks and procedures J Hoey, I Ulidowski, S Yuen arXiv preprint arXiv:1808.08651, 2018 | 20 | 2018 |
Reversing an imperative concurrent programming language J Hoey Ph. D. thesis, University of Leicester, 2020 | 14 | 2020 |
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 | 13 | 2020 |
Reversing imperative parallel programs J Hoey, I Ulidowski, S Yuen arXiv preprint arXiv:1709.00828, 2017 | 12 | 2017 |
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 | 9 | 2020 |
Towards causal-consistent reversibility of imperative concurrent programs J Hoey, I Ulidowski International Conference on Reversible Computation, 213-223, 2022 | 3 | 2022 |
Reversibility of Executable Interval Temporal Logic Specifications A Cau, S Kuhn, J Hoey International Conference on Reversible Computation, 214-223, 2021 | 1 | 2021 |
Reversibility of Executable Interval Temporal Logic Speci cations A Cau, S Kuhn, J Hoey Springer, 2021 | | 2021 |