Arshad Beg

According to our database, Arshad Beg authored at least 12 papers between 2010 and 2026.

Collaborative distances:

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

2026

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods.

Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan

CoRR, April, 2026

Short Version of VERIFAI2026 Paper - Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations.

Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan

CoRR, April, 2026

Evaluating LLM-Generated ACSL Annotations for Formal Verification.

Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan

CoRR, February, 2026

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics.

Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan

CoRR, February, 2026

2025

Working Document - Formalising Software Requirements with Large Language Models.

Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan

CoRR, June, 2025

A Short Survey on Formalising Software Requirements using Large Language Models.

Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan

CoRR, June, 2025

Formalising Software Requirements using Large Language Models.

Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan

CoRR, June, 2025

Leveraging LLMs for Formal Software Requirements: Challenges and Prospects.

Arshad Beg, Diarmuid P. O'Donoghue, Rosemary Monahan

Proceedings of the Short Paper Proceedings of the 7th International Workshop on Artificial Intelligence and Formal Verification, 2025

2020

Principle components analysis for seizures prediction using wavelet transform.

Syed Muhammad Usman, Shahzad Latif, Arshad Beg

CoRR, 2020

2016

Translating from "State-Rich" to "State Poor" process algebras

Arshad Beg

PhD thesis, 2016

2010

Linking a state-rich process algebra to a state-free algebra to verify software/hardware implementation.

Arshad Beg, Andrew Butterfield

Proceedings of the FIT '10, 2010

Modelling flash devices with FDR: progress and limits.

Arshad Beg, Andrew Butterfield

Proceedings of the FIT '10, 2010