Modeling discrete event system with distributions using SystemVerilog. - Jomu George Mani Paret; Otmane Aït Mohamed (ISCAS, 2012)

Coverage Driven Test Generation and Consistency Algorithm. - Jomu George Mani Paret; Otmane Aït Mohamed (KDPD, 2013)

Optimum domain partitioning to increase functional verification coverage. - Jomu George Mani Paret; Otmane Aït Mohamed (ISQED, 2015)