Sigal Asaf

According to our database, Sigal Asaf authored at least 9 papers between 2003 and 2021.

Collaborative distances:

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

2021

Next Generation Data Masking Engine.

Micha Moffie, Dan Mor, Sigal Asaf, Ariel Farkash

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2021

2020

Towards a GDPR compliant way to secure European cross border Healthcare Industry 4.0.

Xabier Larrucea, Micha Moffie, Sigal Asaf, Izaskun Santamaría

Comput. Stand. Interfaces, 2020

2019

Multi-value Classification of Ambiguous Personal Data.

Sigal Asaf, Ariel Farkash, Micha Moffie

Proceedings of the New Trends in Model and Data Engineering, 2019

2010

Applying Constraint Programming to Identification and Assignment of Service Professionals.

Sigal Asaf, Haggai Eran, Yossi Richter, Daniel P. Connors, Donna L. Gresh, Julio Ortega, Michael J. Mcinnis

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2007

A Framework for the Validation of Processor Architecture Compliance.

Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jaeger, Ofer Peled

Proceedings of the 44th Design Automation Conference, 2007

2005

Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification.

Merav Aharoni, Sigal Asaf, Ron Maharik, Ilan Nehama, Ilya Nikulshin, Abraham Ziv

Proceedings of the 17th IEEE Symposium on Computer Arithmetic (ARITH-17 2005), 2005

2004

Defining coverage views to improve functional coverage analysis.

Sigal Asaf, Eitan Marcus, Avi Ziv

Proceedings of the 41th Design Automation Conference, 2004

2003

FPgen - a test generation framework for datapath floating-point verification.

Merav Aharoni, Sigal Asaf, Laurent Fournier, Anatoly Koyfman, Raviv Nagel

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

Solving Range Constraints for Binary Floating-Point Instructions.

Avi Ziv, Merav Aharoni, Sigal Asaf

Proceedings of the 16th IEEE Symposium on Computer Arithmetic (Arith-16 2003), 2003