A semi-formal approach for analog circuits behavioral properties verification. - Ons Lahiouel; Henda Aridhi; Mohamed H. Zaki; Sofiène Tahar (ACM Great Lakes Symposium on VLSI, 2014)

Enablingy the DC solutions characterization using a fuzzy approach. - Ons Lahiouel; Henda Aridhi; Mohamed H. Zaki; Sofiène Tahar (NEWCAS, 2014)

Towards enhancing analog circuits sizing using SMT-based techniques. - Ons Lahiouel; Mohamed H. Zaki; Sofiène Tahar (DAC, 2015)

Enhancing analog yield optimization for variation-aware circuits sizing. - Ons Lahiouel; Mohamed H. Zaki; Sofiène Tahar (DATE, 2017)

Exploiting bounds optimization for the semi-formal verification of analog circuits. - Ons Lahiouel; Henda Aridhi; Mohamed H. Zaki; Sofiène Tahar (Integr., 2017)

Accelerated and Reliable Analog Circuits Yield Analysis Using SMT Solving Techniques. - Ons Lahiouel; Mohamed H. Zaki; Sofiène Tahar (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)