Zahra Ramezani

Publikationer (10)
Projekt (1)

Visar 10 publikationer

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

2022

On Optimization-Based Falsification of Cyber-Physical Systems

Zahra Ramezani

Doktorsavhandling

2021

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

Zahra Ramezani, Alexandre Donzé, Martin Fabian et al

8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21). Vol. 80, p. 195-202

Paper i proceeding

2020

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

Zahra Ramezani

Licentiatavhandling

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

Visa projekt

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

2019

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

Zahra Ramezani, Nicholas Smallbone, Martin Fabian et al

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

Paper i proceeding

Visa projekt

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 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

Visa projekt

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.

Visar 1 forskningsprojekt

2017–2022

Systematisk testning av cyberfysiska system (SyTeC)

John Hughes Funktionell programmering

Koen Lindström Claessen Funktionell programmering

Martin Fabian Automation

Mary Sheeran Funktionell programmering

Bengt Lennartson Automation

Nicholas Smallbone Funktionell programmering

Zahra Ramezani Automation

Knut Åkesson Automation

Vetenskapsrådet (VR)

26 publikationer finns

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.