Shaun Azzopardi
Scholar

Shaun Azzopardi

Google Scholar ID: _4WIGsUAAAAJ
University of Gothenburg
Reactive SynthesisRuntime VerificationAbstractionStatic AnalysisDeontic Logic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
326
 
H-index
10
 
i10-index
11
 
Publications
20
 
Co-authors
13
list available
Contact
No contact links provided.
Publications
1 items
sweap: Reactive Synthesis for Infinite-State Integer Problems
2026
Cited
0
Resume (English only)
Co-authors
13 total
Co-author 1
Co-author 1
Christian Colombo
Christian Colombo
University of Malta
Nir Piterman
Nir Piterman
Professor in Computer Science, University of Gothenburg and Chalmers University of Technolog, Sweden
Co-author 4
Co-author 4
Joshua Ellul
Joshua Ellul
Associate Professor in the Department of Computer Science and Centre for DLT, University of Malta
Yehia Abd Alrahman
Yehia Abd Alrahman
Associate Professor in Computing, University of Gothenburg and Chalmers University of Technology
Luca Di Stefano
Luca Di Stefano
TU Wien
Albert Gatt
Albert Gatt
Professor of Natural Language Generation, Utrecht University