• Sign in
  • Sign up
conf.researchr.org / Alcino Cunha
  • ESEC/FSE 2018 profile
  • ESEC/FSE 2022 profile
  • ICFP 2018 profile
  • ICSE 2021 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • MODELS 2022 profile
  • ‹Programming› 2018 profile
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

2025

FormaliSE

  • Author of Specifying Distributed Hash Tables with Allen Temporal Logic within the Research Track-track
  • Author of Verifying Multiple TLA+ Configurations with Blast within the Research Track-track

2024

ICSE

  • Author of Assessing the impact of hints in learning formal specification within the Software Engineering Education and Training-track
  • Author of Assessing the impact of hints in learning formal specification: Research artifact within the Artifact Evaluation-track

2022

ESEC/FSE

  • Author of Quantitative Relational Modelling with QAlloy within the Research Papers-track

MODELS

  • Author of Verification of Railway Network Models with EVEREST within the Technical Track-track

2021

RoSE

  • Author of The High-Assurance ROS Framework within the RoSE 2021-track

2018

ESEC/FSE

  • Author of Property-Based Testing for the Robot Operating System within the A-TEST-track

ICFP

  • Author of Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report) within the Research Papers-track

Bidirectional Transformations (bx)

  • Committee Member in Programme Committee within the Bx 2018-track
Share
xFri 23 May 01:33
using conf.researchr.org (v1.69.0)
Support page
Sign Up