Raimundo Barreto

Identifiers

• name variant Raimundo Barreto 0.60 · backfill

Papers (3)

1. Model Checking Embedded C Software using k-Induction and Invariants (extended version) cs.LO · 2015 · author #4
2. Model Checking C Programs with Loops via k-Induction and Invariants cs.LO · 2015 · author #4
3. Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker cs.LO · 2011 · author #1

Mentions

• 1509.02471 #4 · backfill · confidence 0.70 Raimundo Barreto
• 1502.02327 #4 · backfill · confidence 0.70 Raimundo Barreto
• 1106.2320 #1 · backfill · confidence 0.70 Raimundo Barreto

Frequent Coauthors

• Lucas Cordeiro 3 shared papers
• Herbert Rocha 2 shared papers
• Hussama Ismail 2 shared papers
• Bernd Fischer 1 shared papers