Gennady Chugunov

Publication Activity (10 Years)

Years Active: 2002-2004
Publications (10 Years): 0

Publications

Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov
Checking Absence of Illicit Applet Interactions: A Case Study. FASE (2004)
Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov
A verification tool for ERLANG. Int. J. Softw. Tools Technol. Transf. 4 (4) (2003)
Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov
Model Checking of Multi-Applet JavaCard Applications. CARDIS (2002)