publicações selecionadas
-
artigo de conferência
- Modelling and Verifying Smell-Free Architectures with the ARCHERY Language. Computational Methods in Applied Sciences. 2014
- Verifying bigraphical models of architectural reconfigurations 2013
- Analysing tactics in architectural patterns. IEEE Annual IEEE Software Engineering Workshop. 2012
- A language for behavioural modelling of architectural patterns 2011
- Towards rigorous analysis of open source software 2011
-
artigo de revista
- A perspective on architectural re-engineering. Computational Methods in Applied Sciences. 2015
- On the verification of architectural reconfigurations. Computer Languages Systems & Structures. 2015