Modelling flash devices with FDR: progress and limits. - Arshad Beg; Andrew Butterfield (FIT, 2010)

Linking a state-rich process algebra to a state-free algebra to verify software/hardware implementation. - Arshad Beg; Andrew Butterfield (FIT, 2010)

Translating from "State-Rich" to "State Poor" process algebras - Arshad Beg (2016)

Principle components analysis for seizures prediction using wavelet transform. - Syed Muhammad Usman; Shahzad Latif; Arshad Beg (CoRR, 2020)

Formalising Software Requirements using Large Language Models. - Arshad Beg; Diarmuid P. O'Donoghue; Rosemary Monahan (CoRR, 2025)

A Short Survey on Formalising Software Requirements using Large Language Models. - Arshad Beg; Diarmuid P. O'Donoghue; Rosemary Monahan (CoRR, 2025)

Working Document - Formalising Software Requirements with Large Language Models. - Arshad Beg; Diarmuid P. O'Donoghue; Rosemary Monahan (CoRR, 2025)

Leveraging LLMs for Formal Software Requirements - Challenges and Prospects. - Arshad Beg; Diarmuid P. O'Donoghue; Rosemary Monahan (CoRR, 2025)