Gennady Chugunov

According to our database, Gennady Chugunov authored at least 3 papers between 2002 and 2004.

Collaborative distances:

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

2004

Checking Absence of Illicit Applet Interactions: A Case Study.

Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov

Proceedings of the Fundamental Approaches to Software Engineering, 2004

2003

A verification tool for ERLANG.

Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov

Int. J. Softw. Tools Technol. Transf., 2003

2002

Model Checking of Multi-Applet JavaCard Applications.

Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov

Proceedings of the Fifth Smart Card Research and Advanced Application Conference, 2002