Synthesis of Distributed Synchronous Specifications to SysteMoC. - Mohamed Ammar Ben Khadra; Yu Bai 003; Klaus Schneider 001 (MBMV, 2014)

High level modeling of elastic circuits in SystemC. - Mohamed Ammar Ben Khadra; Yu Bai 003; Klaus Schneider 001 (SpringSim (TMS-DEVS), 2014)

goSAT: Floating-point satisfiability as global optimization. - M. Ammar Ben Khadra; Dominik Stoffel; Wolfgang Kunz (FMCAD, 2017)

Speculative disassembly of binary code. - M. Ammar Ben Khadra; Dominik Stoffel; Wolfgang Kunz (MBMV, 2017)

E3Solver: decision tree unification by enumeration. - M. Ammar Ben Khadra (CoRR, 2017)

An introduction to approximate computing. - M. Ammar Ben Khadra (CoRR, 2017)

Efficient binary-level coverage analysis. - M. Ammar Ben Khadra; Dominik Stoffel; Wolfgang Kunz (ESEC/SIGSOFT FSE, 2020)

Techniques For Efficient Binary-Level Coverage Analysis. - Mohamed Ammar Ben Khadra (2021)