List of publications

CROSS - An Infrastructure for Certification and Re-engineering of Open Source Software


The current list of publications was generated automatically by the RCAAP portal on 2025-01-12. 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/108995.
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 CROSS - An Infrastructure for Certification and Re-engineering of Open Source Software
Funder FCT - Fundação para a Ciência e a Tecnologia, I.P.
Funding program 5876-PPCDTI
Project/scholarship ID 108995
Reference PTDC/EIA-CCO/108995/2008
FundRef URI http://www.fct.pt/apoios/projectos/consulta/vglobal_projecto.phtml.en?idProjecto=108995&idElemConcurso=2878
Start date 2010-03-15
End date 2013-06-14
Funding amount 116,000.00 €
 

Report information

 

Summary

Report date 2025-01-12
Number of documents 8

Documents by repository

rum 8

Documents by document type

conference paper 2
doctoral thesis 1
journal article 4
master thesis 1

Documents by rightsAccess rights

openAccess 8

Documents

An ontology toolkit for problem domain concept location in program comprehension Carvalho, Nuno Alexandre Ramos Open Access Doctoral thesis 2015 rum http://hdl.handle.net/1822/36560
Assertion-based slicing and slice graphs Barros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge Sousa Open Access Journal article 2012 rum http://hdl.handle.net/1822/14209
Assertion-based slicing and slice graphs Barros, José Bernardo; Cruz, Daniela da; Henriques, Pedro Rangel; Pinto, Jorge Sousa Open Access Conference paper 2010 rum http://hdl.handle.net/1822/12731
Towards rigorous analysis of open source software Barbosa, L. S.; Henriques, Pedro Rangel; Sanchez, Alejandro Open Access Conference paper 2011 rum http://hdl.handle.net/1822/15264
Bounded Model Checking de programas imperativos Pereira, José João Peixoto Open Access Master thesis 2013 rum http://hdl.handle.net/1822/28327
Testing as a certification approach Simões, Alberto; Carvalho, Nuno; Almeida, J. J. Open Access Journal article 2010 rum http://hdl.handle.net/1822/16526
GUI inspection from source code analysis Silva, João Carlos; Campos, J. Creissac; Saraiva, João Alexandre Open Access Journal article 2010 rum http://hdl.handle.net/1822/18517
Verification conditions for source-level imperative programs Frade, M. J.; Pinto, Jorge Sousa Open Access Journal article 2011 rum https://hdl.handle.net/1822/12547