José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
1
Tomography: lowering management overhead for distributed component-based applications
M4IoT@Middleware 2015
Typed Connector Families
FACS 2015
Data Abstraction in Coordination Constraints
FOCLASA 2013
Executable modelling of dynamic software product lines in the ABS language
FOSD 2013
Interactive Interaction Constraints
COORDINATION 2013
A Procedure for Splitting Processes and its Application to Coordination
FOCLASA 2012
Dreams: a framework for distributed synchronous coordination
SAC 2012
Formal analysis of policies in wireless sensor network applications
SESENA 2012
Partial Connector Colouring
COORDINATION 2012
Decoupled execution of synchronous coordination models via behavioural automata
FOCLASA 2011
«
»
Cite
×