Seguir
Alcino Cunha
Alcino Cunha
HASLab, INESC TEC and Universidade do Minho
Dirección de correo verificada de di.uminho.pt - Página principal
Título
Citado por
Citado por
Año
Implementing QVT-R bidirectional model transformations using Alloy
N Macedo, A Cunha
International Conference on Fundamental Approaches to Software Engineering …, 2013
902013
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
842016
A feature-based classification of model repair approaches
N Macedo, T Jorge, A Cunha
IEEE Transactions on Software Engineering 43 (7), 615-640, 2016
802016
Translating between Alloy specifications and UML class diagrams annotated with OCL
A Cunha, A Garis, D Riesco
Software & Systems Modeling 14, 5-25, 2015
762015
Least-change bidirectional model transformation with QVT-R and ATL
N Macedo, A Cunha
Software & Systems Modeling 15, 783-810, 2016
672016
Model repair and transformation with Echo
N Macedo, T Guimaraes, A Cunha
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
662013
Type-safe two-level data transformation
A Cunha, J Oliveira, J Visser
FM 2006: Formal Methods, 284-299, 2006
542006
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
532016
Bounded model checking of temporal formulas with Alloy
A Cunha
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
482014
Strongly typed rewriting for coupled software transformation
A Cunha, J Visser
Electronic Notes in Theoretical Computer Science 174 (1), 17-34, 2007
47*2007
Generic point-free lenses
H Pacheco, A Cunha
Mathematics of Program Construction, 331-352, 2010
432010
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
392007
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
382018
Target oriented relational model finding
A Cunha, N Macedo, T Guimaraes
Fundamental Approaches to Software Engineering: 17th International …, 2014
382014
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
372019
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
322007
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
312018
Towards a framework for multidirectional model transformations
NM Macedo, A Cunha, HP Pacheco
302014
Delta Lenses over Inductive Types
H Pacheco, A Cunha, Z Hu
Electronic Communications of the EASST 49, 2012
292012
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
282018
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20