Reza Pulungan

Compositional Dependability Evaluation for STATEMATE

Eckard Böde, Marc Herbstritt, Holger Hermanns et al. · IEEE Transactions on Software Engineering · 2008 · 48 citations

Engineering, Verification, Dependable System Architecture +18

Model Checking Markov Reward Models with Impulse Rewards

Lucia Cloth, Joost-Pieter Katoen, M. Khattri et al. · 2005 · 40 citations

Engineering, Verification, Model Checking +20

Optic disc and cup segmentation by automatic thresholding with morphological operation for glaucoma evaluation

Anindita Septiarini, Agus Harjoko, Reza Pulungan et al. · Signal Image and Video Processing · 2016 · 40 citations

Image Analysis, Engineering, Ophthalmology +10

Prediction by a Hybrid of Wavelet Transform and Long-Short-Term-Memory Neural Network

Putu Sugiartawan, Reza Pulungan, Anny Kartika · International Journal of Advanced Computer Science and Applications · 2017 · 40 citations · Full text

Lstm Neural Network, Wavelet Coefficients, Engineering +15

Automated Detection of Retinal Nerve Fiber Layer by Texture-Based Analysis for Glaucoma Evaluation

Anindita Septiarini, Agus Harjoko, Reza Pulungan et al. · Healthcare Informatics Research · 2018 · 33 citations · Full text