Solving Range Constraints for Binary Floating-Point Instructions. - Avi Ziv; Merav Aharoni; Sigal Asaf (IEEE Symposium on Computer Arithmetic, 2003)

FPgen - a test generation framework for datapath floating-point verification. - Merav Aharoni; Sigal Asaf; Laurent Fournier; Anatoly Koyfman; Raviv Nagel (HLDVT, 2003)

Defining coverage views to improve functional coverage analysis. - Sigal Asaf; Eitan Marcus; Avi Ziv (DAC, 2004)

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 (IEEE Symposium on Computer Arithmetic, 2005)

A Framework for the Validation of Processor Architecture Compliance. - Allon Adir; Sigal Asaf; Laurent Fournier; Itai Jaeger; Ofer Peled (DAC, 2007)

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 (CP, 2010)

Multi-value Classification of Ambiguous Personal Data. - Sigal Asaf; Ariel Farkash; Micha Moffie (MEDI Workshops, 2019)

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)

Next Generation Data Masking Engine. - Micha Moffie; Dan Mor; Sigal Asaf; Ariel Farkash (DPM/CBT@ESORICS, 2021)