Homepage
Mitra Nasri
Assistant Professor (Tenure Track)
Electronic Systems Group
Eindhoven University of Technology (TU/e)
Email: m.nasri AT tue.nl
Address [main]: Room 4.135, Groene Loper 19 (Flux), 5612AP Eindhoven, Netherlands
Address [secondary]: Eindhoven Artificial Intelligence Systems Institute, Eindhoven University of Technology, PO Box 513, Eindhoven 5600 MB, the Netherlands
TU/e Researcher's Page: https://www.tue.nl/en/research/researchers/mitra-nasri/
- Designing and analyzing scheduling algorithms to create robust, predictable, dependable, and high-performance platforms for safety-critical cyber-physical and real-time systems.
- Schedulability and timing analysis of learning-based scheduling algorithms.
- Real-time systems security, in particular, scheduler-based solutions.
- Timing-predictability in robotic operating system (ROS).
- Designing state-space exploration techniques for configuring timing parameters of real-time systems including periods, deadlines, offsets, and priorities.
- Co-designing control and cyber-physical systems to improve the quality of service and timing predictability considering hardware and software platform specifications.
- Computational complexity analysis and approximation algorithm design.
- Schedule-abstraction graph: an accurate and efficient technique for response-time analysis in real-time systems. See SAG homepage
- Dependable and time-predictable Robot Operating System (ROS) [webpage will be added soon]
- Response-time analysis and prediction for real-time applications on edge/cloud continuim. See EU TRANSACT project homepage, or TU/e TRANSACT project homepage
- Scheduling adaptive modular manufacturing systems (applied on Canon Production Printing). See SAM-FMS project.
- Applied Combinatorial Algorithms (5LIG0), Q2 2021-2022,
course structure,
evaluation (by students): 8.4,
teaching award
- Multiprocessors (5LIE0), Q3 2021-2022,
course structure,
evaluation (by students): 8.8,
- Applied Combinatorial Algorithms (5LIG0), Q2 2020-2021,
course structure,
evaluation (by students): 8.4,
teaching award
- Multiprocessors (5LIE0), Q3 2020-2021,
course structure,
evaluation (by students): 7.2,
- TU-Delft: Real-Time Systems (IN4343), Q3 2020-2021, guest lecturer
- TU-Delft: Quantitative Performance Evaluation for Computing Systems (CS4215), Q1 2019-2020
- TU-Delft: Real-Time Systems (IN4343), Q3 2019-2020
- TU-Delft: Real-Time Systems (IN4343), Q3 2018-2019
- Topics for master students: (please contact me if you are interested).
- We have a PhD position on analyzing smart scheduling policies for real-time systems (required expertise: formal methods, real-time systems, machine learning). If you are interested to learn more about it, please visit the PhD position page.
- 2022: Best paper award of the RTAS’22 conference.
- 2020: Outstanding paper award of the RTSS’20 conference.
- 2020: Granted an Irène Curie Fellowship from Eindhoven University of Technology.
- 2019: Won an ASPASIA grant from the faculty of EEMCS at TUDelft for research valorization.
- 2018: Won a Delft Technology Fellowship award for assistant professors.
- 2017: Outstanding paper award of the RTAS’17 conference.
- 2016: Won an Alexander von Humboldt Fellowship for post-doctoral researcher (for 2 years).
- 2016: Best paper award of the RTNS’16 conference.
- 2015: My dissertation was awarded the Excellent grade by the University of Tehran.
- 2016: Best presentation award of the RTNS’15 conference.
- 2013: Won German Academic Exchange Service (DAAD) scholarship for Young Researchers (for 6 month)
- 2012: Ranked 1st in Cumulative GPA among all Ph.D. candidates of software engineering Ph.D. program at the University of Tehran (GPA 19.37 out of 20).
- 2009: Ranked 1st in the entrance exam for Ph.D. program in software engineering at the University of Tehran.
- 2007: Ranked 1st in Cumulative GPA among all computer engineering M.S. students at Iran University of Science and Technology (GPA 18.81 out of 20).
- 2006: Selected as a talented student by Iran University of Science and Technology for Master's Program without entrance exam.
- 2005: Ranked 2nd in Cumulative GPA among all computer engineering B.S. students at Iran University of Science and Technology (GPA 17.57 out of 20).
- 2004: Ranked 2nd in computer programming contest held at northern universities of Iran.
- 1997: Selected as a member of National Organization for Development of Exceptional Talents (NODET).
-
Assistant Professor (Feburary 2020 - present)
Eindhoven University of Technology, Netherlands.
-
Assistant Professor (Oct. 2018 - August 2020)
Delft University of Technology, Netherlands.
-
Postdoctoral Researcher (Jul. 2018 - Sept. 2018)
Max Planck Institute for Software Systems (MPI-SWS), Germany.
Responsibilities: driving my own research agenda, writing scientific papers, co-advising one Ph.D. student.
Reference: Dr. Björn B. Brandenburg
-
Alexander von Humboldt Postdoctoral Fellow (Jul. 2016 - June 2018)
Max Planck Institute for Software Systems (MPI-SWS), Germany.
Fellowship: competitive post-doctoral research fellowship awarded by the Alexander von Humboldt Foundation
Responsibilities: driving my own research agenda, writing scientific papers, co-advising one Ph.D. student.
Reference: Dr. Björn B. Brandenburg
-
Post-doctoral researcher (Apr. 2015 - May 2016)
Chair of Real-Time Systems, Technical University of Kaiserslautern, Germany.
Responsibilities: writing scientific papers, giving lectures in courses related to real-time systems at the university, writing research proposal, and supervising 3 master students.
Reference: Prof. Dipl.-Ing. Dr. Gerhard Fohler
-
Visiting researcher (Jun. 2016)
Research Centre in Real-Time and Embedded Computing Systems (CISTER), ISEP, Portugal.
Responsibilities: writing scientific papers.
Reference: Prof. Eduardo Tovar
-
Visiting researcher (DAAD scholarship) (July. 2013 - March 2014)
Chair of Real-Time Systems, Technical University of Kaiserslautern, Germany.
Responsibilities: writing scientific papers and giving lectures in courses related to real-time systems at the university.
Reference: Prof. Dipl.-Ing. Dr. Gerhard Fohler
- Member of the Department Council of the Electrical Engineering Department at Eindhoven University of Technology (since Jan. 2022)
Technical Program Committee Membership
- IEEE Real-Time Systems Symposium, RTSS 2020, 2019, 2018
- IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2022, 2018, 2017
- Euromicro Conference on Real-Time Systems, ECRTS 2021
- Design Automation Conference, DAC 2021, 2020
- Design, Automation and Test in Europe, DATE 2022
- ACM SIGBED International Conference on Embedded Software, EMSOFT 2020, 2019, 2018
- Annual Conference on Innovative Applications of Artificial Intelligence, IAAI 2021
- IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2022, 2021, 2020
- IEEE Annual Conference on Emerging Technologies and Factory Automation, ETFA 2022, 2021
- Workshop on Operating Systems Platforms for Embedded Real-Time Applications, OSPERT 2017
- International Real-Time Scheduling Open Problems Seminar, RTSOPS 2022
- CSI International Symposium on Real-Time and Embedded Systems and Technologies, RTEST 2018
- Workshop on Mixed Criticality Systems, WMC 2015, 2016
- Junior Researcher Workshop on Real-Time Computing, JRWRTC 2013, 2014, 2015
Organizational or Other Roles
- Track co-chair of the "real-time, dependable and privacy-enhanced systems track" (E2) at the Design, Automation and Test in Europe Conference (DATE'23)
- Award committee of the International Conference on Real-Time Networks and Systems (RTNS'22)
- Deputy track chair of Track 2 at the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'22)
- Track co-chair of the "real-time, dependable and privacy-enhanced systems track" (E2) at the Design, Automation and Test in Europe Conference (DATE'22)
- Publicity chair of the CPS International Symposeum on Real-Time and Embedded Systems and Technologies (RTEST'22)
- Workshop co-chair of CPS-IoT-Week 2020
- Chair of the Brief-Presentation track (Work-in-Progress, Work-already-Published, and Tools and Demos) at RTAS 2019 (BP-RTAS'19)
- Chair of the Junior Researcher Workshop on Real-Time Computing (JRWRTC'17)
Journal Reviewer
-
ACM Transactions on Embedded Computing Systems (TECS),
IEEE Transactions on Parallel and Distributed Systems (TPDS),
IEEE Transactions on Computers (TC),
Real-Time Systems Journal (RTSJ),
Journal of Systems Architecture (JSA),
Journal of Scheduling (JS),
Journal of Software Systems (JSS),
Information Processing Letters (IPL), and IEEE Design & Test.
Conference Co-Reviewer
-
Real-Time Systems Symposium (RTSS 2018, 2016, 2015, 2014),
ACM SIGBED International Conference on Embedded Software (EMSOFT 2022),
Euromicro Conference on Real-Time Systems (ECRTS 2018, 2017, 2016, 2015, 2014),
Real-Time and Embedded Technology and Applications (RTAS 2018, 2017, 2016, 2015),
International Conference on Real-Time Networks and Systems (RTNS 2016, 2015, 2014),
Embedded and Real-Time Computing Systems and Applications (RTCSA 2015)
My publications in Google Scholar.
Books and monographs
- Mitra Nasri, "Analyzing and Improving Quality of Service of Real-Time Embedded Systems in Dynamic Environments," Ph.D. Thesis, the University of Tehran, Iran, 2015.
- Omid Kashefi, Mitra Nasri, and Kamyar Kanani, "Automatic Spell Checking in Persian Language," Supreme Council of Information and Communication Technology (SCICT), Tehran, Iran.
Peer Reviewed Journal Papers
- Serban Vadineanu and Mitra Nasri,
"Robust and Accurate Regression-Based Techniques for Period Inference in Real-Time Systems,"
Real-Time Systems Journal (RTS), Springer, 2022.
[paper |
5min video |
25min video |
slides |
toolchain on Github]
- Benny Akesson, Mitra Nasri, Geoffrey Nelissen, Sebastian Altmeyer, Robert I. Davis,
"A Comprehensive Survey of Industry Practice in Real-Time Systems," Real-Time Systems Journal (RTS), Springer, 2021.
[paper |
data |
companion page |
presentation video (25 min)]
- Morteza Mohaqeqi, Mitra Nasri, Yang Xu, Anton Cervin, and Karl-Erik Arzen,
"Optimal Harmonic Period Assignment: Complexity Results and Approximation Algorithms," Real-Time Systems Journal (RTS), Springer, vol. 54, pp. 830–860.
[paper]
- Mitra Nasri,
"On Flexible and Robust Parameter Assignment for Periodic Real-Time Components,"
ACM SIGBED Review, vol. 14, no. 3, 2017, pp. 8-15.
[paper]
- Mitra Nasri and Mehdi Kargahi,
"Precautious-RM: A Predictable Non-preemptive Scheduling Algorithm for Harmonic Tasks,"
[paper]
Real-Time Systems Journal, Springer, vol. 50, no. 4, 2014, pp. 548-584.
- Mitra Nasri, Mehdi Kargahi, and Morteza Mohaqeqi,
"Scheduling of Accuracy-Constrained Real-Time Systems in Dynamic Environments,"
[paper]
IEEE Embedded Systems Letters, IEEE Computer Society, vol. 4, no. 3, 2012, pp. 61-64.
Peer Reviewed Conference Papers
- Sayra Ranjha, Geoffrey Nelissen, Mitra Nasri,
"Partial-Order Reduction for Schedule-Abstraction-based Response-Time Analyses of Non-Preemptive Tasks,"
the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2022.
Best Paper Award .
[paper |
slides |
video (25min, 300MB) |
open source on github ]
- Geoffrey Nelissen, Joan Marce-i-Igual, Mitra Nasri,
"Response-Time Analysis for Non-Preemptive Periodic Moldable Gang Tasks,"
the Euromicro Conference on Real-Time Systems (ECRTS), 2022.
- Pourya Gohari, Mitra Nasri, Jeroen Voeten,
"Data-Age Analysis for Multi-Rate Task Chains under Timing Uncertainty,"
the International Conference on Real-Time Networks and Systems (RTNS), 2022.
[paper |
slides ]
- Sena Hounsinou, Mark Stidd, Uchenna Ezeobi, Habeeb Olufowobi, Mitra Nasri, and Gedare Bloom,
"Vulnerability of Controller Area Network to Schedule-Based Attacks,"
the IEEE Real-Time Systems Symposium (RTSS), 2021.
[paper |
video]
- Serban Vadineanu and Mitra Nasri,
"Robust and Accurate Period Inference using Regression-Based Techniques,"
the IEEE Real-Time Systems Symposium (RTSS), 2020.
Outstanding Paper Award.
[paper |
5min video |
25min video |
slides |
toolchain on Github]
- Benny Akesson, Mitra Nasri, Geoffrey Nelissen, Sebastian Altmeyer, Robert I. Davis,
"An Empirical Survey-based Study into Industry Practice in Real-time Systems,"
the IEEE Real-Time Systems Symposium (RTSS), 2020.
[paper |
extended version |
data |
companion page |
25min video |
RTSS panel video]
- Suhail Nogd, Geoffrey Nelissen, Mitra Nasri, and Björn B. Brandenburg,
"Response-Time Analysis for Non-Preemptive Global Scheduling with FIFO Spin Locks,"
the IEEE Real-Time Systems Symposium (RTSS), 2020.
[paper |
25min video ]
- Saranya Natarajan, Mitra Nasri, David Broman, Björn B. Brandenburg, and Geoffrey Nelissen,
"From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C,"
the IEEE Real-Time Systems Symposium (RTSS), 2019, pp. 167-180.
[paper |
toolchain on Github |
open source on github ]
- Mitra Nasri, Geoffrey Nelissen, and Björn B. Brandenburg,
"Response-Time Analysis of Limited-Preemptive Parallel DAG Tasks under Global Scheduling",
the Euromicro Conference on Real-Time Systems (ECRTS), 2019, pp. 21:1-21:23.
[paper |
slides |
open source on github ]
- Arpan Gujarati, Mitra Nasri, Rupak Majumdar, and Björn B. Brandenburg,
"From Iteration to System Failure: Characterizing the FITness of Periodic Weakly-Hard Systems",
the Euromicro Conference on Real-Time Systems (ECRTS), 2019, pp. 9:1-9:23.
[paper |
slides |
extended version]
- Mitra Nasri, Thidapat Chantem, Gedare Bloom, and Ryan M. Gerdes,
"On the Pitfalls and Vulnerabilities of Schedule Randomization against Schedule-Based Attacks",
the IEEE conference Real-Time and Embedded Systems and Applications Symposium (RTAS), 2019.
[paper |
slides]
- Beyazit Yalcinkaya, Mitra Nasri, and Björn B. Brandenburg,
"An Exact Schedulability Test for Non-Preemptive Self-Suspending Real-Time Tasks",
the Design, Automation, and Test in Europe (DATE), 2019, pp. 1222-1227.
[paper |
slides]
- Mitra Nasri, Geoffrey Nelissen, and Björn B. Brandenburg,
"A Response-Time Analysis for Non-preemptive Job Sets under Global Scheduling",
the Euromicro Conference on Real-Time Systems (ECRTS), 2018, pp. 9:1-9:23.
[paper (extended version) |
slides |
open source on github ]
- Arpan Gujarati, Mitra Nasri, and Björn B. Brandenburg,
"Quantifying the Resiliency of Fail-Operational Real-Time Networked Control Systems,"
the Euromicro Conference on Real-Time Systems (ECRTS), 2018, pp. 16:1-16:24.
[paper |
extended version |
slides]
- Mitra Nasri, Robert I. Davis, and Björn B. Brandenburg,
"FIFO with Offsets: High Schedulability with Low Overheads,”
the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2018, pp. 271–282.
[paper]
- Mitra Nasri and Björn B. Brandenburg,
"An Exact and Sustainable Analysis of Non-Preemptive Scheduling”,
the Real-Time Systems Symposium (RTSS), 2017, pp. 1-12.
[paper |
slides]
- Mitra Nasri and Björn B. Brandenburg,
"Offline Equivalence: A Non-Preemptive Scheduling Technique for Resource-Constrained Embedded Real-Time Systems”,
the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2017, pp. 75-86.
Outstanding Paper Award .
[paper |
slides |
companion page]
- Mitra Nasri, Morteza Mohaqeqi, and Gerhard Fohler,
"Quantifying the Effect of Period Ratios on Schedulability of Rate Monotonic,"
the Real-Time Networks and Systems (RTNS), 2016, pp. 161-170.
[paper |
technical report |
slides]
- Morteza Mohaqeqi, Mitra Nasri, Yang Xu, Anton Cervin, and Karl-Erik Arzen,
"On the Problem of Finding Optimal Harmonic Periods,"
the Real-Time Networks and Systems (RTNS), 2016, pp. 171-180.
Best Paper Award .
[paper |
slides]
- Mitra Nasri, Geoffrey Nelissen, and Gerhard Fohler,
"A New Approach for Limited Preemptive Scheduling in Systems with Preemption Overhead,"
the Euromicro Conference on Real-Time Systems (ECRTS), 2016, pp. 25-35.
[Paper]
- Mitra Nasri and Gerhard Fohler,
"Non-Work-Conserving Non-preemptive Scheduling: Motivations, Challenges, and Potential Solutions,"
the Euromicro Conference on Real-Time Systems (ECRTS), 2016, pp. 165-175.
[paper]
- Mitra Nasri and Gerhard Fohler,
"Non-Work-Conserving Scheduling of Non-preemptive Hard Real-Time Tasks based on Fixed Priorities,"
the Real-Time Networks and Systems (RTNS), ACM, 2015, pp. 309-318.
Best Presentation Award .
[paper |
slides]
- Mitra Nasri and Gerhard Fohler,
"An Efficient Method for Assigning Harmonic Periods to Hard Real-Time Tasks with Period Ranges,"
the Euromicro Conference on Real-Time Systems (ECRTS), IEEE Computer Society, 2015, pp. 149-159.
[paper]
- Mitra Nasri, Sanjoy Baruah, Gerhard Fohler, and Mehdi Kargahi,
"On the Optimality of EDF and RM for Non-preemptive Real-Time Harmonic Tasks,"
the Real-Time Networks and Systems (RTNS), ACM, 2014, pp. 331-340.
[paper]
- Mitra Nasri, Gerhard Fohler, and Mehdi Kargahi,
"A Framework to Construct Customized Harmonic Periods for Real-Time Systems,"
the Euromicro Conference on Real-Time Systems (ECRTS), IEEE Computer Society, 2014, pp. 211-220.
[paper]
- Mitra Nasri and Mehdi Kargahi,
"A Method for Improving Delay-Sensitive Accuracy in Real-Time Embedded Systems,"
the IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), IEEE Computer Society, 2012, pp. 378-387.
- Mitra Nasri and Mohsen Sharifi,
"Load Balancing using Consistent Hashing: a Real Challenge for Large Scale Distributed Web Crawlers," the IEEE International Conference on Advance Information Networking and Applications (WAINA), IEEE Computer Society, 2009, pp. 715-720.
- Mitra Nasri, Saeed Shariati, and Mohammad Abdolahi Azgomi,
"Performance Modeling of a Distributed Web Crawler using Stochastic Activity Networks," the Communications in Computer and Information Science (CCIS), Springer-Verlag, 2008, pp. 535-542.
- Mitra Nasri, Saeed Shariati, and Mohsen Sharifi,
"Availability and Accuracy of Distributed Web Crawlers: a Model-Based Evaluation," the UKSIM European Symposium on Computer Modeling and Simulation (EMS), IEEE Computer Society, 2008, pp. 453-458.
Peer-Reviewed Workshop Papers
- Eghonghon-Aye Eigbe, Bart De Schutter, Mitra Nasri, and Neil Yorke-Smith,
"Predictive Maintenance Scheduling in Twice Re-entrant Flow Shops with Due Dates,"
ICAPS Workshop on Scheduling and Planning Applications woRKshop (ICAPS SPARK), 2022.
- Sayra Ranjha, Mitra Nasri, Geoffrey Nelissen,
"Work-in-Progress: Partial-Order Reduction in Reachability-based Response-Time Analyses,"
the IEEE Real-Time Systems Symposium (RTSS), 2021.
[paper |
slides |
video]
- Mitra Nasri,
"Towards an automated, efficient, and accurate schedulability analysis for real-time cyber-physical systems,"
International Real-Time Systems Open Problems Seminar (RTSOPS’19), 2019.
[slides]
- Arpan Gujarati, Mitra Nasri, and Björn B. Brandenburg,
“Lower-Bounding the MTTF for Systems with (m,k) Constraints and IID Iteration Failure Probabilities”,
Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), 2017.
[paper]
- Mitra Nasri and Geoffrey Nelissen,
"Increasing Fixed-Priority Schedulability using Non-periodic Load Shapers,"
International Real-Time Scheduling Open Problems Seminar (RTSOPS), 2017, pp. 17-18. Best Paper Award .
[paper |
slides
- Mitra Nasri and Emmanuel Grolleau,
"On the Existence of a Cyclic Schedule for Non-preemptive Periodic Tasks with Release Offset,"
International Real-Time Scheduling Open Problems Seminar (RTSOPS), 2017, pp. 11-13.
[paper |
slides]
- Arpan Gujarati, Mitra Nasri, and Björn B. Brandenburg,
"Quantifying the Resiliency of Replicated Networked Control Systems to Transient Faults,"
Work-in-Progress of the Euromicro Conference on Real-Time Systems (WiP-ECRTS), 2017, pp. 16-19.
[paper |
Slides |
Poster]
- Mitra Nasri,
"On Flexible and Robust Parameter Assignment for Periodic Real-Time Components,"
International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS), 2016.
[paper]
- Mitra Nasri and Gerhard Fohler,
"Some Results in Rate Monotonic Scheduling with Priority Promotion,"
Work-in-Progress of the Euromicro Conference on Real-Time Systems (WiP-ECRTS), 2015, pp. 5-8.
[paper]
- Mitra Nasri and Gerhard Fohler,
"Open Problems on Non-preemptive Scheduling of Mixed-Criticality Real-Time Systems,"
International Real-Time Scheduling Open Problems Seminar (RTSOPS), 2015, pp. 17-18.
[paper]
- Mitra Nasri, Gerhard Fohler, and Nafiseh Moti,
"Guaranteeing Schedulability of Splittable Hard Real-Time Tasks for Non-preemptible Devices,"
Work-in-Progress of the Euromicro Conference on Real-Time Systems (WiP-ECRTS), 2014, pp. 1-5.
[paper]
- Azadeh Zamanifar, Mitra Nasri, and Mehdi Soryani,
"A Hybrid Technique for Reducing Leakage Energy with Improving Performance,"
International CSI Computer Conference (CSICC), Short Paper, 2008, pp. 453-458 [in Persian].
- Mitra Nasri, Mohsen Sharifi, and Vandad Nasri,
"FarsCom: a Computer Algorithm for Detection of Farsi Compound Words,"
the Iranian Conference on Linguistics (ICL), vol. 2, 2007, pp. 546-558 [in Persian].
- Mitra Nasri, Mohsen Sharifi, and Vandad Nasri,
"FarsVer: a Computer Algorithm for Farsi Verb Stemming," the Iranian Conference on Linguistics (ICL), vol. 2, 2007, pp. 531-545 [in Persian].
- Mitra Nasri and Behrouz Minaei-Bidgoli,
"A Persian Search Engine to Overcome Farsi Calligraphy Challenges," the Iranian Conference on Linguistics (ICL), vol. 2, 2007, pp. 619-631 [in Persian].
- Mitra Nasri, Mohammad Abdollahi Azgomi, and Hossein Ahmadzade,
"Market Mechanism on Designing Agents for E-Commerce," the International CSI Computer Conference (CSICC), 2007, [in Persian].
- Pourya Gohari (Ph.D. student), topic: "Smart and Analyzable Scheduling for Real-Time Systems", Eindhoven University of Technology, started June 2021
- Nasim Samimi Dehkordi (Ph.D. student), topic: "Performance Management for Time-Sensitive Cyber-Physical Systems Running on Cloud Platforms", Eindhoven University of Technology, TRANSACT project, started Aug. 2021
- Joan Marce i Igual (Ph.D. student), topic: "Modular scheduling of Cyber-Physical Production Systems", Eindhoven University of Technology, NWO SAM-FMS project, started Oct. 2020
- Eghonghon-Aye Eigbe (Ph.D. student), Thesis: "Constraint-based Real-time Scheduling in Flexible Manufacturing Systems", Delft University of Technology, NWO SAM-FMS project, started Sep. 2020
- Martijn Hendriks (Postdoc), topic: "Predictable Performance for Time-Sensitive CPS Applications in Cloud (related to the TRANSACT project)", Eindhoven University of Technology, started Feburary 2022
- Yimi Zhao (master student), topic: "Finding Counter Examples in Reachability-Based Response-Time Analysis", Eindhoven University of Technology
- Antoine de Bock (master student), topic: "Multi-Objective Routing with Moving Targets", Eindhoven University of Technology
- Vincent Geleijnse (master student), topic: "Cost-Effective Orchesteration of ROS 2.0 Applications for Autonomous Driving (Autoware)", Eindhoven University of Technology
- Andre Faesen (master student), topic: "Partial-Order Reduction in Reachability-based Schedulability Analyses for Multicore Platforms", Eindhoven University of Technology
- Cody Arets (master student), topic: "Schedule Prediction and Anomaly Detection using Learning-Based Techniques", Eindhoven University of Technology
- Michal Mikołajczyk (master student), topic: "Response-time Analysis of Conditional DAG Tasks using Schedule-Abstraction Technique", Eindhoven University of Technology
- Shixun Wu (master student), topic: "Machine-Learning based Priority Assignment for Real-Time Parallel DAG Tasks", Delft University of Technology
- Ping Bai (master student),
Thesis: "Reinforcement Learning for Factory Automation and Planning", Eindhoven University of Technology,
Thesis
- Sayra Ranjha (master student),
Thesis: "Partial-Order Reduction in Reachability-based Schedulability Analyses", Delft University of Technology,
Thesis,
IRIS presentation (9 out of 10)
- Grzegorz Krukiewicz-Gacek (master student),
Thesis: "A Priority-Based Real-Time Scheduling Framework for ROS2", Delft University of Technology,
Thesis
- Charles Randolph (master student), Thesis: "Improving the Timing Predictability of ROS2-based Applications using Schedule Synthesis", Delft University of Technology, Thesis, presentation, 30 minutes video (8.5 out of 10)
- Akhil Jain (co-supervised master student), Thesis: "Accurate Ultra-Wide Band Localization using Multiple Antenna", Delft University of Technology, Thesis
- Caspar Treijtel (master student), Thesis: "Parametric Measurement-based WCET Estimation for Multiprocessor Platforms", Delft University of Technology, Thesis
- Nathan van Ofwegen (master student), Thesis: "Investigating Non-Work-Conserving Scheduling in Event-Driven Real-Time Systems", Delft University of Technology, Thesis, Presentation
- Srinidhi Srinivasan (co-supervised master student), Thesis: "Schedulability Analysis of Globally Scheduled Preemptive Applications", Delft University of Technology, Thesis (8.5 out of 10), Presentation
- Kanya Satis (master student), Thesis: "Designing Safe 2.5D Tangible Shape Displays", Delft University of Technology, Thesis
- Joan Marcè i Igual (co-supervised master student), Thesis: "Schedulability Analysis of Limited-Preemptive Moldable Gang Tasks", Delft University of Technology, Thesis (9 out of 10), Presentation
- Suhail Nogd (co-supervised master student), Thesis: "Response-Time Analysis for Non-Preemptive Global Scheduling with Spin Locks", Delft University of Technology, Thesis (9.5 out of 10), Presentation
- Şerban Vădineanu (master student), Thesis: "Deriving Timing Properties from System Traces using Data-driven Techniques", Delft University of Technology Thesis (9 out of 10) , Presentation
- Eghonghon-Aye Eigbe (master student), Thesis: "Low-Overhead Semi-Partitioned Scheduling of Non-Preemptive Parallel Applications", Delft University of Technology, Thesis (9 out of 10), Presentation
- Arpan Gujarati (co-supervised Ph.D. student), Max Planck Institute for Software Systems, Thesis: "Failures-In-Time Analysis for Fault-Tolerant Distributed Real-Time Systems"
- Zai Zhang (master student), Technical University of Kaiserslautern, Thesis: "Improving Schedulability of CAN Networks using a Distributed Non-Work-Conserving Scheduling Algorithm"
- Gokul Vasan L. Jayachandrababu (master student), Technical University of Kaiserslautern, Project: "Implementing an Efficient Slot-Shifting Algorithm"
- Sinduja Selvan (master student), Technical University of Kaiserslautern, Thesis: "Improving Schedulability of CAN Networks through Task Grouping