Testing versus Static Analysis of Maximum Stack Size. - Mahdi Eslamimehr; Jens Palsberg (COMPSAC, 2013)

Race directed scheduling of concurrent programs. - Mahdi Eslamimehr; Jens Palsberg (PPoPP, 2014)

Sherlock: scalable deadlock detection for concurrent programs. - Mahdi Eslamimehr; Jens Palsberg (SIGSOFT FSE, 2014)

Directed Testing of Event-Driven and Parallel Programs. - Mohammad Mahdi Eslamimehr (2014)

AtomChase: Directed search towards atomicity violations. - Mahdi Eslamimehr; Mohsen Lesani (ISSRE, 2015)

Constraints as a design pattern. - Hesam Samimi; Alessandro Warth; Mahdi Eslamimehr; Alan Borning (Onward!, 2015)

Timing Analysis of Event-Driven Programs with Directed Testing. - Mahdi Eslamimehr; Hesam Samimi (WCET, 2015)

Retargetable Communication for Distributed Programs. - Oren Freiberg; Jens Palsberg; Mahdi Eslamimehr (QoSA, 2016)

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

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

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

LightBench: A Hardware-Aware Trusted Execution Platform for Intelligent Malware Detection at the Edge. - Ning Miao; Hossein Sayadi; Kumara Srivatsa Kondapalli; Mahdi Eslamimehr; Houman Homayoun (ACM Great Lakes Symposium on VLSI, 2025)

Navigating the Trilemma: Security, Power, and Performance Trade-Offs in Bluetooth Low Energy. - Ning Miao; Chongzhou Fang; Ruijie Fang; Ruoyu Zhang; Mahdi Eslamimehr; Setareh Rafatirad; Hossein Sayadi; Houman Homayoun (ISQED, 2025)