Zahra Ramezani

Visar 11 publikationer

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
Artikel i vetenskaplig tidskrift
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
Artikel i vetenskaplig tidskrift
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 i 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 i 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
Artikel i vetenskaplig tidskrift
2019

Evaluating Two Semantics for Falsification 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 i proceeding
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 i 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 i 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 i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.
Det kan finnas fler projekt där Zahra Ramezani medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.