Zahra Ramezani
Doktorand vid
Chalmers, Elektroteknik, System- och reglerteknik, Automation
Zahra Ramezani är doktorand i forskargruppen för Automation.
Källa: chalmers.se
Visar 3 publikationer
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
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)
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.