conf.researchr.org / Alcino Cunha
Registered user since Tue 28 Nov 2017
Name:Alcino Cunha
Country:Portugal
Affiliation:University of Minho; INESC TEC
Personal website: http://www.di.uminho.pt/~alcino
Research interests:Software Engineering, Formal Methods
Contributions
2026
FM
- Author of Teaching Logic with Specification Challenges within the Workshop: FMTea-track
- Committee Member in Program committee within the Doctoral Symposium-track
- Committee Member in Tutorial Track Committee within the Tutorials-track
- Author of Validating Formal Specifications with LLM-generated Test Cases within the Research Track-track
- Author of Validating Formal Specifications with LLM-generated Test Cases within the Workshop: AIPV-track
- General Co-Chair in Organizing Committee within the ABZ-track