Volgen
Alcino Cunha
Alcino Cunha
HASLab, INESC TEC and Universidade do Minho
Geverifieerd e-mailadres voor di.uminho.pt - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1032016
A feature-based classification of model repair approaches
N Macedo, T Jorge, A Cunha
IEEE Transactions on Software Engineering 43 (7), 615-640, 2016
922016
Implementing QVT-R bidirectional model transformations using Alloy
N Macedo, A Cunha
International Conference on Fundamental Approaches to Software Engineering …, 2013
922013
Translating between Alloy specifications and UML class diagrams annotated with OCL
A Cunha, A Garis, D Riesco
Software & Systems Modeling 14, 5-25, 2015
812015
Least-change bidirectional model transformation with QVT-R and ATL
N Macedo, A Cunha
Software & Systems Modeling 15, 783-810, 2016
692016
Model repair and transformation with Echo
N Macedo, T Guimaraes, A Cunha
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
662013
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
632016
Type-safe two-level data transformation
A Cunha, J Oliveira, J Visser
FM 2006: Formal Methods, 284-299, 2006
552006
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
542018
Strongly typed rewriting for coupled software transformation
A Cunha, J Visser
Electronic Notes in Theoretical Computer Science 174 (1), 17-34, 2007
46*2007
Bounded model checking of temporal formulas with Alloy
A Cunha
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2014
432014
Generic point-free lenses
H Pacheco, A Cunha
Mathematics of Program Construction, 331-352, 2010
432010
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
422019
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
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
372021
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
362018
Target oriented relational model finding
A Cunha, N Macedo, T Guimarães
Fundamental Approaches to Software Engineering: 17th International …, 2014
362014
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
342007
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
Exploring scenario exploration
N Macedo, A Cunha, T Guimarães
Fundamental Approaches to Software Engineering: 18th International …, 2015
312015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20