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.
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 (RTS), 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 (RTS), 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 (RTS), 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]
Pourya Gohari, Jeroen Voeten, and Mitra Nasri, “Reachability-Based Response-Time Analysis of Preemptive Tasks Under Global Scheduling,” in 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 ,” in 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,” in 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,” in 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,” in 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].