Stanislaw Budkowski

22 papers A* 3C 4Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2001 — conf
Group Communication and Multicast.
ICN (1)
Justin Templemore-Finlayson, Stanislaw Budkowski
2000 J jnl
Protocol engineering.
Ann. des Télécommunications
Stanislaw Budkowski, Elie Najm
2000 J jnl
Tool support for hardware/software co-design of communication protocols.
Comput. Commun.
Stefan Fischer, Jacek Wytrebowicz, Stanislaw Budkowski
2000 — conf
Wide area network module - for FDT based simulation of multicast communication protocols.
ESM
Eugen Borcoci, Stanislaw Budkowski
1999 J jnl
Protocol engineering.
Ann. des Télécommunications
Stanislaw Budkowski, Elie Najm
1998 C conf
A graphical representation and prototype editor for the Formal Description Technique Estelle.
FORTE
Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski
1998 C ed.
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
FORTE
Stanislaw Budkowski, Ana R. Cavalli, Elie Najm
1996 — conf
Hardware/Software Co-Design of Communication Protocols.
EUROMICRO
Stefan Fischer, Jacek Wytrebowicz, Stanislaw Budkowski
1995 C conf
A New Approach for Protocols Performance Evaluation Using Estelle Specifications.
FORTE
M. Hendaz, Stanislaw Budkowski
1993 — conf
Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol.
PSTV
Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi
1992 J jnl
Estelle Development Toolset (EDT).
Comput. Networks ISDN Syst.
Stanislaw Budkowski
1990 C conf
Automatic Translation of Time Petri Nets into Estelle Description.
FORTE
A. B. Alkhechi, Stanislaw Budkowski
1987 J jnl
An Introduction to Estelle: A Specification Language for Distributed Systems.
Comput. Networks
Stanislaw Budkowski, Piotr Dembinski
1987 — conf
Simulating Estelle Specifications with Time Parameters.
PSTV
Piotr Dembinski, Stanislaw Budkowski
1985 — conf
General presentation of SCAN. A distributed systems modelling and validation tool.
PSTV
Elie Najm, Stanislaw Budkowski, Thierry Gilot, Leon Lumbroso
1984 — conf
Generation of a Global System Description from the Descriptions of Cooperating Subsystems.
PSTV
Stanislaw Budkowski
1984 — conf
Modelling and validating broadcasting-free concurrent systems.
Fehlertolerierende Rechensysteme
Stanislaw Budkowski
1983 — conf
Structured Finite State Automata - A new approach for modelling distributed communications systems.
Protocol Specification, Testing, and Verification
Stanislaw Budkowski, Elie Najm
1978 A* conf
An introduction to the verification oriented microprogramming language "MIDDLE".
MICRO
Piotr Dembinski, Stanislaw Budkowski
1978 A* conf
Firmware versus software verification.
MICRO
Stanislaw Budkowski, Piotr Dembinski
1976 J jnl
A Double Track Error-Correction Code for Magnetic Tape.
IEEE Trans. Computers
P. Prusinkiewicz, Stanislaw Budkowski
1976 A* conf
Certification of microprograms by an algebraic method.
MICRO
Andrzej Blikle, Stanislaw Budkowski