2
Publications
39
Citations
2
H-Index
2001
Active since
Affiliations
Yaron Kashai is an author at University of Tübingen specializing in program analysis, formal verification, and computer engineering.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2001–2001
2
2
A framework for object oriented hardware specification, verification, and synthesis
Tommy Kuhn, Tobias Oppold, Markus Winterholer et al. · 2001 · 28 citations
Object oriented hardware synthesis and verification
Tommy Kuhn, Tobias Oppold, C. Schulz-Key et al. · 2001 · 11 citations
Hardware Modeling, Engineering, Hardware Verification Language +22
Rows per page
1–2 of 2