publicações selecionadas
-
artigo de conferência
- Implementing Hybrid Semantics: From Functional to Imperative 2020
- Teaching How to Program using Automated Assessment and Functional Glossy Games (Experience Report) 2018
- A Refinement Relation for Families of Timed Automata. Computational Methods in Applied Sciences. 2017
- Composing Families of Timed Automata. Computational Methods in Applied Sciences. 2017
- Quality-Aware Reactive Programming for the Internet of Things. Computational Methods in Applied Sciences. 2017
- Data abstraction in coordination constraints. Communications in Computer and Information Science. 2013
- Variability modelling in the ABS language 2010
- A framework for point-free program transformation. Computational Methods in Applied Sciences. 2006
-
artigo de revista
- Feature Nets: behavioural modelling of software product lines. Software and Systems Modeling. 2016
-
documento
-
relatório
- Down with variables 2005