Zobrazeno 1 - 10
of 7 515
pro vyhledávání: '"FERREIRA, JOÃO"'
Autor:
Thompson, Kyle, Saavedra, Nuno, Carrott, Pedro, Fisher, Kevin, Sanchez-Stern, Alex, Brun, Yuriy, Ferreira, João F., Lerner, Sorin, First, Emily
Formal verification using proof assistants, such as Coq, enables the creation of high-quality software. However, the verification process requires significant expertise and manual effort to write proofs. Recent work has explored automating proof synt
Externí odkaz:
http://arxiv.org/abs/2412.14063
Autor:
Ferreira, Joao P., Ferreira, Vinicius C., Nogueira, Sergio L., Faria, Joao M., Afonso, Jose A.
Publikováno v:
Information 2024, 15(4), 213
The sharing of mobile network infrastructure has become a key topic with the introduction of 5G due to the high costs of deploying such infrastructures, with neutral host models coupled with features such as network function virtualization (NFV) and
Externí odkaz:
http://arxiv.org/abs/2411.15505
Translating written sentences from oral languages to a sequence of manual and non-manual gestures plays a crucial role in building a more inclusive society for deaf and hard-of-hearing people. Facial expressions (non-manual), in particular, are respo
Externí odkaz:
http://arxiv.org/abs/2408.15159
Autor:
Carrott, Pedro, Saavedra, Nuno, Thompson, Kyle, Lerner, Sorin, Ferreira, João F., First, Emily
Proof assistants enable users to develop machine-checked proofs regarding software-related properties. Unfortunately, the interactive nature of these proof assistants imposes most of the proof burden on the user, making formal verification a complex,
Externí odkaz:
http://arxiv.org/abs/2405.04282
Formal contracts and assertions are effective methods to enhance software quality by enforcing preconditions, postconditions, and invariants. Previous research has demonstrated the value of contracts in traditional software development contexts. Howe
Externí odkaz:
http://arxiv.org/abs/2401.14244
This research idea paper proposes leveraging Large Language Models (LLMs) to enhance the productivity of Dafny developers. Although the use of verification-aware languages, such as Dafny, has increased considerably in the last decade, these are still
Externí odkaz:
http://arxiv.org/abs/2401.00963
Autor:
Ferreira, João Paulo Mendes
A região de estudo situa-se no Canal de São Sebastião, Litoral Norte do Estado de São Paulo (Brasil), onde se localizam quatro emissários submarinos situados entre as cidades São Sebastião e Ilhabela. Este canal é utilizado para a prática de