Runtime verification of service-oriented systems: a well-rounded survey. - Reza Babaee; Seyed Morteza Babamir (Int. J. Web Grid Serv., 2013)

Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning. - Reza Babaee; Arie Gurfinkel; Sebastian Fischmeister (RV, 2018)

Prevent : A Predictive Run-Time Verification Framework Using Statistical Learning. - Reza Babaee; Arie Gurfinkel; Sebastian Fischmeister (SEFM, 2018)

Accelerated Learning of Predictive Runtime Monitors for Rare Failure. - Reza Babaee; Vijay Ganesh 001; Sean Sedwards (RV, 2019)

Development of the Kansa method for solving seepage problems using a new algorithm for the shape parameter optimization. - Alireza Fallah 002; Ehsan Jabbari; Reza Babaee (Comput. Math. Appl., 2019)

Decoupled scaled boundary finite element method for analysing dam-reservoir dynamic interaction. - Reza Babaee; Naser Khaji (Int. J. Comput. Math., 2020)