Jose Proenca
Jose Proenca
CISTER - ISEP
Verified email at proenca.org - Homepage
Title
Cited by
Cited by
Year
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
PYH Wong, E Albert, R Muschevici, J Proença, J Schäfer, R Schlatte
International Journal on Software Tools for Technology Transfer 14 (5), 567-588, 2012
512012
Dreams: a framework for distributed synchronous coordination
J Proença, D Clarke, E De Vink, F Arbab
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1510-1515, 2012
472012
Synchronous coordination of distributed components
J Proença
452011
Variability modelling in the ABS language
D Clarke, R Muschevici, J Proença, I Schaefer, R Schlatte
International Symposium on Formal Methods for Components and Objects, 204-224, 2010
422010
Feature petri nets
R Muschevici, D Clarke, J Proença
Proceedings of the 14th International Software Product Line Conference (SPLC …, 2010
422010
Channel-based coordination via constraint satisfaction
D Clarke, J Proença, A Lazovik, F Arbab
Science of Computer Programming 76 (8), 681-710, 2011
382011
Modeling, testing and executing Reo connectors with the Eclipse Coordination Tools
F Arbab, C Koehler, Z Maraikar, YJ Moon, J Proença
Tool demo session at FACS 8, 2008
382008
Formal verification of ROS-based robotic applications using timed-automata
R Halder, J Proença, N Macedo, A Santos
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software …, 2017
312017
Modular modelling of software product lines with feature nets
R Muschevici, J Proença, D Clarke
International Conference on Software Engineering and Formal Methods, 318-333, 2011
252011
A framework for point-free program transformation
A Cunha, JS Pinto, J Proença
Symposium on Implementation and Application of Functional Languages, 1-18, 2005
232005
Decoupled execution of synchronous coordination models via behavioural automata
J Proença, D Clarke, E De Vink, F Arbab
arXiv preprint arXiv:1108.0232, 2011
222011
Deconstructing Reo
D Clarke, J Proença, A Lazovik, F Arbab
Electronic Notes in Theoretical Computer Science 229 (2), 43-58, 2009
222009
Feature Nets: behavioural modelling of software product lines
R Muschevici, J Proença, D Clarke
Software & Systems Modeling 15 (4), 1181-1206, 2016
212016
Towards a theory of views for feature models
D Clarke, J Proença
Proceedings of the First Intl. Workshop on Formal Methods in Software …, 2010
202010
Partial connector colouring
D Clarke, J Proença
International Conference on Coordination Languages and Models, 59-73, 2012
192012
Reconfiguration of Reo connectors triggered by dataflow
C Koehler, D Costa, J Proença, F Arbab
Electronic Communications of the EASST 10, 2008
182008
A procedure for splitting processes and its application to coordination
SSTQ Jongmans, D Clarke, J Proença
arXiv preprint arXiv:1209.1422, 2012
162012
Composing families of timed automata
G Cledou, J Proença, LS Barbosa
International Conference on Fundamentals of Software Engineering, 51-66, 2017
152017
Coordination models Orc and Reo compared
J Proença, D Clarke
Electronic Notes in Theoretical Computer Science 194 (4), 57-76, 2008
142008
Interactive interaction constraints
J Proença, D Clarke
International Conference on Coordination Languages and Models, 211-225, 2013
132013
The system can't perform the operation now. Try again later.
Articles 1–20