Mohammad Hekmatnejad

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 10

Top Topics

Verification Method

Transition Systems

Top Venues

Publications

Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos
Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic. Int. J. Robotics Res. 43 (2) (2024)
Mohammad Hekmatnejad, Bardh Hoxha, Jyotirmoy V. Deshmukh, Yezhou Yang, Georgios Fainekos
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic. CoRR (2022)
Jacob Anderson, Mohammad Hekmatnejad, Georgios Fainekos
PyFoReL: A Domain-Specific Language for Formal Requirements in Temporal Logic. RE (2022)
Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos
Search-based Test-Case Generation by Monitoring Responsibility Safety Rules. CoRR (2020)
Mohammad Hekmatnejad, Bardh Hoxha, Georgios Fainekos
Search-based Test-CASe Generation by Monitoring Responsibility Safety Rules. ITSC (2020)
Mohammad Hekmatnejad, Georgios Fainekos
Model Checking Clinical Decision Support Systems Using SMT. CoRR (2019)
Davide Sottara, Mark Proctor, Stefano Bragaglia, Mohammad Hekmatnejad
Traits: An Object Oriented Dynamic Type System for Reasoning with Unstructured Data in a Type Safe Environment. RuleML+RR (Supplement) (2019)
Mohammad Hekmatnejad, Giulia Pedrielli, Georgios Fainekos
Task Scheduling with Nonlinear Costs using SMT Solvers. CASE (2019)
Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos
Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. MEMOCODE (2019)
Mohammad Hekmatnejad, Georgios Fainekos
Optimal Multi-Valued LTL Planning for Systems with Access Right Levels. ACC (2018)