Concepedia

Amr Sayed-Ahmed

AS

3

Publications

101

Citations

3

H-Index

2010

Active since

Affiliations

University of Bremen(Current)

École Polytechnique Fédérale de Lausanne

Amr Sayed-Ahmed is an author at University of Bremen specializing in formal methods, formal verification, and computer engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationComputer EngineeringVerificationParallel ComputingProgram AnalysisHardware SecurityAutomated Reasoning

Publications per year

2010–2016

3

Publications

3

Formal Verification of Integer Multipliers by Combining Gröbner Basis with Logic Reduction

Amr Sayed-Ahmed, Daniel Große, Ulrich Kühne et al. · 2016 · 77 citations

Engineering, Symbolic Computation, Applied Algebra +17

Three engines to solve verification constraints of decimal Floating-Point operation

Amr Sayed-Ahmed, Hossam A. H. Fahmy, Mahmoud Y. Hassan · 2010 · 14 citations

Mathematical Programming, Engineering, Hardware Verification Language +17

Equivalence checking using Gröbner bases

Amr Sayed-Ahmed, Daniel GroBe, Mathias Soeken et al. · 2016 · 10 citations

Engineering, Hardware Verification Language, Verification +16

Rows per page

1–3 of 3