Arshad Beg
Scholar

Arshad Beg

Google Scholar ID: 8BNqtc4AAAAJ
Lero @ SCSS_TCD (2008-2016, 2020). ADAPT @ CS_NUIM (2025).
Software EngineeringFormal MethodsTheoretical Computer ScienceProgramming Paradigms
Google Scholar↗
Citations & Impact
All-time
Citations
41
 
H-index
3
 
i10-index
1
 
Publications
20
 
Co-authors
5
list available
Contact
No contact links provided.
Publications
8 items
Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
2026
Cited
0
Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
2026
Cited
0
Evaluating LLM-Generated ACSL Annotations for Formal Verification
2026
Cited
0
Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
2026
Cited
0
Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
2025
Cited
0
ACM Survey Draft on Formalising Software Requirements with Large Language Models
2025
Cited
0
A Short Survey on Formalising Software Requirements using Large Language Models
2025
Cited
0
Formalising Software Requirements using Large Language Models
2025
Cited
0
Resume (English only)
Co-authors
5 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Diarmuid P. O'Donoghue
Diarmuid P. O'Donoghue
Maynooth University
Rosemary Monahan
Rosemary Monahan
National Univeristy of Ireland
Co-author 5
Co-author 5