José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 86



61
TITLE: Typed Connector Families
AUTHORS: Proenca, J ; Clarke, D;
PUBLISHED: 2016, SOURCE: 12th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, VOLUME: 9539
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID
62
TITLE: Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks
AUTHORS: Gowri Sankar Ramachandran; Wilfried Daniels; José Proença ; Sam Michiels; Wouter Joosen; Danny Hughes; Barry Porter;
PUBLISHED: 2015, SOURCE: CBSE
INDEXED IN: Scopus DBLP
IN MY: ORCID
63
TITLE: Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems. Preface  Full Text
AUTHORS: Javier Cámara; José Proença ;
PUBLISHED: 2015, SOURCE: Electron. Proc. Theor. Comput. Sci. - Electronic Proceedings in Theoretical Computer Science - EPTCS, VOLUME: 175
INDEXED IN: CrossRef
IN MY: ORCID
64
65
66
TITLE: Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications
AUTHORS: Daniels, W; Proença, J ; Clarke, D; Joosen, W; Hughes, D;
PUBLISHED: 2015, SOURCE: 2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) in 2015 18TH INTERNATIONAL ACM SIGSOFT SYMPOSIUM ON COMPONENT-BASED SOFTWARE ENGINEERING (CBSE)
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
67
TITLE: Tomography: lowering management overhead for distributed component-based applications
AUTHORS: Wilfried Daniels; José Proença ; Nelson Matthys; Wouter Joosen; Danny Hughes;
PUBLISHED: 2015, SOURCE: M4IoT@Middleware
INDEXED IN: Scopus DBLP
IN MY: ORCID
68
TITLE: Data Abstraction in Coordination Constraints
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2013, SOURCE: ESOCC Workshops, VOLUME: 393 CCIS
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID
69
TITLE: Executable modelling of dynamic software product lines in the ABS language
AUTHORS: Radu Muschevici; Dave Clarke; José Proença ;
PUBLISHED: 2013, SOURCE: FOSD
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
70
TITLE: Interactive Interaction Constraints
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2013, SOURCE: COORDINATION, VOLUME: 7890 LNCS
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
Page 7 of 9. Total results: 86.

footer slogan

Useful Links

Get Help

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