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 Alcino Cunha
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 15 to 32 of 32
< previous
Issue Date
Title
Author(s)
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
2015
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, STAF 2015, L'Aquila, Italy, July 24, 2015
Alcino Cunha
;
Kindler,E
2018
Property-based testing for the robot operating system
André Filipe Santos
;
Alcino Cunha
;
Nuno Moreira Macedo
;
5625
;
6414
;
5612
2016
Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira
Luís Soares Barbosa
;
Alcino Cunha
;
Alexandra Silva
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
2014
Towards a framework for multidirectional model transformations
Nuno Moreira Macedo
;
Alcino Cunha
;
Hugo Pereira Pacheco
2011
Transformation of Structure-Shy Programs with Application to XPath Queries and Strategic Functions, I
Alcino Cunha
;
Joost Visser
2015
Translating between Alloy specifications and UML class diagrams annotated with OCL
Alcino Cunha
;
Garis,A
;
Riesco,D
2020
Validating Multiple Variants of an Automotive Light System with Electrum
Liu,C
;
Alcino Cunha
;
Macedo,N
;
5612
2019
Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum
Nuno Moreira Macedo
;
Alcino Cunha
;
5625
;
5612
2018
Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
Nuno Moreira Macedo
;
Alcino Cunha
;
5625
;
5612