Stefan Kupferschmid is an author at University of Freiburg specializing in engineering, computer science, and computer engineering.
Top concepts
EngineeringComputer ScienceComputer EngineeringSimulationReliabilityVerificationFormal MethodsProcess ControlProgram AnalysisSoftware Testing
Publications per year
2011–2013
3
3
Incremental preprocessing methods for use in BMC
Stefan Kupferschmid, Matthew Lewis, Tobias Schubert et al. · Formal Methods in System Design · 2011 · 32 citations
Functional test of small-delay faults using SAT and Craig interpolation
Matthias Sauer, Stefan Kupferschmid, Alexander Czutro et al. · 2012 · 29 citations
Rows per page
1–3 of 3