Zahra Ramezani

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 15

Top Topics

Input Parameters

Mazurkiewicz Traces

Top Venues

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

Publications

Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson
On Input Generators for Cyber-Physical Systems Falsification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (4) (2024)
Zahra Ramezani, Kenan Sehic, Luigi Nardi, Knut Åkesson
Falsification of Cyber-Physical Systems using Bayesian Optimization. CoRR (2022)
Zahra Ramezani, Knut Åkesson
Technical Report: The effect of Input Parameters on Falsification of Cyber-Physical Systems. CoRR (2022)
Zahra Ramezani, Koen Claessen, Nicholas Smallbone, Martin Fabian, Knut Åkesson
Testing Cyber-Physical Systems Using a Line-Search Falsification Method. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (8) (2022)
Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators. ARCH@ADHS (2021)
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson
Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (12) (2020)
Zahra Ramezani, Jonas Krook, Zhennan Fei, Martin Fabian, Knut Åkesson
Comparative Case Studies of Reactive Synthesis and Supervisory Control. ECC (2019)
Zahra Ramezani, Nicholas Smallbone, Martin Fabian, Knut Åkesson
Evaluating Two Semantics for Falsification using an Autonomous Driving Example. INDIN (2019)
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans. CoRR (2019)
Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson, Sajed Miremadi
Applying Valued Booleans in Testing of Cyber-Physical Systems. MT@CPSWeek (2018)
Zahra Ramezani, Davide Gagliardi, Luigi del Re
A risk-constrained and energy efficient stochastic approach for autonomous overtaking. ECC (2018)
Majid Taheri Andani, Zahra Ramezani, Saeed Moazami, Jinde Cao, Mohammad Mehdi Arefi, Hassan Zargarzadeh
Observer-Based Sliding Mode Control for Path Tracking of a Spherical Robot. Complex. 2018 (2018)
Somayeh Zare, Masood Fereidoonnezhad, Davoud Afshar, Zahra Ramezani
R antagonists/serotonin transporter (SERT) inhibitors. Comput. Biol. Chem. 67 (2017)
Dominik Moser, Zahra Ramezani, Davide Gagliardi, Jinwei Zhou, Luigi del Re
Risk functions oriented autonomous overtaking. ASCC (2017)
Zahra Ramezani, Mohammad Mahdi Arefi, Hassan Zargarzadeh, Mohammad Reza Jahed-Motlagh
Adaptive backstepping control for a class of uncertain MIMO systems with unknown control gain sign. ACC (2017)