Piotr Dembinski

According to our database, Piotr Dembinski authored at least 22 papers between 1974 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Towards Partial Order Reductions for Strategic Ability.

Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz

J. Artif. Intell. Res., 2020

2018

Towards Partial Order Reductions for Strategic Ability.

Wojciech Jamroga, Wojciech Penczek, Piotr Dembinski, Antoni W. Mazurkiewicz

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2009

Simulation of Security Protocols based on Scenarios of Attacks.

Gizela Jakubowska, Piotr Dembinski, Wojciech Penczek, Maciej Szreter

Fundam. Informaticae, 2009

2003

Verics: A Tool for Verifying Timed Automata and Estelle Specifications.

Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002

Verification of Timed Automata Based on Similarity.

Piotr Dembinski, Wojciech Penczek, Agata Pólrola

Fundam. Informaticae, 2002

2001

Automated Verification of Infinite State Concurrent Systems.

Piotr Dembinski, Wojciech Penczek, Agata Pólrola

Proceedings of the Parallel Processing and Applied Mathematics, 2001

2000

Distributed and randomized enumeration.

Piotr Dembinski

Proceedings of the Eight Euromicro Workshop on Parallel and Distributed Processing, 2000

1998

Enumeration Protocol in Estelle: an exercise in stepwise development.

Piotr Dembinski

Proceedings of the Formal Description Techniques and Protocol Specification, 1998

1997

Semantics of Times Concurrent Systems.

Piotr Dembinski

Fundam. Informaticae, 1997

1996

Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995).

Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave

Comput. Networks ISDN Syst., 1996

1993

Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol.

Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi

Proceedings of the Protocol Specification, 1993

1992

Queueing network model for Estelle.

Piotr Dembinski

Proceedings of the Formal Description Techniques, 1992

1990

Interfacing ASN.1 and Estelle: A Practical Approach.

Piotr Dembinski

Proceedings of the Formal Description Techniques, 1990

1987

An Introduction to Estelle: A Specification Language for Distributed Systems.

Stanislaw Budkowski, Piotr Dembinski

Comput. Networks, 1987

Simulating Estelle Specifications with Time Parameters.

Piotr Dembinski, Stanislaw Budkowski

Proceedings of the Protocol Specification, 1987

1985

AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs.

Piotr Dembinski, Jan Maluszynski

Proceedings of the 1985 Symposium on Logic Programming, 1985

1979

Two Level Grammars: CF-Grammars with Equation Schemes.

Piotr Dembinski, Jan Maluszynski

Proceedings of the Automata, 1979

1978

An introduction to the verification oriented microprogramming language "MIDDLE".

Piotr Dembinski, Stanislaw Budkowski

Proceedings of the 11th annual workshop on Microprogramming, 1978

Firmware versus software verification.

Stanislaw Budkowski, Piotr Dembinski

Proceedings of the 11th annual workshop on Microprogramming, 1978

Attribute Grammars and Two-Level Grammars: A Unifying Approach.

Piotr Dembinski, Jan Maluszynski

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1977

The taming of the pointer.

Piotr Dembinski, Richard L. Schwartz

ACM SIGPLAN Notices, 1977

1974

Towards an Understanding of Complex Processes.

Piotr Dembinski

Proceedings of the Mathematical Foundations of Computer Science, 1974