Reza Babaee

According to our database, Reza Babaee authored at least 6 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Decoupled scaled boundary finite element method for analysing dam-reservoir dynamic interaction.

Reza Babaee, Naser Khaji

Int. J. Comput. Math., 2020

2019

Development of the Kansa method for solving seepage problems using a new algorithm for the shape parameter optimization.

Alireza Fallah, Ehsan Jabbari, Reza Babaee

Comput. Math. Appl., 2019

Accelerated Learning of Predictive Runtime Monitors for Rare Failure.

Reza Babaee, Vijay Ganesh, Sean Sedwards

Proceedings of the Runtime Verification - 19th International Conference, 2019

2018

<i>P</i>revent : A Predictive Run-Time Verification Framework Using Statistical Learning.

Reza Babaee, Arie Gurfinkel, Sebastian Fischmeister

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

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

Proceedings of the Runtime Verification - 18th International Conference, 2018

2013

Runtime verification of service-oriented systems: a well-rounded survey.

Reza Babaee, Seyed Morteza Babamir

Int. J. Web Grid Serv., 2013