English

Sök på liu.se

Utbildning
Forskning
Samverkan

Hem

Om LiU
Aktuellt
Jobba på LiU
Kontakt

English

Utbildning
Forskning
Samverkan
Om LiU
Aktuellt
Jobba på LiU
- Lediga jobb
- Hjälp för sökande
Kontakt
- Uppgifter om LiU
- Visselblåsarrutin

Fotografi av Petru Eles

Petru Eles

Professor

Kontakt

petru.eles@liu.se
013-28 13 96
1396

Organisation

Institutionen för datavetenskap (IDA)
Programvara och system (SAS)

Besöksadress

B-huset, Ingång 29B, Rum 329.220
Campus Valla

Publikationer
Forskning
Utbildning

Presentation

PublikationerVisa/dölj innehåll

2021

Zeinab Ganjei, Ahmed Rezine, Petru Ion Eles, Zebo Peng (2021) Verifying Safety of Parameterized Heard-Of Algorithms

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

Till publikationsdatabas

Taggar Visa/dölj innehåll

Medarbetare
Inbyggda system (ESLAB)
Programvara och system (SAS)
Institutionen för datavetenskap (IDA)
Linköpings universitet (LIU)
Petru Eles (petel71)
Professor

Visa alla taggar Göm alla taggar

Dela på

Facebook Twitter LinkedIn Email

Linköpings universitet

581 83 Linköping

infocenter@liu.se
013-28 10 00

LiU:s integritetspolicy

Följ oss

Facebook
Twitter
Instagram
LinkedIn

Hitta hit

Kartinformation

Campus Norrköping

Campus Lidingö

Snabblänkar

Universitetsbibliotek

Internt

Webbplatsansvarig: webmaster@liu.se

På liu.se använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor. Läs mer om cookies och vår hantering av personuppgifter på Om webbplatsen