Stanislaw Budkowski

Publication Activity (10 Years)

Years Active: 1976-2001
Publications (10 Years): 0

Publications

Justin Templemore-Finlayson, Stanislaw Budkowski
Group Communication and Multicast. ICN (1) (2001)
Eugen Borcoci, Stanislaw Budkowski
Wide area network module - for FDT based simulation of multicast communication protocols. ESM (2000)
Stefan Fischer, Jacek Wytrebowicz, Stanislaw Budkowski
Tool support for hardware/software co-design of communication protocols. Comput. Commun. 23 (12) (2000)
Stanislaw Budkowski, Elie Najm
Protocol engineering. Ann. des Télécommunications 55 (1-2) (2000)
Stanislaw Budkowski, Elie Najm
Protocol engineering. Ann. des Télécommunications 54 (11-12) (1999)
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)
Stefan Fischer, Jacek Wytrebowicz, Stanislaw Budkowski
Hardware/Software Co-Design of Communication Protocols. EUROMICRO (1996)
M. Hendaz, Stanislaw Budkowski
A New Approach for Protocols Performance Evaluation Using Estelle Specifications. FORTE (1995)
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)
Stanislaw Budkowski
Estelle Development Toolset (EDT). Comput. Networks ISDN Syst. 25 (1) (1992)
A. B. Alkhechi, Stanislaw Budkowski
Automatic Translation of Time Petri Nets into Estelle Description. FORTE (1990)
Piotr Dembinski, Stanislaw Budkowski
Simulating Estelle Specifications with Time Parameters. PSTV (1987)
Stanislaw Budkowski, Piotr Dembinski
An Introduction to Estelle: A Specification Language for Distributed Systems. Comput. Networks 14 (1987)
Elie Najm, Stanislaw Budkowski, Thierry Gilot, Leon Lumbroso
General presentation of SCAN. A distributed systems modelling and validation tool. PSTV (1985)
Stanislaw Budkowski
Generation of a Global System Description from the Descriptions of Cooperating Subsystems. PSTV (1984)
Stanislaw Budkowski
Modelling and validating broadcasting-free concurrent systems. Fehlertolerierende Rechensysteme (1984)
Stanislaw Budkowski, Elie Najm
Structured Finite State Automata - A new approach for modelling distributed communications systems. Protocol Specification, Testing, and Verification (1983)
Piotr Dembinski, Stanislaw Budkowski
An introduction to the verification oriented microprogramming language "MIDDLE". MICRO (1978)
Stanislaw Budkowski, Piotr Dembinski
Firmware versus software verification. MICRO (1978)
Andrzej Blikle, Stanislaw Budkowski
Certification of microprograms by an algebraic method. MICRO (1976)
P. Prusinkiewicz, Stanislaw Budkowski
A Double Track Error-Correction Code for Magnetic Tape. IEEE Trans. Computers 25 (6) (1976)