Dr. Ade Azurat, S.Kom. – Fakultas Ilmu Komputer Universitas Indonesia

Zona Integritas

ade@cs.ui.ac.id

Gedung C, Fakultas Ilmu Komputer, Universitas Indonesia, Depok

Dr. Ade Azurat, S.Kom.,

Biography

Ade Azurat is a lecturer and researcher at Fasilkom UI.

Education

Dr. (Ilmu Komputer, Universitas Indonesia)
AiO (Assistant in Opleiding, University of Utrecht, Netherland)
S.Kom. (Ilmu Komputer, Universitas Indonesia)

Selected Publication

Setyautami, M. R., Rubiantoro, R. R., & Azurat, A. (2019, December). Model-Driven Engineering for Delta-Oriented Software Product Lines. In 2019 26th Asia-Pacific Software Engineering Conference (APSEC) (pp. 371-377). IEEE.
Naily, M. A., Setyautami, M. R. A., Muschevici, R., & Azurat, A. (2017, September). A framework for modelling variable microservices as software product lines. In International Conference on Software Engineering and Formal Methods (pp. 246-261). Springer, Cham.
Azurat, A., & Prasetya, I. S. W. B. (2002). A survey on embedding programming logics in a theorem prover.

Scopus Profile SINTA Profile

Research Interests

Program Verification, Formal Methods, Software Quality Assurance, Software Testing

Fields of Expertise

Software Engineering