Certification of microprograms by an algebraic method. - Andrzej Blikle; Stanislaw Budkowski (MICRO, 1976)

A Double Track Error-Correction Code for Magnetic Tape. - P. Prusinkiewicz; Stanislaw Budkowski (IEEE Trans. Computers, 1976)

Firmware versus software verification. - Stanislaw Budkowski; Piotr Dembinski (MICRO, 1978)

An introduction to the verification oriented microprogramming language "MIDDLE". - Piotr Dembinski; Stanislaw Budkowski (MICRO, 1978)

Structured Finite State Automata - A new approach for modelling distributed communications systems. - Stanislaw Budkowski; Elie Najm (Protocol Specification, Testing, and Verification, 1983)

Modelling and validating broadcasting-free concurrent systems. - Stanislaw Budkowski (Fehlertolerierende Rechensysteme, 1984)

Generation of a Global System Description from the Descriptions of Cooperating Subsystems. - Stanislaw Budkowski (PSTV, 1984)

General presentation of SCAN. A distributed systems modelling and validation tool. - Elie Najm; Stanislaw Budkowski; Thierry Gilot; Leon Lumbroso (PSTV, 1985)

Simulating Estelle Specifications with Time Parameters. - Piotr Dembinski; Stanislaw Budkowski (PSTV, 1987)

An Introduction to Estelle: A Specification Language for Distributed Systems. - Stanislaw Budkowski; Piotr Dembinski (Comput. Networks, 1987)

Automatic Translation of Time Petri Nets into Estelle Description. - A. B. Alkhechi; Stanislaw Budkowski (FORTE, 1990)

Estelle Development Toolset (EDT). - Stanislaw Budkowski (Comput. Networks ISDN Syst., 1992)

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 (PSTV, 1993)

A New Approach for Protocols Performance Evaluation Using Estelle Specifications. - M. Hendaz; Stanislaw Budkowski (FORTE, 1995)

Hardware/Software Co-Design of Communication Protocols. - Stefan Fischer 001; Jacek Wytrebowicz; Stanislaw Budkowski (EUROMICRO, 1996)

A graphical representation and prototype editor for the Formal Description Technique Estelle. - Justin Templemore-Finlayson; Pieter S. Kritzinger; Jean-Luc Raffy; Stanislaw Budkowski (FORTE, 1998)

Wide area network module - for FDT based simulation of multicast communication protocols. - Eugen Borcoci; Stanislaw Budkowski (ESM, 2000)

Protocol engineering. - Stanislaw Budkowski; Elie Najm (Ann. des Télécommunications, 2000)

Tool support for hardware/software co-design of communication protocols. - Stefan Fischer 001; Jacek Wytrebowicz; Stanislaw Budkowski (Comput. Commun., 2000)

Group Communication and Multicast. - Justin Templemore-Finlayson; Stanislaw Budkowski (ICN (1), 2001)