José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 86



71
TITLE: A Procedure for Splitting Processes and its Application to Coordination
AUTHORS: Sung Shik T Q Jongmans; Dave Clarke; José Proença ;
PUBLISHED: 2012, SOURCE: FOCLASA, VOLUME: 91
INDEXED IN: DBLP CrossRef: 5
IN MY: ORCID
72
TITLE: Dreams: a framework for distributed synchronous coordination. a framework for distributed synchronous coordination
AUTHORS: José Proença ; Dave Clarke; Erik P de Vink; Farhad Arbab;
PUBLISHED: 2012, SOURCE: SAC
INDEXED IN: Scopus DBLP CrossRef: 21
IN MY: ORCID
73
TITLE: Formal analysis of policies in wireless sensor network applications
AUTHORS: Marco Patrignani; Nelson Matthys; José Proença ; Danny Hughes; Dave Clarke;
PUBLISHED: 2012, SOURCE: SESENA
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
74
TITLE: Partial Connector Colouring
AUTHORS: Dave Clarke; José Proença ;
PUBLISHED: 2012, SOURCE: COORDINATION, VOLUME: 7274 LNCS
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
75
TITLE: The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
AUTHORS: Peter Y H Wong; Elvira Albert; Radu Muschevici; José Proença ; Jan Schäfer; Rudolf Schlatte;
PUBLISHED: 2012, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 14, ISSUE: 5
INDEXED IN: Scopus DBLP CrossRef: 36
IN MY: ORCID
76
TITLE: Channel-based coordination via constraint satisfaction
AUTHORS: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLISHED: 2011, SOURCE: Sci. Comput. Program., VOLUME: 76, ISSUE: 8
INDEXED IN: Scopus DBLP CrossRef: 22
IN MY: ORCID
77
TITLE: Decoupled execution of synchronous coordination models via behavioural automata
AUTHORS: José Proença ; Dave Clarke; Erik P de Vink; Farhad Arbab;
PUBLISHED: 2011, SOURCE: FOCLASA, VOLUME: 58
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID
78
TITLE: Modular Modelling of Software Product Lines with Feature Nets
AUTHORS: Radu Muschevici; José Proença ; Dave Clarke;
PUBLISHED: 2011, SOURCE: SEFM, VOLUME: 7041 LNCS
INDEXED IN: Scopus DBLP CrossRef: 10
IN MY: ORCID
79
TITLE: Feature Petri Nets PDF
AUTHORS: Radu Muschevici; Dave Clarke; José Proença ;
PUBLISHED: 2010, SOURCE: SPLC Workshops
INDEXED IN: DBLP
IN MY: ORCID
80
TITLE: Towards a Theory of Views for Feature Models PDF
AUTHORS: Dave Clarke; José Proença ;
PUBLISHED: 2010, SOURCE: SPLC Workshops
INDEXED IN: DBLP
IN MY: ORCID
Page 8 of 9. Total results: 86.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service