Concepedia

Alcino Cunha

AC

24

Publications

624

Citations

16

H-Index

2005

Active since

Affiliations

University of Minho(Current)

Office National d'Études et de Recherches Aérospatiales

Université Fédérale de Toulouse Midi-Pyrénées

National Institute of Informatics

Alcino Cunha is an author at University of Minho specializing in engineering, computer science, and software design.

Top concepts

EngineeringComputer ScienceFormal MethodsSoftware DesignSoftware AnalysisSoftware EngineeringFormal VerificationSystems EngineeringProgram AnalysisSoftware Testing

Publications per year

2005–2024

24

Publications

24

A Feature-Based Classification of Model Repair Approaches

Nuno Macedo, Tiago Jorge, Alcino Cunha · IEEE Transactions on Software Engineering · 2016 · 65 citations · Full text

Software Maintenance, Engineering, Machine Learning +21

Lightweight specification and analysis of dynamic systems with rich configurations

Nuno Macedo, Julien Brunel, David Chemouil et al. · 2016 · 56 citations · Full text

Engineering, Verification, Computer Architecture +23

Translating between Alloy specifications and UML class diagrams annotated with OCL

Alcino Cunha, Ana Gabriela Garis, Daniel Eduardo Riesco · Software & Systems Modeling · 2013 · 50 citations · Full text

A framework for quality assessment of ROS repositories

André Santos, Alcino Cunha, Nuno Macedo et al. · 2016 · 46 citations · Full text

Total Quality Management, Software Maintenance, Engineering +26

Least-change bidirectional model transformation with QVT-R and ATL

Nuno Macedo, Alcino Cunha · Software & Systems Modeling · 2014 · 42 citations · Full text

Rows per page

1–5 of 24