José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 83



61
62
TÍTULO: Refraction: Low-Cost Management of Reflective Meta-Data in Pervasive Component-Based Applications
AUTORES: Wilfried Daniels; Jose Proenca ; Dave Clarke; Wouter Joosen; Danny Hughes;
PUBLICAÇÃO: 2015, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
63
TÍTULO: Tomography: lowering management overhead for distributed component-based applications
AUTORES: Wilfried Daniels; José Proença ; Nelson Matthys; Wouter Joosen; Danny Hughes;
PUBLICAÇÃO: 2015, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
64
TÍTULO: Typed Connector Families
AUTORES: José Proença ; Dave Clarke;
PUBLICAÇÃO: 2015, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
65
TÍTULO: Data Abstraction in Coordination Constraints
AUTORES: Proenca, J ; Clarke, D;
PUBLICAÇÃO: 2013, FONTE: European Conference on Service-Oriented and Cloud Computing, ESOCC 2013 in Communications in Computer and Information Science, VOLUME: 393 CCIS
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
66
TÍTULO: Executable modelling of dynamic software product lines in the ABS language
AUTORES: Muschevici, R; Clarke, D; Proenca, J ;
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
67
TÍTULO: Interactive interaction constraints
AUTORES: Proenca, J ; Clarke, D;
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP
68
TÍTULO: A Procedure for Splitting Processes and its Application to Coordination  Full Text
AUTORES: Sung Shik T. Q. Jongmans; Dave Clarke; José Proença ;
PUBLICAÇÃO: 2012, FONTE: Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012., VOLUME: 91
INDEXADO EM: DBLP CrossRef: 5
NO MEU: ORCID | DBLP
69
TÍTULO: Dreams: a framework for distributed synchronous coordination. a framework for distributed synchronous coordination
AUTORES: José Proença ; Dave Clarke; Erik P de Vink; Farhad Arbab;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 20
NO MEU: ORCID | DBLP
70
TÍTULO: Formal analysis of policies in wireless sensor network applications
AUTORES: Patrignani, M; Matthys, N; Proenca, J ; Hughes, D; Clarke, D;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID | DBLP
Página 7 de 9. Total de resultados: 83.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service