Ilham W. Kurnia

According to our database, Ilham W. Kurnia authored at least 5 papers between 2012 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

An Automata-Theoretic Approach to Open Actor System Verification.

Ilham W. Kurnia

PhD thesis, 2015

Modeling Actor Systems Using Dynamic I/O Automata.

Ilham W. Kurnia, Arnd Poetzsch-Heffter

Proceedings of the Perspectives of System Informatics, 2015

2012

Model-Based Compatibility Checking of System Modifications.

Arnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia, Yannick Welsch

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Verification of Open Concurrent Object Systems.

Ilham W. Kurnia, Arnd Poetzsch-Heffter

Proceedings of the Formal Methods for Components and Objects, 2012

A relational trace logic for simple hierarchical actor-based component systems.

Ilham W. Kurnia, Arnd Poetzsch-Heffter

Proceedings of the 2nd edition on Programming systems, 2012