Gila Kamhi

According to our database, Gila Kamhi authored at least 27 papers between 1997 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Modeling the Effect of Driver's Eye Gaze Pattern Under Workload: Gaussian Mixture Approach.

Ron M. Hecht, Ariel Telpaz, Gila Kamhi, Omer Tsimhoni, Aharon Bar-Hillel, Naftali Tishby

Proceedings of the 42th Annual Meeting of the Cognitive Science Society, 2020

2019

Marker-less Vision-based Detection of Improper Seat Belt Routing.

Michael Baltaxe, Ruben Mergui, Kobi Nistel, Gila Kamhi

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Information Constrained Control for Visual Detection of Important Areas.

Ron M. Hecht, Ariel Telpaz, Gila Kamhi, Aharon Bar-Hillel, Naftali Tishby

Proceedings of the IEEE International Conference on Acoustics, 2019

2018

An Approach for Measurement of Passenger Comfort: Real-Time Classification based on In-Cabin and Exterior Data.

Ariel Telpaz, Michael Baltaxe, Ron M. Hecht, Guy Cohen-Lazry, Asaf Degani, Gila Kamhi

Proceedings of the 21st International Conference on Intelligent Transportation Systems, 2018

2014

Learner Engagement Measurement and Classification in 1: 1 Learning.

Sinem Aslan, Zehra Cataltepe, Itai Diner, Onur Dundar, Asli Arslan Esme, Ron Ferens, Gila Kamhi, Ece Oktay, Canan Soysal, Murat Yener

Proceedings of the 13th International Conference on Machine Learning and Applications, 2014

2011

Transaction level statistical analysis for efficient micro-architectural power and performance studies.

Eman Copty, Gila Kamhi, Sasha Novakovsky

Proceedings of the 48th Design Automation Conference, 2011

2010

Challenges and methodologies for efficient power budgeting across the die.

Pinkesh J. Shah, Yoni Aizik, Muhammad K. Mhameed, Gila Kamhi

Proceedings of the 20th ACM Great Lakes Symposium on VLSI 2009, 2010

2009

Intelligate: An Algorithm for Learning Boolean Functions for Dynamic Power Reduction.

Roni Wiener, Gila Kamhi, Moshe Y. Vardi

J. Low Power Electron., 2009

MAGENTA: transaction-based statistical micro-architectural root-cause analysis.

Gila Kamhi, Alexander Novakovsky, Andreas Tiemeyer, Adriana Wolffberg

Proceedings of the 46th Design Automation Conference, 2009

2008

Intelligate: Scalable Dynamic Invariant Learning for Power Reduction.

Roni Wiener, Gila Kamhi, Moshe Y. Vardi

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2008

Power-Aware Design via Micro-architectural Link to Implementation.

Yoni Aizik, Gila Kamhi, Yael Zbar, Hadas Ronen, Muhammad Abozaed

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2008

A Temporal Language for SystemC.

Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman

Proceedings of the Formal Methods in Computer-Aided Design, 2008

A new paradigm for synthesis and propagation of clock gating conditions.

Ranan Fraer, Gila Kamhi, Muhammad K. Mhameed

Proceedings of the 45th Design Automation Conference, 2008

2007

Interactive presentation: PowerQuest: trace driven data mining for power optimization.

Pietro Babighian, Gila Kamhi, Moshe Y. Vardi

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Early Power-Aware Design & Validation: Myth or Reality?

Gila Kamhi, Sarah Miller, Stephen Bailey Mentor, Wolfgang Nebel, Y. C. Wong, Juergen Karmann, Enrico Macii, Stephen V. Kosonocky, Steve Curtis

Proceedings of the 44th Design Automation Conference, 2007

2004

Pattern search in hierarchical high-level designs.

Zvi Terem, Gila Kamhi, Moshe Y. Vardi, Amitai Irron

Proceedings of the 2004 11th IEEE International Conference on Electronics, 2004

2003

Efficient debugging in a formal verification environment.

Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi

Int. J. Softw. Tools Technol. Transf., 2003

Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation.

Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002

Accelerated verification of RTL assertions based on satisfiability solvers.

Ranan Fraer, Shahid Ikram, Gila Kamhi, Tim Leonard, Abdel Mokkedem

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

A hybrid verification approach: getting deep into the design.

Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix

Proceedings of the 39th Design Automation Conference, 2002

2001

Is There a Best Symbolic Cycle-Detection Algorithm?

Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Benefits of Bounded Model Checking at an Industrial Setting.

Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification.

Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting.

Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi

Proceedings of the First International Workshop on Symbolic Model Checking, 1999

1998

Adaptive variable reordering for symbolic model checking.

Gila Kamhi, Limor Fix

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Symbolic Model Checking Visualization.

Gila Kamhi, Limor Fix, Ziv Binyamini

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1997

Automatic Datapath Extraction for Efficient Usage of HDD.

Gila Kamhi, Osnat Weissberg, Limor Fix

Proceedings of the Computer Aided Verification, 9th International Conference, 1997