A relational trace logic for simple hierarchical actor-based component systems. - Ilham W. Kurnia; Arnd Poetzsch-Heffter (AGERE!@SPLASH, 2012)

Verification of Open Concurrent Object Systems. - Ilham W. Kurnia; Arnd Poetzsch-Heffter (FMCO, 2012)

Model-Based Compatibility Checking of System Modifications. - Arnd Poetzsch-Heffter; Christoph Feller; Ilham W. Kurnia; Yannick Welsch (ISoLA (1), 2012)

Modeling Actor Systems Using Dynamic I/O Automata. - Ilham W. Kurnia; Arnd Poetzsch-Heffter (Ershov Memorial Conference, 2015)

An Automata-Theoretic Approach to Open Actor System Verification. - Ilham W. Kurnia (2015)