Bernd Fischer

Identifiers

• name variant Bernd Fischer 0.60 · backfill

Papers (6)

1. SMT-Based Refutation of Spurious Bug Reports in the Clang Static Analyzer cs.LO · 2018 · author #4
2. Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker cs.LO · 2011 · author #3
3. Bounded Model Checking of Multi-threaded Software using SMT solvers cs.LO · 2010 · author #2
4. Continuous Verification of Large Embedded Software using SMT-Based Bounded Model Checking cs.SE · 2009 · author #2
5. Industrial-Strength Formally Certified SAT Solving cs.LO · 2009 · author #2
6. SMT-Based Bounded Model Checking for Embedded ANSI-C Software cs.SE · 2009 · author #2

Mentions

• 1106.2320 #3 · backfill · confidence 0.70 Bernd Fischer
• 1003.3830 #2 · backfill · confidence 0.70 Bernd Fischer
• 0911.3784 #2 · backfill · confidence 0.70 Bernd Fischer
• 0911.1678 #2 · backfill · confidence 0.70 Bernd Fischer
• 0907.2072 #2 · backfill · confidence 0.70 Bernd Fischer

Frequent Coauthors

• Lucas Cordeiro 4 shared papers
• Joao Marques-Silva 3 shared papers
• Ashish Darbari 1 shared papers
• Denis A. Nicole 1 shared papers
• Enrico Steffinlongo 1 shared papers
• Lucas C. Cordeiro 1 shared papers
• Mikhail R. Gadelha 1 shared papers
• Raimundo Barreto 1 shared papers