Conor Reynolds

According to our database, Conor Reynolds authored at least 6 papers between 2021 and 2024.

Collaborative distances:

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

2024

Reasoning about logical systems in the Coq proof assistant.

Conor Reynolds, Rosemary Monahan

Sci. Comput. Program., 2024

FRETting and Formal Modelling: A Mechanical Lung Ventilator.

Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

Adventures in FRET and Specification.

Marie Farrell, Matt Luckcuck, Rosemary Monahan, Conor Reynolds, Oisín Sheridan

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

2022

Machine-Assisted Proofs for Institutions in Coq.

Conor Reynolds, Rosemary Monahan

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

2021

Using dafny to solve the VerifyThis 2021 challenges.

Marie Farrell, Conor Reynolds, Rosemary Monahan

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

Formalizing the Institution for Event-B in the Coq Proof Assistant.

Conor Reynolds

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021