◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Francisco Oliveira

1 paper hereh-index 12 citations10 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author1

Across the 1 of 1 paper where every author was matched, so the position is known.

fields
  • cs.SE1

identity via Semantic Scholar / OpenAlex

collaborators

1 paper

cs.SE2025

What Challenges Do Developers Face When Using Verification-Aware Programming Languages?

Francisco Oliveira, Alexandra Mendes, Carolina Carreira

Software reliability is critical in ensuring that the digital systems we depend on function correctly. In software development, increasing software reliability often involves testi…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.