José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
1
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
Modular Modelling of Software Product Lines with Feature Nets
SEFM 2011
Feature Petri Nets
SPLCSE 2010
Towards a Theory of Views for Feature Models
SPLCSE 2010
Variability Modelling in the ABS Language
FMCO 2010
«
»
Cite
×