2020 Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Eles, Jianhui Jiang (2020) Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems , Vol. 39 , s. 714-727 Vidare till DOI Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Ion Eles, Jianhui Jiang (2020) Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems , Vol. 39 , s. 714-727 Vidare till DOI Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng (2020) Breaking Silos to Guarantee Control Stability with Communication over Ethernet TSN IEEE design & test Vidare till DOI Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng (2020) Security-aware Routing and Scheduling for Control Applications on Ethernet TSN Networks ACM Transactions on Design Automation of Electronic Systems , Vol. 25 Vidare till DOI 2019 Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Mathias Payer, Petru Ion Eles, Zebo Peng (2019) Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems
Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Eles, Jianhui Jiang (2020) Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems , Vol. 39 , s. 714-727 Vidare till DOI
Ying Zhang, Krishnendu Chakrabarty, Zebo Peng, Ahmed Rezine, Huawei Li, Petru Ion Eles, Jianhui Jiang (2020) Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems , Vol. 39 , s. 714-727 Vidare till DOI
Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, Zebo Peng (2020) Breaking Silos to Guarantee Control Stability with Communication over Ethernet TSN IEEE design & test Vidare till DOI
Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Petru Eles, Zebo Peng (2020) Security-aware Routing and Scheduling for Control Applications on Ethernet TSN Networks ACM Transactions on Design Automation of Electronic Systems , Vol. 25 Vidare till DOI
Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Mathias Payer, Petru Ion Eles, Zebo Peng (2019) Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems