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 |