Ilham W. Kurnia

Publication Activity (10 Years)

Years Active: 2012-2015
Publications (10 Years): 0

Top Topics

Complex Systems

Asynchronous Circuits

Finite State Machines

Top Venues

Ershov Memorial Conference

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

Ilham W. Kurnia, Arnd Poetzsch-Heffter
Modeling Actor Systems Using Dynamic I/O Automata. Ershov Memorial Conference (2015)
Ilham W. Kurnia, Arnd Poetzsch-Heffter
Verification of Open Concurrent Object Systems. FMCO (2012)
Arnd Poetzsch-Heffter, Christoph Feller, Ilham W. Kurnia, Yannick Welsch
Model-Based Compatibility Checking of System Modifications. ISoLA (1) (2012)
Ilham W. Kurnia, Arnd Poetzsch-Heffter
A relational trace logic for simple hierarchical actor-based component systems. AGERE!@SPLASH (2012)