Piotr Dembinski

Publication Activity (10 Years)

Years Active: 1974-2020
Publications (10 Years): 2

Top Topics

Conceptual Graphs

Partial Ordering

Top Venues

J. Artif. Intell. Res.

Publications

Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz
Towards Partial Order Reductions for Strategic Ability. J. Artif. Intell. Res. 68 (2020)
Wojciech Jamroga, Wojciech Penczek, Piotr Dembinski, Antoni W. Mazurkiewicz
Towards Partial Order Reductions for Strategic Ability. AAMAS (2018)
Gizela Jakubowska, Piotr Dembinski, Wojciech Penczek, Maciej Szreter
Simulation of Security Protocols based on Scenarios of Attacks. Fundam. Informaticae 93 (1-3) (2009)
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)
Piotr Dembinski, Wojciech Penczek, Agata Pólrola
Verification of Timed Automata Based on Similarity. Fundam. Informaticae 51 (1-2) (2002)
Piotr Dembinski, Wojciech Penczek, Agata Pólrola
Automated Verification of Infinite State Concurrent Systems. PPAM (2001)
Piotr Dembinski
Distributed and randomized enumeration. PDP (2000)
Piotr Dembinski
Enumeration Protocol in Estelle: an exercise in stepwise development. FORTE (1998)
Piotr Dembinski
Semantics of Times Concurrent Systems. Fundam. Informaticae 29 (1-2) (1997)
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). Comput. Networks ISDN Syst. 28 (13) (1996)
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)
Piotr Dembinski
Queueing network model for Estelle. FORTE (1992)
Piotr Dembinski
Interfacing ASN.1 and Estelle: A Practical Approach. FORTE (1990)
Piotr Dembinski, Stanislaw Budkowski
Simulating Estelle Specifications with Time Parameters. PSTV (1987)
Stanislaw Budkowski, Piotr Dembinski
An Introduction to Estelle: A Specification Language for Distributed Systems. Comput. Networks 14 (1987)
Piotr Dembinski, Jan Maluszynski
AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs. SLP (1985)
Piotr Dembinski, Jan Maluszynski
Two Level Grammars: CF-Grammars with Equation Schemes. ICALP (1979)
Piotr Dembinski, Stanislaw Budkowski
An introduction to the verification oriented microprogramming language "MIDDLE". MICRO (1978)
Piotr Dembinski, Jan Maluszynski
Attribute Grammars and Two-Level Grammars: A Unifying Approach. MFCS (1978)
Stanislaw Budkowski, Piotr Dembinski
Firmware versus software verification. MICRO (1978)
Piotr Dembinski, Richard L. Schwartz
The taming of the pointer. ACM SIGPLAN Notices 12 (7) (1977)
Piotr Dembinski
Towards an Understanding of Complex Processes. MFCS (1974)