Scholar
Alcino Cunha
Google Scholar ID: aT3gF_cAAAAJ
HASLab, INESC TEC and Universidade do Minho
Software Engineering
Formal Methods
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,857
H-index
25
i10-index
50
Publications
20
Co-authors
63
list available
Publications
5 items
Verified LLM-Driven Synthesis for Concept Design
2026
Cited
0
Making Software Meaningful
2026
Cited
0
Reasoning about Transactional Isolation Levels with Isolde
2026
Cited
0
Synthesizing Test Cases for Narrowing Specification Candidates
2025
Cited
0
Validating Formal Specifications with LLM-generated Test Cases
2025
Cited
0
Co-authors
7 total
Joost Visser
Professor, LIACS, Leiden University
Paulo Sérgio Almeida
HASLab / INESC TEC and Universidade do Minho
Carlos Baquero
Professor at DEI, FEUP, University of Porto. Researcher at HASLab, INESC TEC.
Denis Kuperberg
CNRS, ENS Lyon, Plume Team
Jose Proenca
CISTER, Faculty of Sciences, University or Porto, Portugal
Carla Ferreira
NOVA LINCS / NOVA University Lisbon
Zhenjiang Hu
Professor, School of Computer Science, Peking University
