Zahra Ramezani

Orcid: 0000-0001-7404-2105

According to our database1, Zahra Ramezani authored at least 14 papers between 2017 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
On Input Generators for Cyber-Physical Systems Falsification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2024

2022
Testing Cyber-Physical Systems Using a Line-Search Falsification Method.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Technical Report: The effect of Input Parameters on Falsification of Cyber-Physical Systems.
CoRR, 2022

Falsification of Cyber-Physical Systems using Bayesian Optimization.
CoRR, 2022

2021
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators.
Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020
Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

2019
Evaluating Two Semantics for Falsification using an Autonomous Driving Example.
Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Comparative Case Studies of Reactive Synthesis and Supervisory Control.
Proceedings of the 17th European Control Conference, 2019

2018
Observer-Based Sliding Mode Control for Path Tracking of a Spherical Robot.
Complex., 2018

A risk-constrained and energy efficient stochastic approach for autonomous overtaking.
Proceedings of the 16th European Control Conference, 2018

Applying Valued Booleans in Testing of Cyber-Physical Systems.
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

2017
A comparative QSAR analysis and molecular docking studies of phenyl piperidine derivatives as potent dual NK<sub>1</sub>R antagonists/serotonin transporter (SERT) inhibitors.
Comput. Biol. Chem., 2017

Risk functions oriented autonomous overtaking.
Proceedings of the 11th Asian Control Conference, 2017

Adaptive backstepping control for a class of uncertain MIMO systems with unknown control gain sign.
Proceedings of the 2017 American Control Conference, 2017


  Loading...