The SCEAS System
Navigation Menu

Search the dblp DataBase


Stanislaw Budkowski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Eugen Borcoci, Stanislaw Budkowski
    Wide area network module - for FDT based simulation of multicast communication protocols. [Citation Graph (0, 0)][DBLP]
    ESM, 2000, pp:539-542 [Conf]
  2. Stefan Fischer, Jacek Wytrebowicz, Stanislaw Budkowski
    Hardware/Software Co-Design of Communication Protocols. [Citation Graph (0, 0)][DBLP]
    EUROMICRO, 1996, pp:476-483 [Conf]
  3. A. B. Alkhechi, Stanislaw Budkowski
    Automatic Translation of Time Petri Nets into Estelle Description. [Citation Graph (0, 0)][DBLP]
    FORTE, 1990, pp:369-376 [Conf]
  4. M. Hendaz, Stanislaw Budkowski
    A New Approach for Protocols Performance Evaluation Using Estelle Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1995, pp:441-448 [Conf]
  5. Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski
    A graphical representation and prototype editor for the Formal Description Technique Estelle. [Citation Graph (0, 0)][DBLP]
    FORTE, 1998, pp:37-55 [Conf]
  6. Stanislaw Budkowski
    Modelling and validating broadcasting-free concurrent systems. [Citation Graph (0, 0)][DBLP]
    Fehlertolerierende Rechensysteme, 1984, pp:127-138 [Conf]
  7. Justin Templemore-Finlayson, Stanislaw Budkowski
    Group Communication and Multicast. [Citation Graph (0, 0)][DBLP]
    ICN (1), 2001, pp:649-656 [Conf]
  8. Stanislaw Budkowski, Elie Najm
    Structured Finite State Automata - A new approach for modelling distributed communications systems. [Citation Graph (0, 0)][DBLP]
    Protocol Specification, Testing, and Verification, 1983, pp:95-110 [Conf]
  9. Piotr Dembinski, Stanislaw Budkowski
    Simulating Estelle Specifications with Time Parameters. [Citation Graph (0, 0)][DBLP]
    PSTV, 1987, pp:265-279 [Conf]
  10. Stanislaw Budkowski
    Generation of a Global System Description from the Descriptions of Cooperating Subsystems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1984, pp:467-487 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    PSTV, 1993, pp:191-206 [Conf]
  12. Elie Najm, Stanislaw Budkowski, Thierry Gilot, Leon Lumbroso
    General presentation of SCAN. A distributed systems modelling and validation tool. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:103-118 [Conf]
  13. Stanislaw Budkowski
    Estelle Development Toolset (EDT). [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1992, v:25, n:1, pp:63-82 [Journal]
  14. Stanislaw Budkowski, Piotr Dembinski
    An Introduction to Estelle: A Specification Language for Distributed Systems. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1987, v:14, n:, pp:3-23 [Journal]
  15. Stefan Fischer, Jacek Wytrebowicz, Stanislaw Budkowski
    Tool support for hardware/software co-design of communication protocols. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2000, v:23, n:12, pp:1158-1168 [Journal]

Search in 0.023secs, Finished in 0.024secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002