Zahra Ramezani

According to our database, Zahra Ramezani authored at least 14 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On Input Generators for Cyber-Physical Systems Falsification.

Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2024

2022

Testing Cyber-Physical Systems Using a Line-Search Falsification Method.

Zahra Ramezani, Koen Claessen, Nicholas Smallbone, Martin Fabian, Knut Åkesson

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

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

Zahra Ramezani, Knut Åkesson

CoRR, 2022

Falsification of Cyber-Physical Systems using Bayesian Optimization.

Zahra Ramezani, Kenan Sehic, Luigi Nardi, Knut Åkesson

CoRR, 2022

2021

Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators.

Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson

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.

Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

2019

Evaluating Two Semantics for Falsification using an Autonomous Driving Example.

Zahra Ramezani, Nicholas Smallbone, Martin Fabian, Knut Åkesson

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Comparative Case Studies of Reactive Synthesis and Supervisory Control.

Zahra Ramezani, Jonas Krook, Zhennan Fei, Martin Fabian, Knut Åkesson

Proceedings of the 17th European Control Conference, 2019

2018

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

Majid Taheri Andani, Zahra Ramezani, Saeed Moazami, Jinde Cao, Mohammad Mehdi Arefi, Hassan Zargarzadeh

Complex., 2018

A risk-constrained and energy efficient stochastic approach for autonomous overtaking.

Zahra Ramezani, Davide Gagliardi, Luigi del Re

Proceedings of the 16th European Control Conference, 2018

Applying Valued Booleans in Testing of Cyber-Physical Systems.

Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson, Sajed Miremadi

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₁R antagonists/serotonin transporter (SERT) inhibitors.

Somayeh Zare, Masood Fereidoonnezhad, Davoud Afshar, Zahra Ramezani

Comput. Biol. Chem., 2017

Risk functions oriented autonomous overtaking.

Dominik Moser, Zahra Ramezani, Davide Gagliardi, Jinwei Zhou, Luigi del Re

Proceedings of the 11th Asian Control Conference, 2017

Adaptive backstepping control for a class of uncertain MIMO systems with unknown control gain sign.

Zahra Ramezani, Mohammad Mahdi Arefi, Hassan Zargarzadeh, Mohammad Reza Jahed-Motlagh

Proceedings of the 2017 American Control Conference, 2017