Reza Pulungan Dr.-Ing. Saarland University, Germany, 2009 M.Sc. University of Twente, the Netherlands, 2004
	Lecturer Department of Computer Science and Electronics Faculty of Mathematics and Natural Sciences Universitas Gadjah Mada

Address

Main Research Interests

• Stochastic processes, especially Markov processes and phase-type distributions,
• Modelling and analysis of concurrent and networked systems.

Teaching

• Current semester (Gasal 2016/2017)
  • Model Checking
  • Algoritma Terdistribusi (Distributed Algorithms)
• Previous semesters

Tools

• APHzip: a tool to generate, manipulate, and compress acyclic phase-type representations.

Selected Publications

• Anindita Septiarini, Agus Harjoko, Reza Pulungan, and Retno Ekantini. Automated Detection of Retinal Nerve Fiber Layer by Texture-Based Analysis for Glaucoma Evaluation. Healthcare Informatics Research, vol. 24 , no. 4, pp. 335-345, 2018. DOI: 10.4258/hir.2018.24.4.335
• Abas Setiawan and Reza Pulungan. Deep Belief Networks for Recognizing Handwriting Captured by Leap Motion Controller. International Journal of Electrical and Computer Engineering (IJECE), vol. 8, no. 6, pp. , 2018. DOI:
• Anindita Septiarini, Agus Harjoko, Reza Pulungan, Retno Ekantini. Automatic detection of peripapillary atrophy in retinal fundus images using statistical features. Biomedical Signal Processing and Control, vol. 45, pp. 151-159, 2018.
• Wiwin Sulistyo, Subanar, and Reza Pulungan. Development of a Spatial Path-Analysis Method for Spatial Data Analysis. International Journal of Electrical and Computer Engineering (IJECE), vol. 8, no. 4, pp. 2456-2467, 2018. DOI:
• Reza Pulungan and Holger Hermanns. Transient analysis of CTMCs: Uniformization or matrix exponential? IAENG International Journal of Computer Science, vol. 45, no. 2, pp. 267-274, 2018.
• Indra, Edi Winarko, and Reza Pulungan. Trending topics detection of Indonesian tweets using BN-grams and Doc-p. Journal of King Saud University - Computer and Information Sciences, 2018. DOI: 10.1016/j.jksuci.2018.01.005
• Wahyono, Reza Pulungan, and Kang-Hyun Jo. Stationary Object Detection for Vision-Based Smart Monitoring System. Intelligent Information and Database Systems. ACIIDS 2018. Lecture Notes in Computer Science, vol 10752. Springer, pp. 583-593, 2018. DOI: 10.1007/978-3-319-75420-8_55
• Anindita Septiarini, Agus Harjoko, Reza Pulungan, Retno Ekantini. Optic disc and cup segmentation by automatic thresholding with morphological operation for glaucoma evaluation. Signal, Image and Video Processing (SIViP), DOI 10.1007/s11760-016-1043-x, 2016. ISSN: 1863-1703.
• Suprapto, Retantyo Wardoyo, Belawati H. Widjaja, and Reza Pulungan. A Formal Proof of Correctness of Construct Association from PROMELA to Java. IAENG International Journal of Computer Science, vol. 42, no.4, pp313-331, 2015.
• Michael Bungert, Holger Hermanns, Reza Pulungan. A Compression App for Continuous Probability Distributions. 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings, pp. 113-121, 2015. DOI: 10.1007/978-3-319-22264-6_8.
• Reza Pulungan and Holger Hermanns. A construction and minimization service for continuous probability distributions. International Journal on Software Tools and Technology Transfer, vol. 17, pp. 77-90, Springer, 2015.
• Florian Arnold, Holger Hermanns, Reza Pulungan, Mariëlle Stoelinga. Time-Dependent Analysis of Attacks. In Proceedings of Principles of Security and Trust (POST) 2014. Lecture Notes in Computer Science 8414, pp. 285-305, Springer, 2014.
• Reza Pulungan. The Order of Phase-Type Distributions. In Proceedings of the 6th SEAMS-GMU International Conference on Mathematics and Its Applications, Yogyakarta, Indonesia, pp. 65--78, 2011.
• Ary Noviyanto and Reza Pulungan. A Comparison Framework for Fingerprint Recognition Methods. In Proceedings of the 6th SEAMS-GMU International Conference on Mathematics and Its Applications, Yogyakarta, Indonesia, pp. 601--614, 2011.
• Suprapto and Reza Pulungan. A Framework for An LTS Semantics for PROMELA. In Proceedings of the 6th SEAMS-GMU International Conference on Mathematics and Its Applications, Yogyakarta, Indonesia, pp. 631--646, 2011.
• Reza Pulungan and Holger Hermanns. Acyclic Minimality by Construction---Almost. In Sixth International Conference on the Quantitative Evaluation of Systems (QEST 2009), 13-16 September 2009, Budapest, Hungary. pp. 63--72, IEEE CS Press, 2009.
• Pepijn Crouzen and Reza Pulungan. Acyclic Phase-Type Distribution in Fault Trees. In Proceedings of the 9th International Workshop on Performability Modeling of Computer and Communication System, PMCCS-9, 17-18 September 2009, Eger, Hungary. pp. 0-0, Budapest University of Technology and Economics, 2009.
• Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer and Bernd Becker. Compositional Dependability Evaluation for STATEMATE. IEEE Transactions on Software Engineering, vol. 35, no. 2, pp. 274-292, 2009.
• Reza Pulungan and Holger Hermanns. The Minimal Representation of the Maximum of Erlang Distributions. In Proceedings -- 14th GI/ITG Conference -- Measurement, Modelling and Evaluation of Computer and Communication Systems, Dortmund, March 31 - April 2, 2008. pp. 207-221, VDE Verlag, 2008.
• Reza Pulungan and Holger Hermanns. Effective Minimization of Acyclic Phase-Type Representations. In The 15th International Conference on Analytical and Stochastic Modelling Techniques and Applications (ASMTA'08). Lecture Notes in Computer Science 5055, pp. 128-143, Springer-Verlag, 2008.
• Reza Pulungan and Holger Hermanns. Reducing Acyclic Phase-Type Representations. In Proceedings of the 8th International Workshop on Performability Modeling of Computer and Communication System, PMCCS-8, 20-21 September 2007, Edinburgh, Scotland. pp. 104-110, CTIT, University of Twente, 2007.
• Christian Groß, Holger Hermanns and Reza Pulungan. Does Clock Precision Influence ZigBee's Energy Consumptions?. In Principles of Distributed Systems, 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007, Proceedings. Lecture Notes in Computer Science 4878, pp. 174-188, Springer-Verlag, 2007.
• Christian Groß, Holger Hermanns, and Reza Pulungan. A MoDeST Evaluation of the Interplay between Energy Consumption and Clock Drift in ZigBee. In Proceedings of SEAMS-GMU Conference 2007, pp. 69-93, Mathematic Department, Gadjah Mada University, 2007.
• Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer and Bernd Becker. Compositional Performability Evaluation for STATEMATE. In Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA. pp. 167-178, IEEE CS Press, 2006.
• Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri and Reza Pulungan. Model Checking Markov Reward Models with Impulse Rewards. In 2005 International Conference on Dependable Systems and Networks, DSN 2005, Yokohama (Japan). pp. 722-731, IEEE Computer Society, 2005.

Students

• M. Deni Al-Haq (PA/10385): Tool Simulasi Protokol Routing pada Wireless Sensor Network (on-going)
• Andri Setiawan (PA/11745): Implementasi Pembentukan Representasi Mixture of Monocyclic Erlang pada Phase-Type Distributions (completed 2012)
• Nur Afni Nur (PA/11318): Simulasi Flat Routing Wireless Sensor Network (WSN) Menggunakan Otomatisasi Metode Mean Field (completed 2011)
• Ignatius Giri Wardhana (PA/10881): Finite State Automata Simulator (FAST): Tool untuk Simulasi dan Transformasi Finite State Automata (completed 2011)
• Fahmi Mohammad Priadi (PA/11106): Framework Mobile Payment Menggunakan Barcode 2D sebagai Media Transfer Informasi Pengguna (completed 2011)
• Andriyas Danu Hari Kristiadi (PA/10807): Simulasi TCP Fractional Windows Increment (FeW) pada Jaringan IEEE 802.11 Multihop (completed 2011)
• B. Bambang Triasmoro (PA/11051): Minimalisasi sebuah Model Stokastik yang Komposisional (completed 2010)
• Ary Noviyanto (PA/10923): Perbandingan Implementasi Dua Metode Pengenalan Sidik Jari (completed 2010)
• Megan Garnieri (PA/10972): Desain dan Implementasi Virtualisasi Server di PT Thiess Contractors Indonesia (completed 2010)

Theses

• Reza Pulungan. Reduction of Acyclic Phase-Type Representations. PhD Thesis. Universität des Saarlandes, Saarbrücken, Germany, 2009.
• Maneesh Khattri and Reza Pulungan. Model Checking Markov Reward Models with Impulse Rewards. Master Thesis. University of Twente, Enschede, The Netherlands, 2004.