Dara MacConville

According to our database, Dara MacConville authored at least 3 papers between 2022 and 2024.

Collaborative distances:

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

2024

Towards a Model Checker for Python: pymodcheck.

Dara MacConville, Rosemary Monahan

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024

2023

CSP2Turtle: Verified Turtle Robot Plans.

Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan

Robotics, April, 2023

2022

Modelling the Turtle Python library in CSP.

Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan

Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, 2022