Skip to content
cs-conference-ranking.org

Wiktor B. Daszczuk

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

3

Active years

2001–2023

Best venue rank

C

Where they publish

Papers

9 indexed papers, newest first.

YearVenueTitleAuthors
2023FedCSISFormal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS).Wiktor B. Daszczuk, Jakub Jalowiec
2022FedCSISAn Experimentation Framework for Specification and Verification of Web Services.Szymon Katra, Wiktor B. Daszczuk, Danny Czejdo
2019DEPCoSFramework to Verify Distributed IoT Solutions for Traffic Analysis in ATN Stations.Bogdan D. Czejdo, Wiktor B. Daszczuk
2018DEPCoSFairness in Temporal Verification of Distributed Systems.Wiktor B. Daszczuk
2018FedCSISSiphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS).Wiktor B. Daszczuk
2017DEPCoSDeadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets.Wiktor B. Daszczuk, Wlodek M. Zuberek
2017FedCSISThreefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3.Wiktor B. Daszczuk
2001DSDEvaluation of Temporal Formulas Based on "Checking by Spheres".Wiktor B. Daszczuk
2001DSDSystem Modeling in the COSMA Environment.Wiktor B. Daszczuk, Waldemar Grabski, Jerzy Miescicki, Jacek Wytrebowicz