Stanislaw Budkowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
1976–1998
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | FORTE | A graphical representation and prototype editor for the Formal Description Technique Estelle. | Justin Templemore-Finlayson, Pieter S. Kritzinger, Jean-Luc Raffy, Stanislaw Budkowski |
| 1995 | FORTE | A New Approach for Protocols Performance Evaluation Using Estelle Specifications. | M. Hendaz, Stanislaw Budkowski |
| 1990 | FORTE | Automatic Translation of Time Petri Nets into Estelle Description. | A. B. Alkhechi, Stanislaw Budkowski |
| 1978 | MICRO | Firmware versus software verification. | Stanislaw Budkowski, Piotr Dembinski |
| 1978 | MICRO | An introduction to the verification oriented microprogramming language "MIDDLE". | Piotr Dembinski, Stanislaw Budkowski |
| 1976 | MICRO | Certification of microprograms by an algebraic method. | Andrzej Blikle, Stanislaw Budkowski |