João Pascoal Faria | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Rui Abreu
18 publications
André Restivo
5 publications
Bruno Lima
3 publications
Filipe Figueiredo Correia
2 publications
Ademar Aguiar
2 publications
Bruno Tavares
1 publication

research

∙ 01/09/2023

Case studies of development of verified programs with Dafny for accessibility assessment

Formal verification techniques aim at formally proving the correctness o...

0 João Pascoal Faria, et al. ∙

research

∙ 04/09/2020

DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios

To ensure interoperability and the correct behavior of heterogeneous dis...

0 Bruno Lima, et al. ∙

research

∙ 03/24/2019

A survey of blockchain frameworks and applications

The applications of the blockchain technology are still being discov-ere...

0 Bruno Tavares, et al. ∙