Zahra Ramezani

Doctoral Student at Chalmers, Electrical Engineering, Systems and control, Automation

Zahra Ramezani is a PhD student in the Automation group. She is a part of a project on “Systematic Testing of Cyber-Physical Systems” under supervision of Prof. Knut Åkesson and Prof. Martin Fabian.She received both her bachelor's degree and master's degree in Electrical Engineering, Control in Iran.

Source: chalmers.se

Showing 4 publications

2019

Evaluating Two Semantics for Falsification using an Autonomous Driving Example

Zahra Ramezani, Nicholas Smallbone, Martin Fabian et al
Proceedings (editor)
2019

Comparative Case Studies of Reactive Synthesis and Supervisory Control

Zahra Ramezani, Jonas Krook, Zhennan Fei et al
2019 18TH EUROPEAN CONTROL CONFERENCE (ECC), p. 1752-1759
Paper in proceedings
2018

Applying valued booleans in testing of cyber-physical systems

Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland et al
Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018, p. 8-9
Paper in proceedings
2018

Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems

Koen Lindström Claessen, Nicholas Smallbone, Johan Lidén Eddeland et al
IFAC-PapersOnLine. Vol. 51 (7), p. 408-415
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

Showing 1 research projects

2017–2022

Systematic testing of cyber-physical systems (SyTeC)

John Hughes Functional Programming
Koen Lindström Claessen Functional Programming
Martin Fabian Automation
Mary Sheeran Functional Programming
Bengt Lennartson Automation
Nicholas Smallbone Functional Programming
Zahra Ramezani Automation
Knut Åkesson Automation
Swedish Research Council (VR)

There might be more projects where Zahra Ramezani participates, but you have to be logged in as a Chalmers employee to see them.