Michelle Aluf-Medina

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 5

Top Topics

Formal Verification

Formal Language

Asynchronous Circuits

Top Venues

Publications

Avraham Raviv, Yizhak Y. Elboher, Michelle Aluf-Medina, Yael Leibovich Weiss, Omer Cohen, Roy Assa, Guy Katz, Hillel Kugler
Formal Verification of Object Detection. CoRR (2024)
Avraham Raviv, Yuval Gerber, Liri Benzinou, Michelle Aluf-Medina, Hillel Kugler
Prediction and Control of Stochastic Agents Using Formal Methods. FoMLAS@CAV (2023)
Avraham Raviv, Eliya Bronshtein, Or Reginiano, Michelle Aluf-Medina, Hillel Kugler
Learning Through Imitation by Using Formal Verification. SOFSEM (2023)
Michelle Aluf-Medina, Avraham Raviv, Himanshu Arora, Till Korten, Hillel Kugler
Simulation and Verification of Network-Based Biocomputation Circuits. ISCAS (2023)
Michelle Aluf-Medina, Till Korten, Avraham Raviv, Dan V. Nicolau Jr., Hillel Kugler
Formal Semantics and Verification of Network-Based Biocomputation Circuits. VMCAI (2021)