| Lightweight specification and analysis of dynamic systems with rich configurations N Macedo, J Brunel, D Chemouil, A Cunha, D Kuperberg ACM SIGSOFT International Symposium on Foundations of Software Engineering …, 2016 | 96 | 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, TMS Jorge, A Cunha IEEE Transactions on Software Engineering 43 (7), 615-640, 2017 | 85 | 2017 |
| Formal verification of ROS-based robotic applications using timed-automata R Halder, J Proença, A Santos, N Macedo International Conference on Formal Methods in Software Engineering (FormliSE), 2017 | 83 | 2017 |
| Least-change bidirectional model transformation with QVT-R and ATL N Macedo, A Cunha Software & Systems Modeling 15 (3), 783-810, 2016 | 65 | 2016 |
| Model repair and transformation with Echo N Macedo, T Guimarães, A Cunha IEEE/ACM International Conference on Automated Software Engineering (ASE …, 2013 | 65 | 2013 |
| A framework for quality assessment of ROS repositories A Santos, A Cunha, N Macedo, C Lourenço IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS …, 2016 | 56 | 2016 |
| The Electrum Analyzer: Model checking relational first-order temporal specifications J Brunel, D Chemouil, A Cunha, N Macedo IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018 | 50 | 2018 |
| Static-time extraction and analysis of the ROS computation graph A Santos, A Cunha, N Macedo IEEE International Conference on Robotic Computing (IRC), 62-69, 2019 | 40 | 2019 |
| Target oriented relational model finding A Cunha, N Macedo, T Guimaraes International Conference on Fundamental Approaches to Software Engineering …, 2014 | 36 | 2014 |
| Property-based testing for the robot operating system A Santos, A Cunha, N Macedo Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST), 2018 | 35 | 2018 |
| Exploring scenario exploration N Macedo, A Cunha, T Guimarães International Conference on Fundamental Approaches to Software Engineering …, 2015 | 32 | 2015 |
| 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 International Conference on ASM, Alloy, B, TLA, VDM, and Z (ABZ), 307-321, 2018 | 31 | 2018 |
| Towards a framework for multidirectional model transformations N Macedo, A Cunha, H Pacheco International Workshop on Bidirectional Transformations (BX), 2014 | 30 | 2014 |
| Mining the usage patterns of ROS primitives FN dos Santos, R Arrais, N Macedo, A Cunha, AF Santos IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2017 | 28 | 2017 |
| Verification of system-wide safety properties of ROS applications R Carvalho, A Cunha, N Macedo, A Santos IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020 | 26 | 2020 |
| An ORCID-based synchronization framework for a national CRIS ecosystem JM Moreira, A Cunha, N Macedo 2015 ORCID-Casrai Joint Conference, 2015 | 26 | 2015 |
| Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum A Cunha, N Macedo International Journal on Software Tools for Technology Transfer 22 (3), 281-296, 2020 | 24 | 2020 |
| Improving the visualization of Alloy instances R Couto, JC Campos, N Macedo, A Cunha Workshop on Formal Integrated Development Environment (F-IDE), 2018 | 16 | 2018 |
Alcino CunhaHASLab, INESC TEC and Universidade do Minho在 di.uminho.pt 的电子邮件经过验证
