List of publications

Mondrian - Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability


The current list of publications was generated automatically by the RCAAP portal on 2025-01-11. This list contains all the publications deposited in the repositories from the RCAAP network repositories to which was attributed the funding identifier: info:eu-repo/grantAgreement/FCT/5876-PPCDTI/108302.
This list is not updated automatically and refers only to the contents identified until the date of its generation. To fulfil with the obligations associated with the open rightsAccess policies from Fundação para a Ciência e a Tecnologia, please mention this link in the scientific reports required by this funding agency.

Project/scholarship information

 
Name of project/scholarship Mondrian - Foundations for architectural design: Service certification, dynamic reconfiguration and self-adaptability
Funder FCT - Fundação para a Ciência e a Tecnologia, I.P.
Funding program 5876-PPCDTI
Project/scholarship ID 108302
Reference PTDC/EIA-CCO/108302/2008
FundRef URI http://www.fct.pt/apoios/projectos/consulta/vglobal_projecto.phtml.en?idProjecto=108302&idElemConcurso=2878
Start date 2010-03-15
End date 2013-05-30
Funding amount 87,172.00 €
 

Report information

 

Summary

Report date 2025-01-11
Number of documents 10

Documents by repository

rum 10

Documents by document type

conference paper 7
doctoral thesis 1
journal article 1
master thesis 1

Documents by rightsAccess rights

restrictedAccess 1
openAccess 9

Documents

Matrices as arrows! A biproduct approach to typed linear algebra Oliveira, José Nuno Fonseca; Macedo, Hugo Daniel Open Access Conference paper 2010 rum http://hdl.handle.net/1822/17802
Programming from Galois connections Mu, Shin-Cheng; Oliveira, José Nuno Fonseca Open Access Conference paper 2011 rum http://hdl.handle.net/1822/15586
Matrices as arrows: why categories of matrices matter Macedo, Hugo Daniel Restricted Access Doctoral thesis 2012 rum http://hdl.handle.net/1822/22894
On requirements engineering for reactive systems: a formal methodology Madeira, A.; Faria, José Miguel; Martins, Manuel A.; Barbosa, L. S. Open Access Conference paper 2011 rum http://hdl.handle.net/1822/15294
Models as arrows: the role of dialgebras Martins, Manuel A.; Madeira, A.; Barbosa, L. S. Open Access Conference paper 2011 rum http://hdl.handle.net/1822/15251
An integrated formal methods tool-chain and its application to verifying a file system model Ferreira, Miguel A.; Oliveira, José Nuno Fonseca Open Access Conference paper 2009 rum http://hdl.handle.net/1822/17801
Refinement by interpretation in φ-institutions Rodrigues, César J.; Martins, Manuel A.; Madeira, A.; Barbosa, L. S. Open Access Conference paper 2011 rum http://hdl.handle.net/1822/15255
Prototyping a calculus of QoS : aware software components Martins, André Batista Open Access Master thesis 2011 rum http://hdl.handle.net/1822/27926
Reasoning about complex requirements in a uniform setting Martins, Manuel A.; Madeira, A.; Barbosa, L. S. Open Access Conference paper 2011 rum http://hdl.handle.net/1822/15594
Refinement by interpretation in a general setting Martins, Manuel A.; Madeira, A.; Barbosa, L. S. Open Access Journal article 2009 rum https://hdl.handle.net/1822/20271