Takip et
Nuno Macedo
Nuno Macedo
DEI @ FEUP & HASLab @ INESC TEC
inesctec.pt üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
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, TMS Jorge, A Cunha
IEEE Transactions on Software Engineering 43 (7), 615-640, 2017
922017
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
882017
Least-change bidirectional model transformation with QVT-R and ATL
N Macedo, A Cunha
Software & Systems Modeling 15 (3), 783-810, 2016
692016
Model repair and transformation with Echo
N Macedo, T Guimarães, A Cunha
IEEE/ACM International Conference on Automated Software Engineering (ASE …, 2013
682013
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
622016
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
532018
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
422019
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
Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST), 2018
332018
Exploring scenario exploration
N Macedo, A Cunha, T Guimarães
International Conference on Fundamental Approaches to Software Engineering …, 2015
332015
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
322018
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
312017
Towards a framework for multidirectional model transformations
N Macedo, A Cunha, H Pacheco
International Workshop on Bidirectional Transformations (BX), 2014
312014
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
292020
An ORCID-based synchronization framework for a national CRIS ecosystem
JM Moreira, A Cunha, N Macedo
2015 ORCID-Casrai Joint Conference, 2015
272015
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
262020
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
212021
Teaching how to program using automated assessment and functional glossy games (experience report)
JB Almeida, A Cunha, N Macedo, H Pacheco, J Proença
Proceedings of the ACM on Programming Languages 2 (ICFP), 82:1-82:17, 2018
182018
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20