עקוב אחר
Alcino Cunha
Alcino Cunha
HASLab, INESC TEC and Universidade do Minho
כתובת אימייל מאומתת בדומיין di.uminho.pt - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
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‏
1062016
Implementing QVT-R bidirectional model transformations using Alloy‏
N Macedo, A Cunha‏
International Conference on Fundamental Approaches to Software Engineering …, 2013‏
932013
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
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‏
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‏
682013
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‏
622016
Type-safe two-level data transformation‏
A Cunha, J Oliveira, J Visser‏
FM 2006: Formal Methods, 284-299, 2006‏
562006
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‏
532018
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‏
462014
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
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‏
372007
Target oriented relational model finding‏
A Cunha, N Macedo, T Guimaraes‏
International Conference on Fundamental Approaches to Software Engineering …, 2014‏
362014
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‏
332018
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‏
322018
Mining the usage patterns of ROS primitives‏
A Santos, A Cunha, N Macedo, R Arrais, FN Dos Santos‏
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2017‏
312017
Exploring scenario exploration‏
N Macedo, A Cunha, T Guimarães‏
Fundamental Approaches to Software Engineering: 18th International …, 2015‏
312015
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20