| 2003 |
|---|
| 17 | EE | 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 |
|---|
| 16 | | Piotr Dembinski,
Wojciech Penczek,
Agata Pólrola:
Verification of Timed Automata Based on Similarity.
Fundam. Inform. 51(1-2): 59-89 (2002) |
| 2001 |
|---|
| 15 | EE | Piotr Dembinski,
Wojciech Penczek,
Agata Pólrola:
Automated Verification of Infinite State Concurrent Systems.
PPAM 2001: 247-255 |
| 1998 |
|---|
| 14 | | Piotr Dembinski:
Enumeration Protocol in Estelle: an exercise in stepwise development.
FORTE 1998: 147-162 |
| 1997 |
|---|
| 13 | | Piotr Dembinski:
Semantics of Times Concurrent Systems.
Fundam. Inform. 29(1-2): 27-50 (1997) |
| 1996 |
|---|
| 12 | | Piotr Dembinski,
Marek Sredniawa:
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
Chapman & Hall 1996 |
| 11 | EE | 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) |
| 1993 |
|---|
| 10 | | 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 |
|---|
| 9 | | Piotr Dembinski:
Queueing network model for Estelle.
FORTE 1992: 73-86 |
| 1990 |
|---|
| 8 | | Piotr Dembinski:
Interfacing ASN.1 and Estelle: A Practical Approach.
FORTE 1990: 361-368 |
| 1987 |
|---|
| 7 | | Piotr Dembinski,
Stanislaw Budkowski:
Simulating Estelle Specifications with Time Parameters.
PSTV 1987: 265-279 |
| 6 | | Stanislaw Budkowski,
Piotr Dembinski:
An Introduction to Estelle: A Specification Language for Distributed Systems.
Computer Networks 14: 3-23 (1987) |
| 1985 |
|---|
| 5 | | Piotr Dembinski,
Jan Maluszynski:
AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs.
SLP 1985: 29-38 |
| 1980 |
|---|
| 4 | | Piotr Dembinski:
Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980
Springer 1980 |
| 1979 |
|---|
| 3 | | Piotr Dembinski,
Jan Maluszynski:
Two Level Grammars: CF-Grammars with Equation Schemes.
ICALP 1979: 171-187 |
| 1978 |
|---|
| 2 | | Piotr Dembinski,
Jan Maluszynski:
Attribute Grammars and Two-Level Grammars: A Unifying Approach.
MFCS 1978: 143-154 |
| 1974 |
|---|
| 1 | | Piotr Dembinski:
Towards an Understanding of Complex Processes.
MFCS 1974: 175-185 |
