Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Sharar Ahmadi
conf.researchr.org general profile
ICSE 2023 profile
ICSE 2024 profile
MODELS 2025 profile
SPLASH 2022 profile
Registered user since Wed 7 Sep 2022
Name:
Sharar Ahmadi
Contributions
2025
MODELS
Author of Diagrammatic physical robot models within the Journal-First-track
2024
FormaliSE
Committee Member in Artifact Evaluation Committee within the FormaliSE 2024-track
2023
FormaliSE
Artifact Evaluation Committee Member in Artifact Evaluation Committee within the FormaliSE 2023-track
2022
FTSCS
Author of Proving Memory Access Violations in Isabelle/HOL within the Formal Techniques for Safety-Critical Systems-track
Share
x
Sun 26 Oct 18:28