James Hoey

According to our database, James Hoey authored at least 10 papers between 2017 and 2022.

Collaborative distances:

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

2022

Reversing an imperative concurrent programming language.

James Hoey, Irek Ulidowski

Sci. Comput. Program., 2022

Towards Causal-Consistent Reversibility of Imperative Concurrent Programs.

James Hoey, Irek Ulidowski

Proceedings of the Reversible Computation - 14th International Conference, 2022

2021

Executable Interval Temporal Logic Specifications.

Antonio Cau, Stefan Kuhn, James Hoey

CoRR, 2021

Reversibility of Executable Interval Temporal Logic Specifications.

Antonio Cau, Stefan Kuhn, James Hoey

Proceedings of the Reversible Computation - 13th International Conference, 2021

2020

Software and Reversible Systems: A Survey of Recent Activities.

Claudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Æ. Mogensen, Harun Siljak, Ulrik Pagh Schultz, Irek Ulidowski

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs.

James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, Germán Vidal

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Reversing an imperative concurrent programming language.

James Hoey

PhD thesis, 2020

2019

Reversible Imperative Parallel Programs and Debugging.

James Hoey, Irek Ulidowski

Proceedings of the Reversible Computation - 11th International Conference, 2019

2018

Reversing Parallel Programs with Blocks and Procedures.

James Hoey, Irek Ulidowski, Shoji Yuen

Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018

2017

Reversing Imperative Parallel Programs.

James Hoey, Irek Ulidowski, Shoji Yuen

Proceedings of the Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, 2017