关注
Jose Proenca
Jose Proenca
CISTER, Faculty of Sciences, University or Porto, Portugal
在 proenca.org 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
792017
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
572010
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, 567-588, 2012
562012
Feature Petri Nets.
R Muschevici, D Clarke, J Proenca
SPLC Workshops 2, 99-106, 2010
512010
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
502012
Synchronous coordination of distributed components
J Proença
Leiden University, 2011
462011
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
412008
Channel-based coordination via constraint satisfaction
D Clarke, J Proença, A Lazovik, F Arbab
Science of Computer Programming 76 (8), 681-710, 2011
402011
Feature nets: behavioural modelling of software product lines
R Muschevici, J Proença, D Clarke
Software & Systems Modeling 15, 1181-1206, 2016
342016
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
302011
Towards a Theory of Views for Feature Models.
D Clarke, J Proença
SPLC Workshops, 91-98, 2010
232010
Deconstructing Reo
D Clarke, J Proença, A Lazovik, F Arbab
Electronic Notes in Theoretical Computer Science 229 (2), 43-58, 2009
232009
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
API generation for multiparty session types, revisited and revised using scala 3
G Cledou, L Edixhoven, SS Jongmans, J Proença
36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022
212022
Reconfiguration of Reo connectors triggered by dataflow
C Koehler, D Costa, J Proença, F Arbab
Electronic Communications of the EASST 10, 2008
212008
Decoupled execution of synchronous coordination models via behavioural automata
J Proença, D Clarke, EP de Vink, F Arbab
FOCLASA 58, 65-79, 2011
202011
Partial connector colouring
D Clarke, J Proença
Coordination Models and Languages: 14th International Conference …, 2012
172012
Reolive: Analysing connectors in your browser
R Cruz, J Proença
Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018
162018
Teaching how to program using automated assessment and functional glossy games (experience report)
JB Almeida, A Cunha, N Macedo, H Pacheco, J Proença
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-17, 2018
152018
Composing families of timed automata
G Cledou, J Proença, L Soares Barbosa
Fundamentals of Software Engineering: 7th International Conference, FSEN …, 2017
152017
系统目前无法执行此操作，请稍后再试。
文章 1–20
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交