Publications
Mitra Nasri, Eindhoven University of Technology (TU/e), The Netherlands
Mitra Nasri, Eindhoven University of Technology (TU/e), The Netherlands
Mitra Nasri, “Analyzing and Improving Quality of Service of Real-Time Embedded Systems in Dynamic Environments”, Ph.D. Thesis, University of Tehran, Iran, 2015. (Supervisor: Dr. Mehdi Kargahi)
Omid Kashefi, Mitra Nasri, and Kamyar Kanani, “Automatic spell checking in Persian language,” Supreme Council of Information and Communication Technology (SCICT), Tehran, Iran, 2010.
Pourya Gohari, Jeroen Voeten, Mitra Nasri, “Towards a Unified Framework for Modeling and Analyzing User-Defined Online Non-preemptive Scheduling Policies,” IEEE Transactions on Computers, vol. 74, no. 10, pp. 3347-3361, 2025. [paper | repository]
Mitra Nasri, Sanjoy Baruah, “Guest Editorial: A Roadmap Towards Learning-Enabled and Learning-Assisted Real-Time Systems,” Real-Time Systems Journal, Springer, vol. 61, 183–184, 2025. [special issue]
Eghonghon-Aye Eigbe, Bart De Schutter, Mitra Nasri, and Neil Yorke-Smith, “Sequence- and time-dependent maintenance scheduling in twice re-entrant flow shops,” IEEE Access, vol. 11, pp. 103461-103475, 2023. [open access paper]
Sayra Ranjha, Pourya Gohari, Geoffrey Nelissen, Mitra Nasri, “Partial-order reduction in reachability-based response-time analyses of limited-preemptive DAG tasks,” Real-Time Systems Journal, Springer, vol. 59, pp. 201-255. [open access paper | repository]
Serban Vadineanu and Mitra Nasri, “Robust and accurate regression-based techniques for period inference in real-time systems,” Real-Time Systems Journal, Springer, vol. 58, no. 3, 2022, pp. 313 -357 [open access paper | repository].
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, Springer, vol. 58, no. 3, 2021, pp. 358-398 [open access paper | presentation video | panel video | companion page].
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, vol. 54, no. 4, 2018, pp. 830-860 [open access 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,” Real-Time Systems Journal, Springer, vol. 50, no. 4, 2014, pp. 548-584. [paper]
Mitra Nasri, Mehdi Kargahi, and Morteza Mohaqeqi, “Scheduling of accuracy-constrained real-time systems in dynamic environments,” IEEE Embedded Systems Letters, vol. 4, no. 3, 2012, pp. 61-64. [paper]
Nasim Samimi, Luca Abeni, Daniel Casini, Mauro Marinoni, Twan Basten, Mitra Nasri, Marc Geilen, Alessandro Biondi, “Enabling containerisation of distributed applications with real-time constraints,” the Euromicro Conference on Real-Time Systems (ECRTS’25), 2025, Volume 335, pp. 3:1-3:29. [paper | repository]
Pourya Gohari, Michal Mikołajczyk, Tim van de Klundert, Jeroen Voeten, Mitra Nasri, Geoffrey Nelissen, “Response-time Analysis of Conditional DAG Tasks under Limited-Preemptive Global Scheduling,” in the Real-Time Networks and Systems (RTNS’25), 2025. [tba]
Nasim Samimi, Daniel Casini, Luca Abeni, Twan Basten,Marc Geilen, Mitra Nasri, Alessandro Biondi, “Real-Time Resource Scaling and Service Allocation for Mobile Devices in Edge-Cloud Continuum,” in the Real-Time Networks and Systems (RTNS’25), 2025. [tba]
Pourya Gohari, Jeroen Voeten, and Mitra Nasri, “Reachability-Based Response-Time Analysis of Preemptive Tasks Under Global Scheduling,” the Euromicro Conference on Real-Time Systems (ECRTS’24), 2024, pp. 3:1-3:24. [paper | slides]
Pourya Gohari, Jeroen Voeten, and Mitra Nasri, “Leveraging Parallelism in Global Scheduling to Improve State Space Exploration in the SAG Framework,” the Real-Time Networks and Systems (RTNS’24), 2024. [paper | slides]
Pourya Gohari, Jeroen Voeten, and Mitra Nasri, “Towards a Safe and Latency-Aware Fault-Tolerant Scheduling Technique for Multi-Rate Task Chains,” the Real-Time Networks and Systems (RTNS’24), 2024. [paper | slides]
Nasim Samimi, Mitra Nasri, Twan Basten, Marc Geilen, “Online Admission Test for Real-Time Tasks with Arrival Curves for Server Platforms,” the Real-Time Networks and Systems (RTNS’24), 2024. [paper]
Nasim Samimi, Mitra Nasri, Twan Basten, Marc Geilen, “Guaranteeing weakly-hard timing constraints of real-time server-based systems,” the IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'24), 2024. [paper | slides]
Pourya Gohari, Jeroen Voeten, and Mitra Nasri, “Response-time analysis of fault-tolerant hard real-time systems under global scheduling,” International Conference on Embedded and Real-Time Computing Systems and Applications pp. 263-264 (RTCSA'23), 2023, pp. 263-264. [paper]
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’22), 2022, pp. 121-132. [Best Paper Award] [paper | slides | repository]
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’22), 2022, pp. 12:1-12:22. [paper | repository]
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’22), 2022, pp. 24-35. [paper | slides | repository]
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’21), 2021, pp. 495-507. [paper]
Serban Vadineanu and Mitra Nasri, “Robust and accurate period inference using regression-based techniques,” the IEEE Real-Time Systems Symposium (RTSS’20), 2020, pp. 358-370. [Outstanding Paper Award] [paper | slides | repository]
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’20), 2020, pp. 1-9. [paper | presentation video | panel video | companion page]
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’20), 2020, pp. 115-127. [paper | slides]
Saranya Natarajan, Mitra Nasri, David Broman, Björn B. Brandenburg, and Geoffrey Nelissen, “From code to weakly hard guarantees: A pragmatic end-to-end toolchain for timed C”, to appear in the IEEE Real-Time Systems Symposium (RTSS’19), 2019. [paper | toolchain on github]
Mitra Nasri, Geoffrey Nelissen, and Björn B. Brandenburg, “Response-time analysis of limited-preemptive parallel DAG tasks under global scheduling,” in the Euromicro Conference on Real-Time Systems (ECRTS’19), 2019, pp. 21:1-21:23. [paper | slides | repository]
Arpan Gujarati, Mitra Nasri, Rupak Majumdar, and Björn B. Brandenburg, “From iteration to system failure: characterizing the FITness of periodic weakly-hard systems,” in the Euromicro Conference on Real-Time Systems (ECRTS’19), 2019, pp. 9:1-9:23. [paper | slides]
Mitra Nasri, Thidapat Chantem, Gedare Bloom, and Ryan M. Gerdes, “On the pitfalls and vulnerabilities of schedule randomization against schedule-based attacks,” in the IEEE Real-Time and Embedded Systems and Applications Symposium (RTAS’19), 2019, pp. 103-116. [paper | slides]
Beyazit Yalcinkaya, Mitra Nasri, and Björn B. Brandenburg, “An exact schedulability test for non-preemptive self-suspending real-time tasks,” in the Design, Automation, and Test in Europe (DATE’19), 2019, pp. 1222–1227. [paper | slides | repository]
Mitra Nasri, Geoffrey Nelissen, and Björn B. Brandenburg, “A response-time analysis for non-preemptive job sets under global scheduling,” in the Euromicro Conference on Real-Time Systems (ECRTS’18), 2018, pp. 9:1--9:23. [paper | slides | repository]
Arpan Gujarati, Mitra Nasri, and Björn B. Brandenburg, “Quantifying the resiliency of fail-operational real-time networked control systems,” in the Euromicro Conference on Real-Time Systems (ECRTS’18), 2018, pp. 16:1--16:24. [paper | slides]
Mitra Nasri, Robert I. Davis, and Björn B. Brandenburg, “FIFO with offsets: high schedulability with low overheads,” in the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’18), 2018, pp. 271–282. [paper | slides | companion page]
Mitra Nasri and Björn B. Brandenburg, “An exact and sustainable analysis of non-preemptive scheduling,” in the IEEE Real-Time Systems Symposium (RTSS’17), 2017, pp. 1-12. [paper | slides | repository]
Mitra Nasri and Björn B. Brandenburg, “Offline equivalence: a non-preemptive scheduling technique for resource-constrained embedded real-time systems,” in the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’17), 2017. [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,” in the Real-Time Networks and Systems (RTNS’16), 2016, pp. 161-170. [paper | slides]
Morteza Mohaqeqi, Mitra Nasri, Yang Xu, Anton Cervin, and Karl-Erik Arzen, “On the problem of finding optimal harmonic periods,” in the Real-Time Networks and Systems (RTNS’16), 2016, pp. 171-180. [Best Paper Award] [paper | slides]
Mitra Nasri and Gerhard Fohler, “Non-work-conserving non-preemptive scheduling: motivations, challenges, and potential solutions,” in the Euromicro Conference on Real-Time Systems (ECRTS’16), 2016, pp. 165-175. [paper | slides]
Mitra Nasri, Geoffrey Nelissen, and Gerhard Fohler, “A new approach for limited preemptive scheduling in systems with preemption overhead,” in the Euromicro Conference on Real-Time Systems (ECRTS’16), 2016, pp. 25-35. [paper]
Mitra Nasri and Gerhard Fohler, “Non-work-conserving scheduling of non-preemptive hard real-time tasks based on fixed priorities,” in the Real-Time Networks and Systems (RTNS’15), 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,” in the Euromicro Conference on Real-Time Systems (ECRTS’15), 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,” in the Real-Time Networks and Systems (RTNS’14), 2014, pp. 331-340. [paper]
Mitra Nasri, Gerhard Fohler, and Mehdi Kargahi, “A framework to construct customized harmonic periods for real-time systems,” in the Euromicro Conference on Real-Time Systems (ECRTS’14), 2014, pp. 211-220. [paper]
Mitra Nasri and Mehdi Kargahi, “A method for improving delay-sensitive accuracy in real-time embedded systems,” in the IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA’12), 2012, pp. 378-387. [paper]
Mitra Nasri and Mohsen Sharifi, “Load balancing using consistent hashing: a real challenge for large scale distributed Web crawlers,” in the IEEE International Conference on Advance Information Networking and Applications (WAINA’09), 2009, pp. 715-720. [paper]
Mitra Nasri, Saeed Shariati, and Mohammad Abdollahi Azgomi, “Performance modeling of a distributed Web crawler using stochastic activity networks,” in the Communications in Computer and Information Science (CCIS’08), 2008, pp. 535-542. [paper]
Mitra Nasri, Saeed Shariati, and Mohsen Sharifi, “Availability and accuracy of distributed Web crawlers: a model-based evaluation,” in the UKSIM European Symposium on Computer Modeling and Simulation (EMS’08), 2008, pp. 453-458. [paper]
Nasim Samimi, Mitra Nasri, Twan Basten, Marc Geilen, “Work in Progress: Guaranteeing weakly-hard timing constraints in server-based real-time systems,” the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS’24), 2024. [paper]
Mitra Nasri, Jeroen Voeten, “A Position Paper on Transforming Embedded Real-Time Systems to the Cloud: Challenges and New Research Directions,” IEEE Workshop on Design Automation for CPS and IoT (DESTION 2024), 2024. [paper | slides]
Pourya Gohari, Jeroen Voeten and Mitra Nasri, “Work-in-Progress: Tight Response-time Analysis for Periodic Preemptive Tasks under Global Scheduling”, the IEEE Real-Time Systems Symposium (RTSS’23), 2023. [paper]
Yimi Zhao, Srinidhi Srinivasan, Geoffrey Nelissen, and Mitra Nasri, “Work-in-Progress: Generating Counter-Examples to Schedulability Using the Schedule Abstraction,” the IEEE Real-Time Systems Symposium (RTSS’23), 2023. [paper]
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’22), 2022. [paper]
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’21), 2021. [paper | slides]
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]
Mitra Nasri, Robert I. Davis, and Björn B. Brandenburg, “Open Problems in FIFO Scheduling with Multiple Offsets”, in the International Real-Time Scheduling Open Problems Seminar (RTSOPS’18), 2018. [paper | 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,” in the Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS’17), 2017. [paper]
Mitra Nasri and Geoffrey Nelissen, “Increasing fixed-priority schedulability using non-periodic load shapers,” in the International Real-Time Scheduling Open Problems Seminar (RTSOPS’17), 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,” in the International Real-Time Scheduling Open Problems Seminar (RTSOPS’17), 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,” in the Work-in-Progress of the Euromicro Conference on Real-Time Systems (WiP-ECRTS’17), 2017, pp. 16-19. [paper | slides | poster]
Mitra Nasri, “On Flexible and robust parameter assignment for periodic real-time components,” in the International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS’16), 2016, pp. 1-7. [paper]
Mitra Nasri and Gerhard Fohler, “Some results in rate monotonic scheduling with priority promotion,” in the Work-in-Progress of the Euromicro Conference on Real-Time Systems (WiP-ECRTS’15), 2015, pp. 5-8.
Mitra Nasri and Gerhard Fohler, “Open problems on non-preemptive scheduling of mixed-criticality real-time systems,” in the International Real-Time Scheduling Open Problems Seminar (RTSOPS’15), 2015, pp. 17-18. [paper]
Mitra Nasri, Gerhard Fohler, Nafiseh Moti, “Guaranteeing schedulability of splittable hard real-time tasks for non-preemptible devices,” in the Work-in-Progress of the Euromicro Conference on Real-Time Systems (WiP-ECRTS’14), 2014, pp. 1-5.
Azade Zamanifar, Mitra Nasri, and Mohsen Soryani, “A hybrid technique for reducing leakage energy with improving performance,” in the International CSI Computer Conference (CSICC’08), 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,” in the Iranian Conference on Linguistics (ICL’07), vol. 2, 2007, pp. 546-558 [in Persian].
Mitra Nasri, Mohsen Sharifi, and Vandad Nasri, “FarsVer: a computer algorithm for Farsi verb stemming,” in 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,” in 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,” in the International CSI Computer Conference (CSICC’07), 2007 [in Persian].