SELECTED PUBLICATIONS (After 1980)

Books | Articles | Technical Reports | Estelle Specifications

Books:

• P. Dembinski, M. Sredniawa (eds.), Protocol Specification, Testing and Verification, Proc. International Symposium, Chapman & Hall, 1995 Kuklinski
• P. Dembinski, J. Maluszynski, G. Riedewald, Formale Beschrebung von Programmiersprachen, Academie Verlag, Berlin 1983. Also, R. Oldenbourg Verlag, Munchen, Vien 1983 (in German)
• P. Dembinski, J. Maluszynski, Matematyczne metody definiowania jezykow programowania, WNT, Warszawa, 1981 (in Polish)
• P. Dembinski (ed.), Mathematical Foundation of Computer Science, Proc. 9th International Symposium, Lectures Notes in Computer Science, vol. 81, Springer-Verlag, Heidelberg, 1980

Articles:

• P. Dembiński, A. Janowska, P. Janowski, W. Penczek, A. Półrola, M. Szreter, B. Woźna, A. Zbrzezny "VerICS: weryfikator dla automatów czasowych i specyfikacji zapisanych w języku Estelle" , Systemy Czasu Rzeczywistego (SCR'03).
• P. Dembiński, A. Janowska, P. Janowski, W.Penczek, A. Półrola, M. Szreter, B. Woźna, A. Zbrzeznym) VERICS: A Tool for Verifying Timed Automata and Estelle Specifications. Materiały Konferencji 9th Int. Conf. on Tools and Algorithms for theConstruction and Analysis of Systems (TACAS'03), tom 2619, str. 278-283 LNCS, Springer-Verlag, 2003.
• P. Dembiński, W. Penczek, A. Półrola: Verification of Timed Automata Based on Similarity, Fundamenta Informaticae 51(1-2), str. 59-89, IOS Press, 2002.
• P. Dembiński, W. Penczek, A. Półrola: Automated Verification of Infinite State Concurrent Systems: An Improvement in Model Generation; Proc. of the 4th Int. Conf. Parallel Processing and Applied Mathematics (PPAM'2001), LNCS, vol. 2328, str. 247-255, Springer-Verlag, 2002.
• P. Dembinski, Distributed and Randomized Enumeration, Proc. of the the 8th Euromicro Workshop on Parallel and Distributed Processing (PDP’2000), IEEE Society Press, 2000. Abstract of the paper | Estelle specification
• P. Dembinski, Enumeration protocol in Estelle: an exercise in stepwise development, in Formal Description Techniques and Protocol Specification, Testing and Verification (eds., S. Budkowski, A. Cavalli, E. Najm), Kluwer Academic Publishers, 1998 (147-162) Abstract of the paper | Estelle specification1 | Estelle specification2
• S. Budkowski, P. Dembinski, Some Estelle mechanisms revisited. Proc.1st International Workshop Estelle'98, INT Evry, 1998 (197-212) Abstract of the paper
• P. Dembinski, Metody formalne w projektowaniu oprogramowania: mity i rzeczywistosc (in Polish), Materialy XIV Jesiennych Spotkan PTI, Mragowo, 1998 (5-16) (in Polish) Abstract of the paper
• P. Dembinski P, Elementy inzynierii oprogramowania w projektowaniu systemow telekomunikacyjnych (in Polish), Materialy Krajowego Sympozium Telekomunikacji'98, Instytut Telekomunikacji PW, 1998 (vol A, 32-47, in Polish) Abstract of the paper
• P. Dembinski, Semantics of Timed, Concurrent Systems, Fundamenta Informaticea, vol.29, no. 1,2, 1997 Abstract of the paper
• J-P. Courtiat, P. Dembinski, G.J. Holzmann, L. Logrippo, H. Rudin, P. Zave, Formal methods after 15 years: Status and trends, Computer Network and ISDN Systems, vol. 28, October 1996
• S.Budkowski, E.Lallet, P.Dembinski, J.P.Mouchel-La Fosse, B. Alkhechi, M.Gardie, O. Catrina, Formal specification and Validation of the Xpress Transfer Protocol (XTP), in A. Danthine (ed.) The OSI95 Transport Service with Multimedia Support, vol.1, pp. 42-62, Springer-Verlag 1994
• S.Budkowski, B. Alkhechi, M.L.Benalysherif, P.Dembinski, M.Gardie, E.Lallet, J.P.Mouchel-La Fosse, Y.Soussi, Modelling and Analyzing the Xpress Transfer Protocol (XTP), in A. Danthine (ed.) The OSI95 Transport Service with Multimedia Support, vol.1, pp. 20-41, Springer-Verlag 1994
• S.Budkowski, B. Alkhechi, M.L.Benalysherif, P.Dembinski, M.Gardie, E.Lallet, J.P.Mouchel-La Fosse, Y.Soussi, Formal specification, validation and performance evaluation of the Xpress Transfer Protocol (XTP), Proc. IFIP 13th Intern. Symp. on Protocol Specification, Testing and Verification (PSTV’93), A. Danthine, G. Leduc (eds.), North-Holland 1994
• P. Dembinski, Queueing Network Model of Estelle, Proc. Intern. Conference on Formal Description Techniques (FORTE'92), M.Diaz. R. Groz (eds.), Perros-Guirec, October 1992, North-Holland, 1993 Abstract of the paper
• P. Dembinski, Interfacing ASN.1 and Estelle: A Practical Approach, Proc. Intern. Conference on Formal Description Techniques (FORTE'90), J.Quemada, J.Manes, E. Vasquez (eds.), North-Holland, 1990
• S. Budkowski, P. Dembinski, An Introduction to Estelle: a Specification Language for Distributed Systems, Computer Networks and ISDN Systems 14, 1987
• P. Dembinski, Estelle Semantics, in The Formal Description Technique Estelle, M. Diaz et al. (eds.), North-Holland, 1989 (also: SEDOS Report 054, 1986)
• P. Dembinski, S. Budkowski, Simulating Estelle Specifications with Time Parameters, Proc. IFIP WG6.1 7th International Conference On Protocol Specification, Testing and Verification, H. Rudin and C. West (eds.), North-Holland, 1987
• J.P. Courtiat, P. Dembinski, R. Groz, C. Jard, Estelle: un langage pour les algorithmes distribues et les protocoles, Technique et Science Informatique, vol. 6, no. 2, 1987 (Estelle: An ISO language for distributed algorithms and protocols, Technology and Science of Informatics, John Wiley & Sons, Ltd.)
• P. Dembinski, J. Maluszynski, AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs, Proc. Symposium on Logic Programming 85, Boston, Ma., 1985
• P. Dembinski, M. Pawlowski, A New Approach to the Microprogram Compaction, Proc EUROMICRO'83, D.R. Wilson and C.J. von Spronsen (eds.), North-Holland, 1983
• P. Dembinski, Design and Verification Oriented Microprogram Transformation, Proc. IFIP Working Conference on Programming Languages and System Design, J. Bormann (ed.), North-Holland, 1983

Technical Reports:

• P. Dembinski, A distributed algorithm for dynamic resource allocation: development and validation in Estelle, ICS PAS Reports, no 907, Warsaw, March 2000. Abstract of the report | Estelle specification
• P. Dembinski, Randomized Enumeration, IPI PAN Reports 848, 1998 Estelle specification
• P. Dembinski, Distributed and Always Successful Enumeration Algorithm, IPI PAN Reports 812, 1996
• J. Siatkowski, P. Dembinski, S. Kuklinski, Method of efficiency evaluation based on FDT, Report COP62/WP.2/4, February 1996
• P. Dembinski, Using QNAP to Evaluate Performance of Systems Specified in Estelle, Technical Report, Istitute National des Telecommunications, June 1991
• P. Dembinski, Estelle encoding/decoding primitives for ASN.1, Bull DRSG/ARS Internal Report, 1988
• P. Dembinski, ASN.1 and Estelle: a comparative study, Bull DRSG/ARS Internal Report, 1987
• J.P. Ansart, S.Budkowski, V. Chari, P. Dembinski, J.F. Lenotre, L. Lumbroso, E. Mariani, Estelle Debugger Specification, Bull DRSG/ARS Internal Report, 1987
• J.P. Ansart, V. Chari, P. Dembinski, Deriving Implementation Oriented Specifications within Estelle, SEDOS/B3/11 Report, 1986

Estelle Specifications:

• Distributed Protocol for Dynamic Resource Allocation
• Randomized and Distributed Enumeration Protocol
• Distributed Enumeration Protocol - 2
• Distributed Enumeration Protocol - 1
• Abracadabra Protocol (compositional design)
• Sliding Window Protocol
• Daemon Game (static version)
• Daemon Game (dynamicic version)

  ---