Ulrik Nyman

Ulrik Nyman

Associate Professor, Aalborg University
在 cs.aau.dk 的电子邮件经过验证
被引用次数：1647
Interface Theories Modal Transition System Model Checking Schedulability Analysis
Mohammad Ashjaei

Mohammad Ashjaei

Associate professor (Docent) at Mälardalen University
在 mdh.se 的电子邮件经过验证
被引用次数：1501
Real-Time Systems Real-time Communication Schedulability Analysis Response Time Analysis Resource Reservation
Leonid Mokrushin

Leonid Mokrushin

Principal Researcher at Ericsson AB
在 ericsson.com 的电子邮件经过验证
被引用次数：1102
Artificial Intelligence Model Checking Schedulability Analysis
Zain A. H. Hammadeh

Zain AH Hammadeh

Institute for Software Technology, German Aerospace Center (DLR)
在 dlr.de 的电子邮件经过验证
被引用次数：262
Real-time systems Space Cybersecurity Schedulability analysis Embedded systems
Chaitanya Belwal

Chaitanya Belwal

Adjunct Professor, University of Houston - Clear Lake
在 cs.uh.edu 的电子邮件经过验证
被引用次数：194
Real-time Systems Schedulability Analysis Machine Learning Data Science
Timo Feld

Timo Feld

被引用次数：183
Embedded Systems Real-time Systems Schedulability Analysis
Andoni Amurrio

Andoni Amurrio

Researcher at Ikerlan
在 ikerlan.es 的电子邮件经过验证
被引用次数：73
Real-time Systems Schedulability Analysis Scheduling Algorithms
Javier Fernández

Javier Fernández

PhD. in Computer Science
被引用次数：24
Schedulability analysis Extra functional Properties Analysis software Software embedded in Satellites CBSE
Sandro Di Leonardi

Sandro Di Leonardi

Scuola Superiore Sant'Anna
在 santannapisa.it 的电子邮件经过验证
被引用次数：9
Real-time systems schedulability analysis cyber-security vulnerability
Thilanka Thilakasiri

Thilanka Thilakasiri

Doctoral Student, KTH Royal Institute of Technology
在 kth.se 的电子邮件经过验证
被引用次数：9
Real-time systems Schedulability analysis Multi-core Safety-critical systems