|
Eine Ebene nach oben |
Gruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 3
2021
Khaled, Mahmoud und Zamani, Majid
(2021):
Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems.
In: IEEE Design & Test, Bd. 38, Nr. 5: S. 25-34
2020
Lavaei, Abolfazl; Khaled, Mahmoud; Soudjani, Sadegh und Zamani, Majid
(2020):
Poster: AMYTISS: A Parallelized Tool on Automated Controller Synthesis for Large-Scale Stochastic Systems.
In: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (HSCC2020) (Part of Cps-Iot Week)
2019
Khaled, Mahmoud und Zamani, Majid
(2019):
pFaces: An Acceleration Ecosystem for Symbolic Control.
In: Proceedings of the 2019 22Nd Acm International Conference on Hybrid Systems: Computation and Control (Hscc '19): S. 252-257