( en | de | ru )

 

Disambiguation of "Rezine, Ahmed"

Author of the publication

copydeleteadd this publication to your clipboard
Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors.

, , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (3): 714-727 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ahmed Rezine

Ahmed Fattah Ahmed Ahmed

Ejaz Ahmed

Yasar Luqman Ahmed

Sayed Tawfik Ahmed

 

Other publications of authors with the same name

Verification-Friendly Deep Neural Networks., , and . CoRR, (2023)Quantifying the Information Leakage in Cache Attacks via Symbolic Execution., , , and . ACM Trans. Embed. Comput. Syst., 18 (1): 7:1-7:27 (2019)SafeDeep: A Scalable Robustness Verification Framework for Deep Neural Networks., , , and . ICASSP, page 1-5. IEEE, (2023)Verifying Safety of Parameterized Heard-Of Algorithms., , , and . NETYS, volume 12129 of Lecture Notes in Computer Science, page 209-226. Springer, (2020)An integrated specification and verification technique for highly concurrent data structures., , , , and . Int. J. Softw. Tools Technol. Transf., 19 (5): 549-563 (2017)On Reachability in Parameterized Phaser Programs., , , , and . TACAS (1), volume 11427 of Lecture Notes in Computer Science, page 299-315. Springer, (2019)Stability-aware integrated routing and scheduling for control applications in Ethernet networks., , , , , and . DATE, page 682-687. IEEE, (2018)Correction to: An integrated specification and verification technique for highly concurrent data structures., , , , and . Int. J. Softw. Tools Technol. Transf., 23 (5): 825 (2021)Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors., , , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 39 (3): 714-727 (2020)Breaking Silos to Guarantee Control Stability with Communication over Ethernet TSN., , , , , and . IEEE Des. Test, 38 (5): 48-56 (2021)