Zahra Ramezani
Visar 11 publikationer
On Input Generators for Cyber-Physical Systems Falsification
Testing Cyber-Physical Systems Using a Line-Search Falsification Method
Temporal Logic Falsification of Cyber-Physical Systems using Input Pulse Generators
Multiple Objective Functions for Falsification of Cyber-Physical Systems
Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans
Evaluating Two Semantics for Falsification using an Autonomous Driving Example
Comparative Case Studies of Reactive Synthesis and Supervisory Control
Applying valued booleans in testing of cyber-physical systems
Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems
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
Systematisk testning av cyberfysiska system (SyTeC)