Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Piotr Dembinski
2000 – 2009
- 2009
[j5]Gizela Jakubowska, Piotr Dembinski, Wojciech Penczek, Maciej Szreter: Simulation of Security Protocols based on Scenarios of Attacks. Fundam. Inform. 93(1-3): 185-203 (2009)- 2003
- [c12]Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny: Verics: A Tool for Verifying Timed Automata and Estelle Specifications. TACAS 2003: 278-283
- 2002
- [j4]Piotr Dembinski, Wojciech Penczek, Agata Pólrola: Verification of Timed Automata Based on Similarity. Fundam. Inform. 51(1-2): 59-89 (2002)
- 2001
- [c11]Piotr Dembinski, Wojciech Penczek, Agata Pólrola: Automated Verification of Infinite State Concurrent Systems. PPAM 2001: 247-255
- 2000
- [c10]
1990 – 1999
- 1998
- [c9]Piotr Dembinski: Enumeration Protocol in Estelle: an exercise in stepwise development. FORTE 1998: 147-162
- 1997
- [j3]
- 1996
- [j2]Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave: Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995). Computer Networks and ISDN Systems 28(13): 1845-1855 (1996)
- [e2]Piotr Dembinski, Marek Sredniawa (Eds.): Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995. IFIP Conference Proceedings 38, Chapman & Hall 1996, ISBN 0-412-71620-8
- 1993
- [c8]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
- [c7]
- 1990
- [c6]
1980 – 1989
- 1987
- [j1]Stanislaw Budkowski, Piotr Dembinski: An Introduction to Estelle: A Specification Language for Distributed Systems. Computer Networks 14: 3-23 (1987)
- [c5]Piotr Dembinski, Stanislaw Budkowski: Simulating Estelle Specifications with Time Parameters. PSTV 1987: 265-279
- 1985
- [c4]Piotr Dembinski, Jan Maluszynski: AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs. SLP 1985: 29-38
- 1980
- [e1]Piotr Dembinski (Ed.): Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980. Lecture Notes in Computer Science 88, Springer 1980, ISBN 3-540-10027-X
1970 – 1979
- 1979
- [c3]Piotr Dembinski, Jan Maluszynski: Two Level Grammars: CF-Grammars with Equation Schemes. ICALP 1979: 171-187
- 1978
- [c2]Piotr Dembinski, Jan Maluszynski: Attribute Grammars and Two-Level Grammars: A Unifying Approach. MFCS 1978: 143-154
- 1974
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-03-14 21:31 CET by the dblp team