Domain Name eXchange: A Mobile-Agent-Based Shared Registry System. - Lassaâd Gannoun; Julien Francioli; Stanislav Chachkov; Frédéric Schütz; Jarle Hulaas; Jürgen Harms (IEEE Internet Comput., 2000)

From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach. - Stanislav Chachkov; Didier Buchs (ACSD, 2001)

From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller. - Stanislav Chachkov; Didier Buchs (IEEE International Workshop on Rapid System Prototyping, 2001)

Interfacing Software Libraries from Non-deterministic Prototypes. - Stanislav Chachkov; Didier Buchs (IEEE International Workshop on Rapid System Prototyping, 2002)

Modelling a Secure, Mobile, and Transactional System with CO-OPN. - Didier Buchs; Stanislav Chachkov; David Hurzeler (ACSD, 2003)

Prototyping Object Oriented Specifications. - Ali Al-Shabibi; Didier Buchs; Mathieu Buffo; Stanislav Chachkov; Ang Chen; David Hurzeler (ICATPN, 2003)

Interfacing Software Libraries from Nondeterministic Prototypes. - Stanislav Chachkov; Didier Buchs (Des. Autom. Embed. Syst., 2003)