Cecilia E. Nugraheni

 

Department:

 

Department of Computer Science

Faculty of Mathematics and Natural Sciences

Parahyangan Catholic University

Areas of Interest:

  • Formal methods
  • Temporal logics
  • Specification and verification of reactive systems

Address:

Department of  Computer Science

Fac. Of Mathematics and Natural Sciences

Parahyangan Catholic University

Gedung 9, 1st Floor, R. 9110

Jl. Ciumbuleuit 94

Bandung 40141

Indonesia

Tel: +62-22-2041964 ext. 174 

Fax:  +62-22-2042141

Email: cheni@home.unpar.ac.id

URL: http://home.unpar.ac.id/~cheni

Lectures

·        Software Engineering (Rekayasa Perangkat Lunak)

·        Discrete Structures (Struktur Diskret)

·        Formal Methods (Metode Formal)

·        Seminar (Seminar)

·        Languages Theory and Compilation (Teori Bahasa dan Kompilasi)

·        Artificial Intelligent (Pengantar Sistem Cerdas)

·        Basic Formal Logic (Logika Formal Dasar)

·        Logic Programming (Pemrograman Logik)

Publications

  • Cecilia E. Nugraheni: Predicate Diagrams as Basis for the Verification of Reactive Systems . Proceedings of the 5th Summer School in MOdelling and VErification of Parallel processes (MOVEP'2002), Student Session, Nantes, France, 2002.
  • Cecilia E. Nugraheni: PreDiaG: a Tool for the Generation of Predicate Diagrams. Proceeding of SOFSEM 2002.
  • Cecilia E. Nugraheni: Predicate Diagrams as Basis for the Verification of Reactive Systems .  Hieronymus Verlag, Munich, Germany. ISBN 3-89791-332-1. 2004.
  • Cecilia E. Nugraheni: Verifikasi sistem berparameter secara formal dengan diagram predikat berparameter. Proceeding of Seminar Nasional Ilmu Komputer dan Teknologi Informasi 2004 (SNIKTI V).
  • Cecilia E. Nugraheni: Universal properties verification of parameterized parallel systems. Lecture Notes in Computer Science Vol. 3482. Springer. 2005
  • Cecilia E. Nugraheni: Formal specification of real-time systems using TLA+. Proceeding of International Conference on Information and Communication Technology 2005 (ICCT UMB 2005).
  • Cecilia E. Nugraheni: Pengembangan perangkat lunak secara formal dengan Metodologi RAISE. Proceeding of Seminar Nasional Ilmu Komputer dan Teknologi Informasi 2005 (SNIKTI VI). [.pdf]
  • Cecilia E. Nugraheni: Mutual Verification of Parameterized Reader-Writer Algorithm: A case study. Prosiding Seminar Nasional Aplikasi Teknologi Informasi (SNATI) 2006. ISSN: 1907-5022.
  • Cecilia E. Nugraheni dan Luciana Abednego. Penerapan Algoritma Simulated Annealing untuk Penjadwalan Sidang Seminar. Prosiding Seminar Nasional Sistem dan Teknologi Informasi (SNASTI) 2006. ISBN : 979-8968-29-8.
  • Linda A. Gunawan dan Cecilia E. Nugraheni. Pembuatan Spesifikasi Protokol Secara Formal dengan TLA+. Prosiding Indonesian Conference on Telecommunications (ICTel) 2006. ISSN : 1858-2982.
  • Cecilia E. Nugraheni. Diagram-based Verification of Real-timed Systems using Timed Predicate Diagrams. International Journal of Computer Science and Network Security (IJCSNS) Vol. 6 No. 12 December 2006. [.pdf]



Cecilia E. Nugraheni

Last modified: March 12, 2007