Skip navigation
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Type
Location
Contributor
Help
Language
português
English
Sign on to:
My DSpace
Receive email
updates
Edit Profile
INESCTEC
Browsing by Author Nuno Moreira Macedo
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 3 to 22 of 25
< previous
next >
Issue Date
Title
Author(s)
2017
Exploiting Partial Knowledge for Efficient Model Analysis
Nuno Moreira Macedo
;
Alcino Cunha
;
Pessoa,E
2015
Exploring Scenario Exploration
Nuno Moreira Macedo
;
Alcino Cunha
;
Guimaraes,T
2016
A Feature-based Classification of Model Repair Approaches
Nuno Moreira Macedo
;
Tiago,Jorge
;
Alcino Cunha
2015
A Feature-based Classification of Model Repair Approaches
Nuno Moreira Macedo
;
Tiago,J
;
Alcino Cunha
2017
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
Halder,R
;
José Paiva Proença
;
Nuno Moreira Macedo
;
Santos,A
2016
A Framework for Quality Assessment of ROS Repositories
André Filipe Santos
;
Alcino Cunha
;
Nuno Moreira Macedo
;
Cláudio Belo Lourenço
2013
A Generic Scheme and Properties of Bidirectional Transformations
Hugo Pereira Pacheco
;
Nuno Moreira Macedo
;
Alcino Cunha
;
Voigtländer,Janis
2013
Implementing QVT-R Bidirectional Model Transformations Using Alloy
Nuno Moreira Macedo
;
Alcino Cunha
2018
Improving the Visualization of Alloy Instances
José Creissac Campos
;
Rui Miguel Couto
;
Alcino Cunha
;
Nuno Moreira Macedo
;
5625
;
5599
;
5612
;
6000
2016
Least-change bidirectional model transformation with QVT-R and ATL
Nuno Moreira Macedo
;
Alcino Cunha
2016
Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
Nuno Moreira Macedo
;
Brunel,J
;
Chemouil,D
;
Alcino Cunha
;
Kuperberg,D
2013
Model Repair and Transformation with Echo
Nuno Moreira Macedo
;
Guimaraes,T
;
Alcino Cunha
2015
An ORCID based synchronization framework for a national CRIS ecosystem
Mendes Moreira,J
;
Alcino Cunha
;
Nuno Moreira Macedo
2018
Property-based testing for the robot operating system
André Filipe Santos
;
Alcino Cunha
;
Nuno Moreira Macedo
;
5625
;
6414
;
5612
2012
Relations as executable specifications: taming partiality and non-determinism using invariants
Alcino Cunha
;
Nuno Moreira Macedo
;
Hugo Pereira Pacheco
2019
Simplifying the Analysis of Software Design Variants with a Colorful Alloy
Chong Liu
;
Alcino Cunha
;
Nuno Moreira Macedo
;
5625
;
5612
;
6934
2019
Simulation under Arbitrary Temporal Logic Constraints
Brunel,J
;
Nuno Moreira Macedo
;
Alcino Cunha
;
Chemouil,D
;
5625
;
5612
2019
Static-Time Extraction and Analysis of the ROS Computation Graph
André Filipe Santos
;
Alcino Cunha
;
Nuno Moreira Macedo
;
6414
;
5612
;
5625
2014
Target oriented relational model finding
Alcino Cunha
;
Nuno Moreira Macedo
;
Guimaraes,T
2016
Towards a Formal Validation of ETL Patterns Behaviour
Oliveira,B
;
Belo,O
;
Nuno Moreira Macedo