Concepedia
Statistics
Publications
40
Citations
1.5K
H-Index
22
Active since
1993
Affiliations
University of Kaiserslautern(Current)
Texas A&M University
University of Potsdam
Max Planck Society
Stanford University
Wolfgang Kunz is an author at University of Kaiserslautern specializing in formal methods, engineering, and computer science.
Top concepts
EngineeringComputer ScienceFormal MethodsComputer EngineeringFormal VerificationVerificationProgram AnalysisHardware SecurityComputer ArchitectureAutomated Reasoning
Publications per year
1993–2022
Recursive learning: a new implication technique for efficient solutions to CAD problems-test, verification, and optimization
Wolfgang Kunz, Dhiraj K. Pradhan · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1994 · 214 citations
Artificial Intelligence, Mathematical Programming, Circuit Complexity +28
Recursive Learning: An attractive alternative to the decision tree for test generation in digital ci
Wolfgang Kunz, Dhiraj K. Pradhan · 2005 · 161 citations
Artificial Intelligence, Engineering, Test Data Generation +23
Wolfgang Kunz, Dhiraj K. Pradhan · 2005 · 74 citations
HANNIBAL: An efficient tool for logic verification based on recursive learning
Wolfgang Kunz · Proceedings of 1993 International Conference on Computer Aided Design (ICCAD) · 2002 · 72 citations
Circuit Complexity, Engineering, Verification +22
Unbounded Protocol Compliance Verification Using Interval Property Checking With Invariants
Minh Duc Nguyen, Max Thalmaier, Markus Wedler et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2008 · 64 citations
Engineering, Reachability Problem, Information Security +19
1–5 of 40