José Miguel Paiva Proença


AuthID: R-006-JRF

Publicações Confirmadas: 88



71
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
72
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
73
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
74
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
75
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
76
TÍTULO: Partial connector colouring
AUTORES: Clarke, D; Proenca, J ;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 5
NO MEU: ORCID | DBLP
77
TÍTULO: The ABS tool suite: Modelling, executing and analysing distributed adaptable object-oriented systems  Full Text
AUTORES: Wong, PYH; Albert, E; Muschevici, R; Proenca, J ; Schafer, J; Schlatte, R;
PUBLICAÇÃO: 2012, FONTE: International Journal on Software Tools for Technology Transfer, VOLUME: 14, NÚMERO: 5
INDEXADO EM: Scopus DBLP CrossRef: 36
NO MEU: ORCID | DBLP
78
TÍTULO: Channel-based coordination via constraint satisfaction  Full Text
AUTORES: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLICAÇÃO: 2011, FONTE: Sci. Comput. Program., VOLUME: 76, NÚMERO: 8
INDEXADO EM: Scopus DBLP CrossRef: 22
NO MEU: ORCID | DBLP
79
TÍTULO: Decoupled execution of synchronous coordination models via behavioural automata  Full Text
AUTORES: José Proença ; Dave Clarke; Erik P de Vink; Farhad Arbab;
PUBLICAÇÃO: 2011, FONTE: 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011 in Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011., VOLUME: 58
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | DBLP
80
TÍTULO: Modular modelling of software product lines with feature nets
AUTORES: Muschevici, R; Proenca, J ; Clarke, D;
PUBLICAÇÃO: 2011, FONTE: 9th International Conference on Software Engineering and Formal Methods, SEFM 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7041 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 10
NO MEU: ORCID | DBLP
Página 8 de 9. Total de resultados: 88.

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

Links Úteis

Ajuda

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