José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 72



51
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
52
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
53
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
54
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
55
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
56
TITLE: Interactive interaction constraints
AUTHORS: Proenca, J ; Clarke, D;
PUBLISHED: 2013, SOURCE: 15th International Conference on Coordination Models and Languages, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7890 LNCS
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
57
TITLE: A Procedure for Splitting Processes and its Application to Coordination  Full Text
AUTHORS: Sung Shik T. Q. Jongmans; Dave Clarke; José Proença ;
PUBLISHED: 2012, SOURCE: Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012., VOLUME: 91
INDEXED IN: DBLP CrossRef: 5
IN MY: ORCID | DBLP
58
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: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012
INDEXED IN: Scopus DBLP CrossRef: 18
IN MY: ORCID | DBLP
59
TITLE: Formal analysis of policies in wireless sensor network applications
AUTHORS: Patrignani, M; Matthys, N; Proenca, J ; Hughes, D; Clarke, D;
PUBLISHED: 2012, SOURCE: 2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 in 2012 3rd International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012 - Proceedings
INDEXED IN: Scopus DBLP CrossRef: 3
IN MY: ORCID | DBLP
60
TITLE: Partial connector colouring
AUTHORS: Clarke, D; Proenca, J ;
PUBLISHED: 2012, SOURCE: 14th International Conference on Coordination Models and Languages, COORDINATION 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7274 LNCS
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
Page 6 of 8. Total results: 72.

A place for researchers and their institutions

Useful Links

Get Help

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