Samy Amin

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Earth Observing

Mobile Platforms

Formal Verification

Top Venues

Publications

Amr Alanwar, Frank J. Jiang, Samy Amin, Karl Henrik Johansson
Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions. CDC (2023)
Ahmed Farid, Ahmed Samy, Ahmed Shalaby, Ahmed Tarek, Mahmoud Ayyad, Muhammad Assem, Samy Amin
Utilizing Low-Cost Linux Micro-Computer & Android Phone Solutions on Cube-Satellites. CoRR (2022)
Amr Alanwar, Frank J. Jiang, Samy Amin, Karl Henrik Johansson
Logical Zonotope: A Set Representation for Binary Vectors. CoRR (2022)