José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 77



51
TITLE: Typed Connector Families
AUTHORS: Jose Proenca ; Dave Clarke;
PUBLISHED: 2016, SOURCE: 12th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE, VOLUME: 9539
INDEXED IN: WOS
52
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: 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015 in Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, Montreal, QC, Canada, May 4-8, 2015
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
53
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
54
55
56
TITLE: Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications
AUTHORS: Wilfried Daniels; Jose Proenca ; Dave Clarke; Wouter Joosen; Danny Hughes;
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 | DBLP
57
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: 2nd ACM Workshop on Middleware for Context-Aware Applications in the IoT, M4IOT 2015 in Proceedings of the 2nd Workshop on Middleware for Context-Aware Applications in the IoT, M4IoT@Middleware 2015, Vancouver, BC, Canada, December 7-11, 2015
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
58
TITLE: Typed Connector Families
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2015, SOURCE: 12th International Conference on Formal Aspects of Component Software, FACS 2015 in Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers, VOLUME: 9539
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
59
TITLE: Data Abstraction in Coordination Constraints
AUTHORS: Proenca, J ; Clarke, D;
PUBLISHED: 2013, SOURCE: European Conference on Service-Oriented and Cloud Computing, ESOCC 2013 in Communications in Computer and Information Science, VOLUME: 393 CCIS
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
60
TITLE: Executable modelling of dynamic software product lines in the ABS language
AUTHORS: Muschevici, R; Clarke, D; Proenca, J ;
PUBLISHED: 2013, SOURCE: 5th Int. Workshop on Feature-Oriented Software Development, FOSD 2013 - Co-located with 12th Int. Conf. on Generative Programming: Concepts and Experiences, GPCE 2013 and the ACM SIGPLAN Conf. SPLASH 2013 in ACM International Conference Proceeding Series
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
Page 6 of 8. Total results: 77.

footer slogan

Useful Links

Get Help

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