Alcino Cunha

Cited by

	All	Since 2019
Citations	1697	866
h-index	25	17
i10-index	51	30

160

120

20032004200520062007200820092010201120122013201420152016201720182019202020212022202320245 5 6 20 31 38 24 32 46 64 40 88 65 100 90 142 131 151 152 145 139 146

Public access

View all

37 articles

0 articles

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
Jorge Sousa PintoHASLab / INESC TEC & Universidade do MinhoVerified email at di.uminho.pt
Orlando BeloAssociate Professor with Habilitation, University of 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
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
Denis KuperbergCNRS, ENS Lyon, Plume TeamVerified email at ens-lyon.fr
José Creissac CamposDepartment of Informatics, University of Minho & HASLab / INESC TECVerified email at di.uminho.pt
Jose ProencaCISTER, Faculty of Sciences, University or Porto, PortugalVerified email at proenca.org
Miguel Sozinho RamalhoResearcher, University of Porto - FEUPVerified email at fe.up.pt
Carla FerreiraNOVA LINCS / NOVA University LisbonVerified email at fct.unl.pt
Zhenjiang HuProfessor, School of Computer Science, Peking UniversityVerified email at pku.edu.cn
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
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	97	2016
Implementing QVT-R bidirectional model transformations using Alloy N Macedo, A Cunha International Conference on Fundamental Approaches to Software Engineering …, 2013	91	2013
A feature-based classification of model repair approaches N Macedo, T Jorge, A Cunha IEEE Transactions on Software Engineering 43 (7), 615-640, 2016	88	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	78	2015
Least-change bidirectional model transformation with QVT-R and ATL N Macedo, A Cunha Software & Systems Modeling 15, 783-810, 2016	67	2016
Model repair and transformation with Echo N Macedo, T Guimaraes, A Cunha 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	65	2013
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	58	2016
Type-safe two-level data transformation A Cunha, J Oliveira, J Visser FM 2006: Formal Methods, 284-299, 2006	54	2006
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	51	2018
Strongly typed rewriting for coupled software transformation A Cunha, J Visser Electronic Notes in Theoretical Computer Science 174 (1), 17-34, 2007	46*	2007
Generic point-free lenses H Pacheco, A Cunha Mathematics of Program Construction, 331-352, 2010	43	2010
Bounded model checking of temporal formulas with Alloy A Cunha International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014	42	2014
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	41	2019
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	38	2007
Target oriented relational model finding A Cunha, N Macedo, T Guimarães Fundamental Approaches to Software Engineering: 17th International …, 2014	36	2014
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	35	2018
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	33	2007
Experiences on teaching alloy with an automated assessment platform N Macedo, A Cunha, J Pereira, R Carvalho, R Silva, ACR Paiva, ... Science of Computer Programming 211, 102690, 2021	31	2021
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
Exploring scenario exploration N Macedo, A Cunha, T Guimarães Fundamental Approaches to Software Engineering: 18th International …, 2015	30	2015

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