Zahra Ramezani

16 papers C 2Journal 9Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Falsification of Cyber-physical Systems Using Bayesian Optimization.
ACM Trans. Embed. Comput. Syst.
Zahra Ramezani, Kenan Sehic, Luigi Nardi, Knut Åkesson
2024 J jnl
On Input Generators for Cyber-Physical Systems Falsification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson
2022 J jnl
Falsification of Cyber-Physical Systems using Bayesian Optimization.
CoRR
Zahra Ramezani, Kenan Sehic, Luigi Nardi, Knut Åkesson
2022 J jnl
Technical Report: The effect of Input Parameters on Falsification of Cyber-Physical Systems.
CoRR
Zahra Ramezani, Knut Åkesson
2022 J jnl
Testing Cyber-Physical Systems Using a Line-Search Falsification Method.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Zahra Ramezani, Koen Claessen, Nicholas Smallbone, Martin Fabian, Knut Åkesson
2021 — conf
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators.
ARCH@ADHS
Zahra Ramezani, Alexandre Donzé, Martin Fabian, Knut Åkesson
2020 J jnl
Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson
2019 — conf
Comparative Case Studies of Reactive Synthesis and Supervisory Control.
ECC
Zahra Ramezani, Jonas Krook, Zhennan Fei, Martin Fabian, Knut Åkesson
2019 J jnl
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans.
CoRR
Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson
2019 C conf
Evaluating Two Semantics for Falsification using an Autonomous Driving Example.
INDIN
Zahra Ramezani, Nicholas Smallbone, Martin Fabian, Knut Åkesson
2018 — conf
A risk-constrained and energy efficient stochastic approach for autonomous overtaking.
ECC
Zahra Ramezani, Davide Gagliardi, Luigi del Re
2018 — conf
Applying Valued Booleans in Testing of Cyber-Physical Systems.
MT@CPSWeek
Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson, Sajed Miremadi
2018 J jnl
Observer-Based Sliding Mode Control for Path Tracking of a Spherical Robot.
Complex.
Majid Taheri Andani, Zahra Ramezani, Saeed Moazami, Jinde Cao, Mohammad Mehdi Arefi, Hassan Zargarzadeh
2017 J jnl
A comparative QSAR analysis and molecular docking studies of phenyl piperidine derivatives as potent dual NK
Comput. Biol. Chem.
Somayeh Zare, Masood Fereidoonnezhad, Davoud Afshar, Zahra Ramezani
2017 C conf
Adaptive backstepping control for a class of uncertain MIMO systems with unknown control gain sign.
ACC
Zahra Ramezani, Mohammad Mahdi Arefi, Hassan Zargarzadeh, Mohammad Reza Jahed-Motlagh
2017 — conf
Risk functions oriented autonomous overtaking.
ASCC
Dominik Moser, Zahra Ramezani, Davide Gagliardi, Jinwei Zhou, Luigi del Re