Alcino Cunha

Cited by

	All	Since 2018
Citations	1528	836
h-index	23	18
i10-index	43	25

160

120

2003200420052006200720082009201020112012201320142015201620172018201920202021202220235 5 6 20 29 35 24 33 45 64 45 90 67 98 90 137 139 148 156 144 110

Public access

View all

33 articles

1 article

available

not available

Based on funding mandates

Co-authors

Nuno MacedoDEI @ FEUP & HASLab @ INESC TECVerified email at inesctec.pt
Hugo PachecoHasLab, INESC TEC & DCC, FCUP, University of PortoVerified email at inesctec.pt
David ChemouilONERA DTIS & Université fédérale de ToulouseVerified email at onera.fr
Julien BrunelONERAVerified email at onera.fr
Joost VisserProfessor, LIACS, Leiden UniversityVerified email at liacs.leidenuniv.nl
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
Carlos BaqueroProfessor at DEI, FEUP, University of Porto. Researcher at HASLab, INESC TEC.Verified email at fe.up.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
Paulo Sérgio AlmeidaHASLab / INESC TEC and Universidade do MinhoVerified email at di.uminho.pt
Denis KuperbergCNRS, ENS Lyon, Plume TeamVerified email at ens-lyon.fr
Ana C. R. PaivaFaculdade de Engenharia da Universidade do PortoVerified email at fe.up.pt
Jose ProencaCISTER - ISEPVerified email at proenca.org
Miguel Sozinho RamalhoResearcher, University of Porto - FEUPVerified email at fe.up.pt
Carla FerreiraNOVA University Lisbon / NOVA LINCSVerified email at fct.unl.pt
Zhenjiang HuProfessor, School of Computer Science, Peking UniversityVerified email at pku.edu.cn
José Creissac CamposDepartment of Informatics, University of Minho & HASLab / INESC TECVerified email at di.uminho.pt
Cláudio Belo LourençoHuawei Central Software Institute (UK)Verified email at huawei.com

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	90	2013
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	78	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	77	2016
Translating between Alloy specifications and UML class diagrams annotated with OCL A Cunha, A Garis, D Riesco Software & Systems Modeling 14, 5-25, 2015	75	2015
Least-change bidirectional model transformation with QVT-R and ATL N Macedo, A Cunha Software & Systems Modeling 15, 783-810, 2016	65	2016
Model repair and transformation with Echo N Macedo, T Guimaraes, A Cunha 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	64	2013
Type-safe two-level data transformation A Cunha, J Oliveira, J Visser FM 2006: Formal Methods, 284-299, 2006	55	2006
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	52	2016
Strongly typed rewriting for coupled software transformation A Cunha, J Visser Electronic Notes in Theoretical Computer Science 174 (1), 17-34, 2007	47*	2007
Bounded model checking of temporal formulas with Alloy A Cunha International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014	46	2014
Generic point-free lenses H Pacheco, A Cunha Mathematics of Program Construction, 331-352, 2010	43	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	40	2007
Target oriented relational model finding A Cunha, N Macedo, T Guimaraes Fundamental Approaches to Software Engineering: 17th International …, 2014	37	2014
The electrum analyzer: model checking relational first-order temporal specifications J Brunel, D Chemouil, A Cunha, N Macedo Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018	36	2018
Static-time extraction and analysis of the ROS computation graph A Santos, A Cunha, N Macedo 2019 Third IEEE international conference on robotic computing (IRC), 62-69, 2019	35	2019
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	32	2007
Validating the hybrid ERTMS/ETCS level 3 concept with electrum A Cunha, N Macedo Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International …, 2018	31	2018
Towards a framework for multidirectional model transformations NM Macedo, A Cunha, HP Pacheco	29	2014
Delta Lenses over Inductive Types H Pacheco, A Cunha, Z Hu Electronic Communications of the EASST 49, 2012	29	2012
Property-based testing for the robot operating system A Santos, A Cunha, N Macedo Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST …, 2018	27	2018

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

Follow

Cited by

Co-authors