Ulrik Nyman

Ulrik Nyman

Associate Professor, Aalborg University
Verified email at cs.aau.dk
Cited by 1614
Interface Theories Modal Transition System Model Checking Schedulability Analysis
Mohammad Ashjaei

Mohammad Ashjaei

Associate professor (Docent) at Mälardalen University
Verified email at mdh.se
Cited by 1429
Real-Time Systems Real-time Communication Schedulability Analysis Response Time Analysis Resource Reservation
Leonid Mokrushin

Leonid Mokrushin

Principal Researcher at Ericsson AB
Verified email at ericsson.com
Cited by 1093
Artificial Intelligence Model Checking Schedulability Analysis
Zain A. H. Hammadeh

Zain AH Hammadeh

Institute for Software Technology, German Aerospace Center (DLR)
Verified email at dlr.de
Cited by 250
Real-time systems Space Cybersecurity Schedulability analysis Embedded systems
Chaitanya Belwal

Chaitanya Belwal

Adjunct Professor, University of Houston - Clear Lake
Verified email at cs.uh.edu
Cited by 194
Real-time Systems Schedulability Analysis Machine Learning Data Science
Timo Feld

Timo Feld

Cited by 183
Embedded Systems Real-time Systems Schedulability Analysis
Andoni Amurrio

Andoni Amurrio

Researcher at Ikerlan
Verified email at ikerlan.es
Cited by 61
Real-time Systems Schedulability Analysis Scheduling Algorithms
Javier Fernández

Javier Fernández

PhD. in Computer Science
Cited by 23
Schedulability analysis Extra functional Properties Analysis software Software embedded in Satellites CBSE
Sandro Di Leonardi

Sandro Di Leonardi

Scuola Superiore Sant'Anna
Verified email at santannapisa.it
Cited by 9
Real-time systems schedulability analysis cyber-security vulnerability
Thilanka Thilakasiri

Thilanka Thilakasiri

Doctoral Student, KTH Royal Institute of Technology
Verified email at kth.se
Cited by 9
Real-time systems Schedulability analysis Multi-core Safety-critical systems