Gila Kamhi

A Temporal Language for SystemC

Deian Tabakov, Gila Kamhi, Moshe Y. Vardi et al. · 2008 · 46 citations

Engineering, Verification, Software Engineering +17

A hybrid verification approach

Scott Hazelhurst, Osnat Weissberg, Gila Kamhi et al. · Proceedings - ACM IEEE Design Automation Conference · 2002 · 36 citations

Engineering, Verification, Computer-aided Verification +17

A new paradigm for synthesis and propagation of clock gating conditions

Ranan Fraer, Gila Kamhi, Muhammad K. Mhameed · 2008 · 35 citations

Engineering, Power Optimization (Eda), Electronic Design +17

Learner Engagement Measurement and Classification in 1:1 Learning

Sinem Aslan, Zehra Çataltepe, Itai Diner et al. · 2014 · 34 citations

Engineering, Machine Learning, Learner Engagement +21

Efficient debugging in a formal verification environment

Fady Copty, Amitai Irron, Osnat Weissberg et al. · International Journal on Software Tools for Technology Transfer · 2003 · 25 citations

Program Checking, Engineering, Runtime Verification +10