| 2001 |
|---|
| 16 | EE | Justin Templemore-Finlayson,
Stanislaw Budkowski:
Group Communication and Multicast.
ICN (1) 2001: 649-656 |
| 2000 |
|---|
| 15 | | Eugen Borcoci,
Stanislaw Budkowski:
Wide area network module - for FDT based simulation of multicast communication protocols.
ESM 2000: 539-542 |
| 14 | EE | Stefan Fischer,
Jacek Wytrebowicz,
Stanislaw Budkowski:
Tool support for hardware/software co-design of communication protocols.
Computer Communications 23(12): 1158-1168 (2000) |
| 1998 |
|---|
| 13 | | Stanislaw Budkowski,
Ana R. Cavalli,
Elie Najm:
Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France
Kluwer 1998 |
| 12 | | Justin Templemore-Finlayson,
Pieter S. Kritzinger,
Jean-Luc Raffy,
Stanislaw Budkowski:
A graphical representation and prototype editor for the Formal Description Technique Estelle.
FORTE 1998: 37-55 |
| 1996 |
|---|
| 11 | EE | Stefan Fischer,
Jacek Wytrebowicz,
Stanislaw Budkowski:
Hardware/Software Co-Design of Communication Protocols.
EUROMICRO 1996: 476-483 |
| 1995 |
|---|
| 10 | | M. Hendaz,
Stanislaw Budkowski:
A New Approach for Protocols Performance Evaluation Using Estelle Specifications.
FORTE 1995: 441-448 |
| 1993 |
|---|
| 9 | | Stanislaw Budkowski,
A. B. Alkhechi,
Mohamed-Lyes Benalycherif,
Piotr Dembinski,
M. Gardie,
E. Lallet,
J. P. Mouchel La Fosse,
Younes Souissi:
Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol.
PSTV 1993: 191-206 |
| 1992 |
|---|
| 8 | | Stanislaw Budkowski:
Estelle Development Toolset (EDT).
Computer Networks and ISDN Systems 25(1): 63-82 (1992) |
| 1990 |
|---|
| 7 | | A. B. Alkhechi,
Stanislaw Budkowski:
Automatic Translation of Time Petri Nets into Estelle Description.
FORTE 1990: 369-376 |
| 1987 |
|---|
| 6 | | Piotr Dembinski,
Stanislaw Budkowski:
Simulating Estelle Specifications with Time Parameters.
PSTV 1987: 265-279 |
| 5 | | Stanislaw Budkowski,
Piotr Dembinski:
An Introduction to Estelle: A Specification Language for Distributed Systems.
Computer Networks 14: 3-23 (1987) |
| 1985 |
|---|
| 4 | | Elie Najm,
Stanislaw Budkowski,
Thierry Gilot,
Leon Lumbroso:
General presentation of SCAN. A distributed systems modelling and validation tool.
PSTV 1985: 103-118 |
| 1984 |
|---|
| 3 | | Stanislaw Budkowski:
Modelling and validating broadcasting-free concurrent systems.
Fehlertolerierende Rechensysteme 1984: 127-138 |
| 2 | | Stanislaw Budkowski:
Generation of a Global System Description from the Descriptions of Cooperating Subsystems.
PSTV 1984: 467-487 |
| 1983 |
|---|
| 1 | | Stanislaw Budkowski,
Elie Najm:
Structured Finite State Automata - A new approach for modelling distributed communications systems.
Protocol Specification, Testing, and Verification 1983: 95-110 |
