Arshad Beg

According to our database, Arshad Beg authored at least 8 papers between 2010 and 2025.

Collaborative distances:

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

2025

Leveraging LLMs for Formal Software Requirements - Challenges and Prospects.

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

CoRR, July, 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

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