Stanislaw Budkowski

According to our database, Stanislaw Budkowski authored at least 20 papers between 1976 and 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

Group Communication and Multicast.

Justin Templemore-Finlayson, Stanislaw Budkowski

Proceedings of the Networking, 2001

2000

Tool support for hardware/software co-design of communication protocols.

Stefan Fischer, Jacek Wytrebowicz, Stanislaw Budkowski

Comput. Commun., 2000

Protocol engineering.

Stanislaw Budkowski, Elie Najm

Ann. des Télécommunications, 2000

Wide area network module - for FDT based simulation of multicast communication protocols.

Eugen Borcoci, Stanislaw Budkowski

Proceedings of the 14^th European Simulation Multiconference, 2000

1998

A graphical representation and prototype editor for the Formal Description Technique Estelle.

Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1996

Hardware/Software Co-Design of Communication Protocols.

Stefan Fischer, Jacek Wytrebowicz, Stanislaw Budkowski

Proceedings of the 22rd EUROMICRO Conference '96, 1996

1995

A New Approach for Protocols Performance Evaluation Using Estelle Specifications.

M. Hendaz, Stanislaw Budkowski

Proceedings of the Formal Description Techniques VIII, 1995

1993

Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol.

Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi

Proceedings of the Protocol Specification, 1993

1992

Estelle Development Toolset (EDT).

Stanislaw Budkowski

Comput. Networks ISDN Syst., 1992

1990

Automatic Translation of Time Petri Nets into Estelle Description.

A. B. Alkhechi, Stanislaw Budkowski

Proceedings of the Formal Description Techniques, 1990

1987

An Introduction to Estelle: A Specification Language for Distributed Systems.

Stanislaw Budkowski, Piotr Dembinski

Comput. Networks, 1987

Simulating Estelle Specifications with Time Parameters.

Piotr Dembinski, Stanislaw Budkowski

Proceedings of the Protocol Specification, 1987

1985

General presentation of SCAN. A distributed systems modelling and validation tool.

Elie Najm, Stanislaw Budkowski, Thierry Gilot, Leon Lumbroso

Proceedings of the Protocol Specification, 1985

1984

Generation of a Global System Description from the Descriptions of Cooperating Subsystems.

Stanislaw Budkowski

Proceedings of the Protocol Specification, 1984

Modelling and validating broadcasting-free concurrent systems.

Stanislaw Budkowski

Proceedings of the Fehlertolerierende Rechensysteme, 1984

1983

Structured Finite State Automata - A new approach for modelling distributed communications systems.

Stanislaw Budkowski, Elie Najm

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1978

An introduction to the verification oriented microprogramming language "MIDDLE".

Piotr Dembinski, Stanislaw Budkowski

Proceedings of the 11th annual workshop on Microprogramming, 1978

Firmware versus software verification.

Stanislaw Budkowski, Piotr Dembinski

Proceedings of the 11th annual workshop on Microprogramming, 1978

1976

A Double Track Error-Correction Code for Magnetic Tape.

P. Prusinkiewicz, Stanislaw Budkowski

IEEE Trans. Computers, 1976

Certification of microprograms by an algebraic method.

Andrzej Blikle, Stanislaw Budkowski

Proceedings of the 9th annual workshop on Microprogramming, 1976