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 (ACC, 2017)

Risk functions oriented autonomous overtaking. - Dominik Moser; Zahra Ramezani; Davide Gagliardi; Jinwei Zhou; Luigi del Re (ASCC, 2017)

A comparative QSAR analysis and molecular docking studies of phenyl piperidine derivatives as potent dual NK1R antagonists/serotonin transporter (SERT) inhibitors. - Somayeh Zare; Masood Fereidoonnezhad; Davoud Afshar; Zahra Ramezani (Comput. Biol. Chem., 2017)

Applying Valued Booleans in Testing of Cyber-Physical Systems. - Koen Claessen; Nicholas Smallbone; Johan Lidén Eddeland; Zahra Ramezani; Knut Åkesson; Sajed Miremadi (MT@CPSWeek, 2018)

A risk-constrained and energy efficient stochastic approach for autonomous overtaking. - Zahra Ramezani; Davide Gagliardi; Luigi del Re (ECC, 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)

Comparative Case Studies of Reactive Synthesis and Supervisory Control. - Zahra Ramezani; Jonas Krook; Zhennan Fei; Martin Fabian; Knut Åkesson (ECC, 2019)

Evaluating Two Semantics for Falsification using an Autonomous Driving Example. - Zahra Ramezani; Nicholas Smallbone; Martin Fabian; Knut Åkesson (INDIN, 2019)

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)

Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators. - Zahra Ramezani; Alexandre Donzé; Martin Fabian; Knut Åkesson (ARCH@ADHS, 2021)

Technical Report: The effect of Input Parameters on Falsification of Cyber-Physical Systems. - Zahra Ramezani; Knut Åkesson (CoRR, 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)

On Input Generators for Cyber-Physical Systems Falsification. - Zahra Ramezani; Alexandre Donzé; Martin Fabian; Knut Åkesson (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Falsification of Cyber-physical Systems Using Bayesian Optimization. - Zahra Ramezani; Kenan Sehic; Luigi Nardi; Knut Åkesson (ACM Trans. Embed. Comput. Syst., 2025)