Architectural Whispers: Robust Machine Learning Models Fingerprinting via Frequency Throttling Side-Channels - Najmeh Nazari; Chongzhou Fang; Hosein Mohammadi Makrani; Behnam Omidi; Mahdi Eslamimehr; Setareh Rafatirad; Avesta Sasan; Hossein Sayadi; Khaled N. Khasawneh; Houman Homayoun (Proceedings of the 61st ACM/IEEE Design Automation Conference, DAC 2024, San Francisco, CA, USA, June 23-27, 2024, 2024)

APEX: Attention on Personality based Emotion ReXgnition Framework - Ruijie Fang; Ruoyu Zhang; Elahe Hosseini; Chongzhou Fang; Mahdi Eslamimehr; Setareh Rafatirad; Houman Homayoun (CoRR, 2024)

Efficient detection and validation of atomicity violations in concurrent programs - Mahdi Eslamimehr; Mohsen Lesani; George Edwards (J. Syst. Softw., 2018)

Recognising and Generating Terms using Derivatives of Parsing Expression Grammars - Tony Garnock-Jones; Mahdi Eslamimehr; Alessandro Warth (CoRR, 2018)

Retargetable Communication for Distributed Programs - Oren Freiberg; Jens Palsberg; Mahdi Eslamimehr (12th International ACM SIGSOFT Conference on Quality of Software Architectures, QoSA 2016, Venice, Italy, April 5-8, 2016, 2016)

AtomChase: Directed search towards atomicity violations - Mahdi Eslamimehr; Mohsen Lesani (26th IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, Gaithersbury, MD, USA, November 2-5, 2015, 2015)

Constraints as a design pattern - Hesam Samimi; Alessandro Warth; Mahdi Eslamimehr; Alan Borning (2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2015, Pittsburgh, PA, USA, October 25-30, 2015, 2015)

Timing Analysis of Event-Driven Programs with Directed Testing - Mahdi Eslamimehr; Hesam Samimi (15th International Workshop on Worst-Case Execution Time Analysis, WCET 2015, July 7, 2015, Lund, Sweden, 2015)

Directed Testing of Event-Driven and Parallel Programs - Mohammad Mahdi Eslamimehr (University of California, Los Angeles, USA, 2014)

Race directed scheduling of concurrent programs - Mahdi Eslamimehr; Jens Palsberg (ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP '14, Orlando, FL, USA, February 15-19, 2014, 2014)

Sherlock: scalable deadlock detection for concurrent programs - Mahdi Eslamimehr; Jens Palsberg (Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, 2014)

Testing versus Static Analysis of Maximum Stack Size - Mahdi Eslamimehr; Jens Palsberg (37th Annual IEEE Computer Software and Applications Conference, COMPSAC 2013, Kyoto, Japan, July 22-26, 2013, 2013)