Concepedia

Stefan Staber

SS

5

Publications

218

Citations

5

H-Index

2005

Active since

Affiliations

Graz University of Technology(Current)

Stefan Staber is an author at Graz University of Technology specializing in engineering, formal verification, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationAutomated ReasoningComputer Engineering

Publications per year

2005–2011

5

Publications

5

Automatic Fault Localization for Property Checking

Görschwin Fey, Stefan Staber, Roderick Bloem et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2008 · 91 citations

Software Maintenance, Engineering, Verification +20

Automated Fault Localization for C Programs

Andreas Griesmayer, Stefan Staber, Roderick Bloem · Electronic Notes in Theoretical Computer Science · 2007 · 63 citations · Full text

Program Checking, Engineering, Verification +21

Finding and fixing faults

Barbara Jobstmann, Stefan Staber, Andreas Griesmayer et al. · Journal of Computer and System Sciences · 2011 · 35 citations

Software Maintenance, Reliability Engineering, Engineering +10

Fault localization using a model checker

Andreas Griesmayer, Stefan Staber, Roderick Bloem · Software Testing Verification and Reliability · 2009 · 19 citations

Program Checking, Engineering, Verification +26

Diagnosis is Repair

Stefan Staber, Barbara Jobstmann, Roderick Bloem · 2005 · 10 citations

Rows per page

1–5 of 5