HACCP numa indústria corticeira: implementação, identificação de pontos críticos e proposta de acções correctivas

Mestrado em Engenharia Química

O impacto do controlo interno nas instituições particulares de Solidariedade Social - a qualidade dos serviços prestados na área da segurança alimentar IPSS: estudo do caso das IPSS do concelho de Vale de Cambra

Dissertação apresentada ao Instituto Superior de Contabilidade e Administração do Porto para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Auditoria, realizada sob a orientação científica do Mestre Carlos Mendes, Equiparado a Professor Adjunto do Instituto Superior de Contabilidade e Administração do Porto. Orientada por Mestre Carlos Mendes Porto, abril 2014

Avaliação das práticas de Segurança Alimentar em Mercados Municipais

Dissertação de Mestrado em Gestão Integrada da Qualidade, Ambiente e Segurança

Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems

Presented at SEMINAR "ACTION TEMPS RÉEL:INFRASTRUCTURES ET SERVICES SYSTÉMES". 10, Apr, 2015. Brussels, Belgium.

Run-time Monitoring Architecture for RealTime Systems

Presented at INForum - Simpósio de Informática (INFORUM 2015). 7 to 8, Sep, 2015. Portugal.