José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 67



51
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
52
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
53
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
54
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
55
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
56
TITLE: The ABS tool suite: Modelling, executing and analysing distributed adaptable object-oriented systems  Full Text
AUTHORS: Wong, PYH; Albert, E; Muschevici, R; Proenca, J ; Schafer, J; Schlatte, R;
PUBLISHED: 2012, SOURCE: International Journal on Software Tools for Technology Transfer, VOLUME: 14, ISSUE: 5
INDEXED IN: Scopus DBLP CrossRef: 34
IN MY: ORCID | DBLP
57
TITLE: Channel-based coordination via constraint satisfaction  Full Text
AUTHORS: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLISHED: 2011, SOURCE: Sci. Comput. Program., VOLUME: 76, ISSUE: 8
INDEXED IN: Scopus DBLP CrossRef: 21
IN MY: ORCID | DBLP
58
TITLE: Decoupled execution of synchronous coordination models via behavioural automata  Full Text
AUTHORS: José Proença ; Dave Clarke; Erik P de Vink; Farhad Arbab;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP
59
TITLE: Modular modelling of software product lines with feature nets
AUTHORS: Muschevici, R; Proenca, J ; Clarke, D;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 9
IN MY: ORCID | DBLP
60
TITLE: Variability modelling in the ABS language
AUTHORS: Clarke, D; Muschevici, R; Proenca, J ; Schaefer, I; Schlatte, R;
PUBLISHED: 2011, SOURCE: 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6957 LNCS
INDEXED IN: Scopus DBLP CrossRef: 23
IN MY: ORCID | DBLP
Page 6 of 7. Total results: 67.

A place for researchers and their institutions

Useful Links

Get Help

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