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 José Paiva Proença
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 2 to 17 of 17
< previous
Issue Date
Title
Author(s)
2013
Data Abstraction in Coordination Constraints
José Paiva Proença
;
Clarke,D
2013
Executable modelling of dynamic software product lines in the ABS language
Muschevici,R
;
Clarke,D
;
José Paiva Proença
2016
Feature Nets: behavioural modelling of software product lines
Muschevici,R
;
José Paiva Proença
;
Clarke,D
2017
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
Halder,R
;
José Paiva Proença
;
Nuno Moreira Macedo
;
Santos,A
2016
Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things
Ramachandran,GS
;
José Paiva Proença
;
Daniels,W
;
Pickavet,M
;
Staessens,D
;
Huygens,C
;
Joosen,W
;
Hughes,D
2015
Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks
Ramachandran,GS
;
Daniels,W
;
José Paiva Proença
;
Michiels,S
;
Joosen,W
;
Hughes,D
;
Porter,B
2013
Interactive interaction constraints
José Paiva Proença
;
Clarke,D
2016
A procedure for splitting data-aware processes and its application to coordination
Jongmans,SungShikT.Q.
;
Clarke,Dave
;
José Paiva Proença
2017
Quality-Aware Reactive Programming for the Internet of Things
José Paiva Proença
;
Carlos Baquero
2017
A Refinement Relation for Families of Timed Automata
Guillermina Cledou
;
José Paiva Proença
;
Luís Soares Barbosa
2015
Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications
Daniels,W
;
José Paiva Proença
;
Clarke,D
;
Joosen,W
;
Hughes,D
2018
ReoLive: Analysing Connectors in Your Browser
José Paiva Proença
;
Cruz,R
;
5901
2019
Taming Hierarchical Connectors
Madeira,A
;
José Paiva Proença
;
5901
2015
Tomography: lowering management overhead for distributed component-based applications
Daniels,W
;
José Paiva Proença
;
Matthys,N
;
Joosen,W
;
Hughes,D
2015
Typed Connector Families
José Paiva Proença
;
Clarke,Dave
2017
Typed connector families and their semantics
José Paiva Proença
;
Clarke,D