Ahmed Mahdi

17 papers B 1Journal 4Unranked 11
YearRankTypeTitle / Venue / Authors
2021 J jnl
A Multirate Fully Parallel LDPC Encoder for the IEEE 802.11n/ac/ax QC-LDPC Codes Based on Reduced Complexity XOR Trees.
IEEE Trans. Very Large Scale Integr. Syst.
Ahmed Mahdi, Nikos Kanistras, Vassilis Paliouras
2019 J jnl
Novel Method of Improving Quality of Service for Voice over Internet Protocol Traffic in Mobile Ad Hoc Networks.
Int. J. Commun. Networks Inf. Secur.
Abdullah Shakir, Raed A. Alsaqour, Maha S. Abdelhaq, Amal Alhussan, Mohd Othman, Ahmed Mahdi
2017 — conf
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.
MBMV
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
2017 — —
Advancing software model-checking by SMT interpolation beyond decidable arithmetic theories: an approach to verify safety properties in embedded and hybrid system models.
Ahmed Mahdi
2017 — conf
Anthropometric Evaluation of the Design of the Classroom Desk for the Eighth and the Ninth Grades of Benghazi Schools.
AHFE (18)
Ahamed AlTaboli, Najia Nawras, Ahmed Mahdi, Hanin Alzardomi, Mohammed Alyseri, Mhammed Alkendi
2016 — conf
Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.
SC²@SYNASC
Felix Neubauer, Karsten Scheibler, Bernd Becker, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer
2016 B conf
Accurate ICP-based floating-point reasoning.
FMCAD
Karsten Scheibler, Felix Neubauer, Ahmed Mahdi, Martin Fränzle, Tino Teige, Tom Bienmüller, Detlef Fehrer, Bernd Becker
2016 — conf
Advancing Software Model Checking Beyond Linear Arithmetic Theories.
Haifa Verification Conference
Ahmed Mahdi, Karsten Scheibler, Felix Neubauer, Martin Fränzle, Bernd Becker
2015 J jnl
On the Encoding Complexity of Quasi-Cyclic LDPC Codes.
IEEE Trans. Signal Process.
Ahmed Mahdi, Vassilis Paliouras
2014 J jnl
A Low Complexity-High Throughput QC-LDPC Encoder.
IEEE Trans. Signal Process.
Ahmed Mahdi, Vassilis Paliouras
2014 — conf
Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems.
RP
Ahmed Mahdi, Martin Fränzle
2014 — conf
Transformations for Compositional Verification of Assumption-Commitment Properties.
RP
Ahmed Mahdi, Bernd Westphal, Martin Fränzle
2012 — conf
An FPGA-based prototyping method for verification, characterization and optimization of LDPC error correction systems.
ICSAMOS
Panagiotis Sakellariou, Ioannis Tsatsaragkos, Nikos Kanistras, Ahmed Mahdi, Vassilis Paliouras
2012 — conf
Hardware design and verification techniques for Giga-bit Forward-Error Correction systems on FPGAs.
ICECS
Ahmed Mahdi, Panagiotis Sakellariou, Nikos Kanistras, Ioannis Tsatsaragkos, Vassilis Paliouras
2012 — conf
Simplified Multi-Level Quasi-Cyclic LDPC Codes for Low-Complexity Encoders.
SiPS
Ahmed Mahdi, Vassilis Paliouras
2011 — conf
An encoding scheme and encoder architecture for rate-compatible QC-LDPC codes.
SiPS
Ahmed Mahdi, Nikos Kanistras, Vassilis Paliouras
2011 — conf
Digital baseband challenges for a 60GHz gigabit link.
ICECS
Nikos Kanistras, Ioannis Tsatsaragkos, Ahmed Mahdi, Konstantina Karagianni, Vassilis Paliouras, Fotios Gioulekas, E. Lalos, Kostas Adaos, Michael K. Birbas, Panos Karaivazoglou, M. V. Koziotis, M. Perakis