M. Ammar Ben Khadra

According to our database, M. Ammar Ben Khadra authored at least 8 papers between 2014 and 2021.

Collaborative distances:

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

2021

Techniques For Efficient Binary-Level Coverage Analysis.

Mohamed Ammar Ben Khadra

PhD thesis, 2021

2020

Efficient binary-level coverage analysis.

M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2017

An introduction to approximate computing.

M. Ammar Ben Khadra

CoRR, 2017

E3Solver: decision tree unification by enumeration.

M. Ammar Ben Khadra

CoRR, 2017

Speculative disassembly of binary code.

M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

goSAT: Floating-point satisfiability as global optimization.

M. Ammar Ben Khadra, Dominik Stoffel, Wolfgang Kunz

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2014

High level modeling of elastic circuits in SystemC.

Mohamed Ammar Ben Khadra, Yu Bai, Klaus Schneider

Proceedings of the 2014 Spring Simulation Multiconference, 2014

Synthesis of Distributed Synchronous Specifications to SysteMoC.

Mohamed Ammar Ben Khadra, Yu Bai, Klaus Schneider

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014