Piotr Dembinski

24 papers A* 3A 2B 3C 4Misc 1Journal 7Unranked 3
YearRankTypeTitle / Venue / Authors
2020 J jnl
Towards Partial Order Reductions for Strategic Ability.
J. Artif. Intell. Res.
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz
2018 A conf
Towards Partial Order Reductions for Strategic Ability.
AAMAS
Wojciech Jamroga, Wojciech Penczek, Piotr Dembinski, Antoni W. Mazurkiewicz
2009 J jnl
Simulation of Security Protocols based on Scenarios of Attacks.
Fundam. Informaticae
Gizela Jakubowska, Piotr Dembinski, Wojciech Penczek, Maciej Szreter
2003 A conf
Verics: A Tool for Verifying Timed Automata and Estelle Specifications.
TACAS
Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
2002 J jnl
Verification of Timed Automata Based on Similarity.
Fundam. Informaticae
Piotr Dembinski, Wojciech Penczek, Agata Pólrola
2001 Misc conf
Automated Verification of Infinite State Concurrent Systems.
PPAM
Piotr Dembinski, Wojciech Penczek, Agata Pólrola
2000 C conf
Distributed and randomized enumeration.
PDP
Piotr Dembinski
1998 C conf
Enumeration Protocol in Estelle: an exercise in stepwise development.
FORTE
Piotr Dembinski
1997 J jnl
Semantics of Times Concurrent Systems.
Fundam. Informaticae
Piotr Dembinski
1996 J jnl
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.
Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave
1996 — ed.
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
PSTV
Piotr Dembinski, Marek Sredniawa
1993 — conf
Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol.
PSTV
Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi
1992 C conf
Queueing network model for Estelle.
FORTE
Piotr Dembinski
1990 C conf
Interfacing ASN.1 and Estelle: A Practical Approach.
FORTE
Piotr Dembinski
1987 J jnl
An Introduction to Estelle: A Specification Language for Distributed Systems.
Comput. Networks
Stanislaw Budkowski, Piotr Dembinski
1987 — conf
Simulating Estelle Specifications with Time Parameters.
PSTV
Piotr Dembinski, Stanislaw Budkowski
1985 — conf
AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs.
SLP
Piotr Dembinski, Jan Maluszynski
1980 B ed.
Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980
MFCS
Piotr Dembinski
1979 A* conf
Two Level Grammars: CF-Grammars with Equation Schemes.
ICALP
Piotr Dembinski, Jan Maluszynski
1978 A* conf
An introduction to the verification oriented microprogramming language "MIDDLE".
MICRO
Piotr Dembinski, Stanislaw Budkowski
1978 B conf
Attribute Grammars and Two-Level Grammars: A Unifying Approach.
MFCS
Piotr Dembinski, Jan Maluszynski
1978 A* conf
Firmware versus software verification.
MICRO
Stanislaw Budkowski, Piotr Dembinski
1977 J jnl
The taming of the pointer.
ACM SIGPLAN Notices
Piotr Dembinski, Richard L. Schwartz
1974 B conf
Towards an Understanding of Complex Processes.
MFCS
Piotr Dembinski