Stanislav Chachkov

Publication Activity (10 Years)

Years Active: 2000-2003
Publications (10 Years): 0

Publications

Stanislav Chachkov, Didier Buchs
Interfacing Software Libraries from Nondeterministic Prototypes. Des. Autom. Embed. Syst. 8 (4) (2003)
Didier Buchs, Stanislav Chachkov, David Hurzeler
Modelling a Secure, Mobile, and Transactional System with CO-OPN. ACSD (2003)
Ali Al-Shabibi, Didier Buchs, Mathieu Buffo, Stanislav Chachkov, Ang Chen, David Hurzeler
Prototyping Object Oriented Specifications. ICATPN (2003)
Stanislav Chachkov, Didier Buchs
Interfacing Software Libraries from Non-deterministic Prototypes. IEEE International Workshop on Rapid System Prototyping (2002)
Stanislav Chachkov, Didier Buchs
From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach. ACSD (2001)
Stanislav Chachkov, Didier Buchs
From an Abstract Object-Oriented Model to a Ready-to-Use Embedded System Controller. IEEE International Workshop on Rapid System Prototyping (2001)
Lassaâd Gannoun, Julien Francioli, Stanislav Chachkov, Frédéric Schütz, Jarle Hulaas, Jürgen Harms
Domain Name eXchange: A Mobile-Agent-Based Shared Registry System. IEEE Internet Comput. 4 (2) (2000)