Mohammad Hekmatnejad

According to our database1, Mohammad Hekmatnejad authored at least 8 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Formalizing and evaluating requirements of perception systems for automated vehicles using spatio-temporal perception logic.
Int. J. Robotics Res., February, 2024

2022
PyFoReL: A Domain-Specific Language for Formal Requirements in Temporal Logic.
Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

2020
Search-based Test-CASe Generation by Monitoring Responsibility Safety Rules.
Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

2019
Model Checking Clinical Decision Support Systems Using SMT.
CoRR, 2019

Traits: An Object Oriented Dynamic Type System for Reasoning with Unstructured Data in a Type Safe Environment.
Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019, 2019

Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic.
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

Task Scheduling with Nonlinear Costs using SMT Solvers.
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

2018
Optimal Multi-Valued LTL Planning for Systems with Access Right Levels.
Proceedings of the 2018 Annual American Control Conference, 2018


  Loading...