Login / Signup
Reza Babaee
Publication Activity (10 Years)
Years Active: 2013-2020
Publications (10 Years): 5
Top Topics
Finite Element
Black Boxes
Model Checking
Statistical Learning
Top Venues
RV
Int. J. Web Grid Serv.
Comput. Math. Appl.
SEFM
</>
Publications
</>
Reza Babaee
,
Naser Khaji
Decoupled scaled boundary finite element method for analysing dam-reservoir dynamic interaction.
Int. J. Comput. Math.
97 (8) (2020)
Reza Babaee
,
Vijay Ganesh
,
Sean Sedwards
Accelerated Learning of Predictive Runtime Monitors for Rare Failure.
RV
(2019)
Alireza Fallah
,
Ehsan Jabbari
,
Reza Babaee
Development of the Kansa method for solving seepage problems using a new algorithm for the shape parameter optimization.
Comput. Math. Appl.
77 (3) (2019)
Reza Babaee
,
Arie Gurfinkel
,
Sebastian Fischmeister
Predictive Run-Time Verification of Discrete-Time Reachability Properties in Black-Box Systems Using Trace-Level Abstraction and Statistical Learning.
RV
(2018)
Reza Babaee
,
Arie Gurfinkel
,
Sebastian Fischmeister
revent : A Predictive Run-Time Verification Framework Using Statistical Learning.
SEFM
(2018)
Reza Babaee
,
Seyed Morteza Babamir
Runtime verification of service-oriented systems: a well-rounded survey.
Int. J. Web Grid Serv.
9 (3) (2013)