José Miguel Paiva Proença


AuthID: R-006-JRF

Confirmed Publications: 72



61
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
62
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
63
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
64
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
65
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
66
TITLE: Feature Petri Nets PDF
AUTHORS: Radu Muschevici; Dave Clarke; José Proença ;
PUBLISHED: 2010, SOURCE: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)
INDEXED IN: DBLP
IN MY: ORCID | DBLP
67
TITLE: Towards a Theory of Views for Feature Models PDF
AUTHORS: Dave Clarke; José Proença ;
PUBLISHED: 2010, SOURCE: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)
INDEXED IN: DBLP
IN MY: ORCID | DBLP
68
TITLE: Coordination via Interaction Constraints I: Local Logic  Full Text
AUTHORS: Dave Clarke; José Proença ;
PUBLISHED: 2009, SOURCE: Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009., VOLUME: 12
INDEXED IN: DBLP CrossRef: 1
IN MY: ORCID | DBLP
69
TITLE: Deconstructing Reo
AUTHORS: Dave Clarke; José Proença ; Alexander Lazovik; Farhad Arbab;
PUBLISHED: 2009, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 229, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef: 12
IN MY: ORCID | DBLP
70
TITLE: Coordination Models Orc and Reo Compared
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2008, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 194, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID | DBLP
Page 7 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