dblp.uni-trier.dewww.uni-trier.de

Stanislaw Budkowski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
16EEJustin 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
14EEStefan 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
11EEStefan 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

Coauthor Index

1A. B. Alkhechi [7] [9]
2Mohamed-Lyes Benalycherif [9]
3Eugen Borcoci [15]
4Ana R. Cavalli [13]
5Piotr Dembinski [5] [6] [9]
6Stefan Fischer [11] [14]
7J. P. Mouchel La Fosse [9]
8M. Gardie [9]
9Thierry Gilot [4]
10M. Hendaz [10]
11Pieter S. Kritzinger [12]
12E. Lallet [9]
13Leon Lumbroso [4]
14Elie Najm [1] [4] [13]
15Jean-Luc Raffy [12]
16Younes Souissi [9]
17Justin Templemore-Finlayson [12] [16]
18Jacek Wytrebowicz [11] [14]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)