Zahra Ramezani

Publications (11)
Projects (1)

Showing 11 publications

2024

On Input Generators for Cyber-Physical Systems Falsification

Zahra Ramezani, Alexandre Donzé, Martin Fabian et al

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Vol. 43 (4), p. 1274-1287

Journal article

2022

On Optimization-Based Falsification of Cyber-Physical Systems

Zahra Ramezani

Doctoral thesis

2022

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

Zahra Ramezani, Koen Claessen, Nicholas Smallbone et al

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Vol. 41 (8), p. 2393-2406

Journal article

2021

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

Zahra Ramezani, Alexandre Donzé, Martin Fabian et al

EPiC Series in Computing. Vol. 80, p. 195-202

Paper in proceeding

2020

Multiple Objective Functions for Falsification of Cyber-Physical Systems

Zahra Ramezani, Johan Lidén Eddeland, Koen Claessen et al

IFAC-PapersOnLine. Vol. 53 (4), p. 417-422

Paper in proceeding

2020

Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans

Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone et al

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Vol. 39 (12), p. 5247-5260

Journal article

Show project

2020

Enhancing Temporal Logic Falsification of Cyber-Physical Systems using multiple objective functions and a new optimization method

Zahra Ramezani

Licentiate thesis

2019

Evaluating Two Semantics for Falsiﬁcation using an Autonomous Driving Example

Zahra Ramezani, Nicholas Smallbone, Martin Fabian et al

IEEE International Conference on Industrial Informatics (INDIN). Vol. 2019-July, p. 386-391

Paper in proceeding

Show project

2019

Comparative Case Studies of Reactive Synthesis and Supervisory Control

Zahra Ramezani, Jonas Krook, Zhennan Fei et al

2019 18th European Control Conference, ECC 2019, p. 1752-1759

Paper in proceeding

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 proceeding

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 proceeding

Show project

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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)

30 publications exist

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