Homepage

Mitra Nasri

Assistant Professor (Tenure Track)

Electronic Systems Group
Eindhoven University of Technology (TU/e)

Email: m.nasri AT tue.nl
Address: Room 4.135, Groene Loper 19 (Flux), 5612AP Eindhoven, Netherlands
TU/e Researcher's Page: https://www.tue.nl/en/research/researchers/mitra-nasri-nasrabadi/

Research Interests

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.

Teaching

Available positions and topics

Topics for master students: (please contact me if you are interested).
3 PhD and 1 Postdoc in distributed safety-critical Cyber Physical Systems

Honors

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).

Education

Ph.D. in Electrical and Computer Engineering – Software (Sep. 2009 - Jan. 2015)
School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran
Dissertation title: "Analyzing and Improving Quality of Service of Real-Time Embedded Systems in Dynamic Environments"
Master in Computer Engineering – Software (Jan. 2006 - Sep. 2008)
School of Computer Engineering, Iran University of Science and Technology, Tehran, Iran
Dissertation title: "Load Balancing Distributed Web Crawlers Based on Web Structure"
Bachelor in Computer Engineering – Software (Sep. 2001 - Sep. 2005)
School of Computer Engineering, Iran University of Science and Technology, Tehran, Iran

Research Experience

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

Community Service

Technical Program Committee Membership

IEEE Real-Time Systems Symposium, RTSS 2020, 2019, 2018
Design Automation Conference, DAC 2021, 2020
ACM SIGBED International Conference on Embedded Software, EMSOFT 2020, 2019, 2018
IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2018, 2017
Euromicro Conference on Real-Time Systems, ECRTS 2021
Annual Conference on Innovative Applications of Artificial Intelligence, IAAI 2021
IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2020, 2021
IEEE Annual Conference on Emerging Technologies and Factory Automation, ETFA 2021
Workshop on Operating Systems Platforms for Embedded Real-Time Applications, OSPERT 2017
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

Organization Roles

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 2019
Chair of the Junior Researcher Workshop on Real-Time Computing, JRWRTC 2017

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), 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)

Publications

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

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, Springer, (to appear).
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," 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," IEEE Embedded Systems Letters, IEEE Computer Society, vol. 4, no. 3, 2012, pp. 61-64.

Peer Reviewed Conference Papers

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, presentation (5min video, 25min video, and 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, presentation video (25 min), RTSS panel video(20 min)
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, presentation (25 min 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, schedulability analysis 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, schedulability analysis 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), presentation , schedulability analysis 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
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, Presentation
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, Presentation
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, Presentation
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.

Workshop Papes and Abstracts

Mitra Nasri, "Towards an automated, efficient, and accurate schedulability analysis for real-time cyber-physical systems," in the 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”, the 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," the 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," the 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," the 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," the 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," the 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," the 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," the 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," in the Proceedings the 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].

Current students

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
Kevin (Alberto) Nuñez Rodas (master student), topic: "Response-time Analysis of Self-Suspending Tasks using Schedule-Abstraction Technique", Eindhoven University of Technology
Ping Bai (co-supervised master student), topic: "Reinforcement Learning for Factory Automation and Planning", Eindhoven University of Technology
Sayra Ranjha (master student), topic: "Partial-Order Reduction in Reachability-based Schedulability Analyses", Delft University of Technology
Grzegorz Krukiewicz-Gacek (master student), topic: "An Application-aware Scheduling Framework for Real-Time ROS2 Applications", Delft University of Technology

Alumni

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 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

Other Activities and Memberships

ACM member since 2018
IEEE member since 2020
IEEE student member from 2009 to 2014
Member of Society of Professors against Plagiarism in Iran since 2010.