Skip to content
cs-conference-ranking.org

Piotr Dembinski

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

7

Active years

1974–2003

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2003TACASVerics: A Tool for Verifying Timed Automata and Estelle Specifications.Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Plrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
2001PPAMAutomated Verification of Infinite State Concurrent Systems.Piotr Dembinski, Wojciech Penczek, Agata Plrola
2000PDPDistributed and randomized enumeration.Piotr Dembinski
1998FORTEEnumeration Protocol in Estelle: an exercise in stepwise development.Piotr Dembinski
1992FORTEQueueing network model for Estelle.Piotr Dembinski
1990FORTEInterfacing ASN.1 and Estelle: A Practical Approach.Piotr Dembinski
1979ICALPTwo Level Grammars: CF-Grammars with Equation Schemes.Piotr Dembinski, Jan Maluszynski
1978MFCSAttribute Grammars and Two-Level Grammars: A Unifying Approach.Piotr Dembinski, Jan Maluszynski
1978MICROFirmware versus software verification.Stanislaw Budkowski, Piotr Dembinski
1978MICROAn introduction to the verification oriented microprogramming language "MIDDLE".Piotr Dembinski, Stanislaw Budkowski
1974MFCSTowards an Understanding of Complex Processes.Piotr Dembinski