Alcino Cunha

Cited by

	All	Since 2016
Citations	1106	582
h-index	20	14
i10-index	34	16

140

105

20032004200520062007200820092010201120122013201420152016201720182019202020215 5 6 20 31 34 22 34 44 74 53 102 65 88 87 137 138 128 4

Co-authors

Nuno MacedoHASLab, FEUP & INESC TECVerified email at inesctec.pt
Hugo PachecoHasLab & INESC TECVerified email at inesctec.pt
Joost VisserProfessor, LIACS, Leiden UniversityVerified email at liacs.leidenuniv.nl
David ChemouilONERA DTIS & Université fédérale de ToulouseVerified email at onera.fr
Julien BrunelONERAVerified email at onera.fr
Jose N. OliveiraHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Orlando BeloAssociate Professor with Habilitation, University of MinhoVerified email at di.uminho.pt
Jorge Sousa PintoHASLab / INESC TEC & Universidade do MinhoVerified email at di.uminho.pt
Ana GarisUniversidad Nacional de San LuisVerified email at unsl.edu.ar
Daniel RiescoProfesor de la Universidad Nacional de San LuisVerified email at unsl.edu.ar
Carlos BaqueroHASLab, INESC TEC & Universidade do MinhoVerified email at di.uminho.pt
Paulo Sérgio AlmeidaHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Ana C. R. PaivaFaculdade de Engenharia da Universidade do PortoVerified email at fe.up.pt
Jose ProencaCISTER - ISEPVerified email at proenca.org
Denis KuperbergCNRS, ENS Lyon, Plume TeamVerified email at kuperberg.fr
Luis S. BarbosaUniversidade do MinhoVerified email at di.uminho.pt
Zhenjiang HuProfessor, Dept. of Computer Science and Technology, Peking UniversityVerified email at pku.edu.cn
Cláudio Belo LourençoINRIA SaclayVerified email at lri.fr
José Creissac CamposDepartment of Informatics, University of Minho & HASLab / INESC TECVerified email at di.uminho.pt
Rui CoutoHASLab/INESC TECVerified email at di.uminho.pt

Alcino Cunha

HASLab, INESC TEC and Universidade do Minho

Verified email at di.uminho.pt - Homepage

Software Engineering Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Implementing QVT-R bidirectional model transformations using Alloy N Macedo, A Cunha International Conference on Fundamental Approaches to Software Engineering …, 2013	75	2013
Translating between Alloy specifications and UML class diagrams annotated with OCL A Cunha, A Garis, D Riesco Software & Systems Modeling 14 (1), 5-25, 2015	58	2015
Type-safe two-level data transformation A Cunha, J Oliveira, J Visser FM 2006: Formal Methods, 284-299, 2006	55	2006
Model repair and transformation with Echo N Macedo, T Guimaraes, A Cunha 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	51	2013
Least-change bidirectional model transformation with QVT-R and ATL N Macedo, A Cunha Software & Systems Modeling 15 (3), 783-810, 2016	48	2016
Strongly typed rewriting for coupled software transformation A Cunha, J Visser Electronic Notes in Theoretical Computer Science 174 (1), 17-34, 2007	48*	2007
Lightweight specification and analysis of dynamic systems with rich configurations N Macedo, J Brunel, D Chemouil, A Cunha, D Kuperberg Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016	46	2016
A feature-based classification of model repair approaches N Macedo, T Jorge, A Cunha IEEE Transactions on Software Engineering 43 (7), 615-640, 2016	41	2016
Generic point-free lenses H Pacheco, A Cunha Mathematics of Program Construction, 331-352, 2010	40	2010
Coupled schema transformation and data conversion for XML and SQL P Berdaguer, A Cunha, H Pacheco, J Visser Practical Aspects of Declarative Languages, 290-304, 2007	39	2007
Bounded model checking of temporal formulas with Alloy A Cunha International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014	30	2014
Transformation of structure-shy programs: applied to XPath queries and strategic functions A Cunha, J Visser Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007	29	2007
Delta Lenses over Inductive Types H Pacheco, A Cunha, Z Hu Electronic Communications of the EASST 49, 2012	27	2012
A framework for quality assessment of ROS repositories A Santos, A Cunha, N Macedo, C Lourenço 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2016	25	2016
Target oriented relational model finding A Cunha, N Macedo, T Guimaraes International Conference on Fundamental Approaches to Software Engineering …, 2014	25	2014
A framework for point-free program transformation A Cunha, J Pinto, J Proença Implementation and Application of Functional Languages, 1-18, 2006	23	2006
Validating the hybrid ERTMS/ETCS level 3 concept with electrum A Cunha, N Macedo International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018	22	2018
Towards a framework for multidirectional model transformations NM Macedo, A Cunha, HP Pacheco	21	2014
An ORCID based synchronization framework for a national CRIS ecosystem JM Moreira, A Cunha, N Macedo F1000Research 4, 2015	20	2015
Specifying UML protocol state machines in Alloy A Garis, A Paiva, A Cunha, D Riesco Integrated Formal Methods, 312-326, 2012	20	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors