| 2003 |
|---|
| 6 | EE | Didier Buchs,
Stanislav Chachkov,
David Hurzeler:
Modelling a Secure, Mobile, and Transactional System with CO-OPN.
ACSD 2003: 82-91 |
| 5 | EE | Ali Al-Shabibi,
Didier Buchs,
Mathieu Buffo,
Stanislav Chachkov,
Ang Chen,
David Hurzeler:
Prototyping Object Oriented Specifications.
ICATPN 2003: 473-482 |
| 2002 |
|---|
| 4 | EE | Stanislav Chachkov,
Didier Buchs:
Interfacing Software Libraries from Non-deterministic Prototypes.
IEEE International Workshop on Rapid System Prototyping 2002: 92-98 |
| 2001 |
|---|
| 3 | EE | Stanislav Chachkov,
Didier Buchs:
From Formal Specifications to Ready-to-Use Software Components: The Concurrent Object Oriented Petri Net Approach.
ACSD 2001: 99- |
| 2 | EE | 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: 142-148 |
| 2000 |
|---|
| 1 | EE | 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 Computing 4(2): 59-64 (2000) |
