Mahdi Heidari

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 5

Top Topics

Gaussian Process Latent Variable Models

Fuzzy Pid Control

Symbolic Execution

Top Venues

Neural Comput. Appl.

Int. J. Inf. Sec.

Publications

Sara Baradaran, Mahdi Heidari, Ali Kamali, Maryam Mouzarani
A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes. Int. J. Inf. Sec. 22 (5) (2023)
Sara Baradaran, Mahdi Heidari, Ali Kamali, Maryam Mouzarani
A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes. CoRR (2022)
Maryam Mouzarani, Ali Kamali, Sara Baradaran, Mahdi Heidari
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes. TAP@STAF (2022)
Mahdi Heidari, Mohammad Hossein Moattar
Discriminative geodesic Gaussian process latent variable model for structure preserving dimension reduction in clustering and classification problems. Neural Comput. Appl. 31 (8) (2019)
Mahdi Heidari, Hamed Khodadadi
Climate control of an agricultural greenhouse by using fuzzy logic self-tuning PID approach. ICAC (2017)
Jafar Saberi-Nadjafi, Mahdi Heidari
Solving nonlinear integral equations in the Urysohn form by Newton-Kantorovich-quadrature method. Comput. Math. Appl. 60 (7) (2010)
Nima Harsamizadeh Tehrani, Mahdi Heidari, Yadolah Zakeri, Jafar Ghaisari
Development, depth control and stability analysis of an underwater Remotely Operated Vehicle (ROV). ICCA (2010)
Jafar Saberi-Nadjafi, Mahdi Heidari
A generalized block-by-block method for solving linear Volterra integral equations. Appl. Math. Comput. 188 (2) (2007)
Jafar Saberi-Nadjafi, Mahdi Heidari
A quadrature method with variable step for solving linear Volterra integral equations of the second kind. Appl. Math. Comput. 188 (1) (2007)
Jafar Saberi-Nadjafi, Mahdi Heidari
Solving linear integral equations of the second kind with repeated modified trapezoid quadrature method. Appl. Math. Comput. 189 (1) (2007)