Suivre
Nuno Macedo
Nuno Macedo
DEI @ FEUP & HASLab @ INESC TEC
Adresse e-mail validée de inesctec.pt - Page d'accueil
Titre
Citée par
Citée par
Année
Implementing QVT-R Bidirectional Model Transformations using Alloy
N Macedo, A Cunha
FASE'13, 297-311, 2013
892013
A feature-based classification of model repair approaches
N Macedo, TMS Jorge, A Cunha
IEEE Transactions on Software Engineering 43 (7), 615-640, 2017
662017
Lightweight specification and analysis of dynamic systems with rich configurations
N Macedo, J Brunel, D Chemouil, A Cunha, D Kuperberg
FSE'16, 373-383, 2016
632016
Model Repair and Transformation with Echo
N Macedo, T Guimarães, A Cunha
ASE'13, 694-697, 2013
612013
Least-change bidirectional model transformation with QVT-R and ATL
N Macedo, A Cunha
Software & Systems Modeling 15 (3), 783-810, 2016
572016
Formal Verification of ROS-based Robotic Applications using Timed-Automata
R Halder, J Proença, A Santos, N Macedo
FormliSE'17, 2017
522017
A framework for quality assessment of ROS repositories
A Santos, A Cunha, N Macedo, C Lourenço
IROS'16, 4491-4496, 2016
492016
Target oriented relational model finding
A Cunha, N Macedo, T Guimaraes
FASE'14, 17-31, 2014
382014
Static-Time Extraction and Analysis of the ROS Computation Graph
A Santos, A Cunha, N Macedo
IRC'19, 62-69, 2019
302019
Exploring Scenario Exploration
N Macedo, A Cunha, T Guimarães
FASE'15, 2015
292015
Towards a Framework for Multidirectional Model Transformations
N Macedo, A Cunha, H Pacheco
BX'14, 2014
292014
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
A Cunha, N Macedo
ABZ'18, 307-321, 2018
282018
The electrum analyzer: model checking relational first-order temporal specifications
J Brunel, D Chemouil, A Cunha, N Macedo
ASE’18, 2018
262018
An ORCID based synchronization framework for a national CRIS ecosystem
JM Moreira, A Cunha, N Macedo
2015 ORCID-Casrai Joint Conference, 2015
23*2015
Property-based testing for the robot operating system
A Santos, A Cunha, N Macedo
A-TEST'18, 2018
212018
Mining the usage patterns of ROS primitives
FN dos Santos, R Arrais, N Macedo, A Cunha, AF Santos
IROS'17, 2017
21*2017
Composing Least-change Lenses
N Macedo, H Pacheco, A Cunha, JN Oliveira
BX'13, 2013
162013
Improving the Visualization of Alloy Instances
R Couto, JC Campos, N Macedo, A Cunha
F-IDE'18, 2018
132018
Verification of system-wide safety properties of ROS applications
R Carvalho, A Cunha, N Macedo, A Santos
IROS'20, 2020
122020
Alloy meets TLA+: An exploratory study
N Macedo, A Cunha
arXiv preprint arXiv:1603.03599, 2016
122016
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20