Model Checking of Multi-Applet JavaCard Applications. - Gennady Chugunov; Lars-Åke Fredlund; Dilian Gurov (CARDIS, 2002)

A verification tool for ERLANG. - Lars-Åke Fredlund; Dilian Gurov; Thomas Noll 001; Mads Dam; Thomas Arts; Gennady Chugunov (Int. J. Softw. Tools Technol. Transf., 2003)

Checking Absence of Illicit Applet Interactions: A Case Study. - Marieke Huisman; Dilian Gurov; Christoph Sprenger 001; Gennady Chugunov (FASE, 2004)