Invariant testing technique for debugging a structured operating system. - Wiktor B. Daszczuk (Microprocess. Microsystems, 1987)

A Structured Semantic Design of Distributed Operating Systems. - Wiktor B. Daszczuk (Comput. J., 1991)

Evaluation of Temporal Formulas Based on "Checking by Spheres". - Wiktor B. Daszczuk (DSD, 2001)

System Modeling in the COSMA Environment. - Wiktor B. Daszczuk; Waldemar Grabski; Jerzy Miescicki; Jacek Wytrebowicz (DSD, 2001)

Behavioral an real-time verification of a pipeline in the COSMA environment. - Jerzy Miescicki; Wiktor B. Daszczuk (Ann. UMCS Informatica, 2006)

Timed Concurrent State Machines. - Wiktor B. Daszczuk (Comput. Sci., 2007)

Real Time Model Checking Using Timed Concurrent State Machines. - Wiktor B. Daszczuk (Int. J. Comput. Sci. Appl., 2007)

Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets. - Wiktor B. Daszczuk; Wlodek M. Zuberek (DepCoS-RELCOMEX, 2017)

Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3. - Wiktor B. Daszczuk (FedCSIS (Communication Papers), 2017)

Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking. - Wiktor B. Daszczuk (Comput. J., 2017)

Improving Resilience of Autonomous Moving Platforms by Real Time Analysis of Their Cooperation. - Bogdan D. Czejdo; Sambit Bhattacharya; Mikolaj Baszun; Wiktor B. Daszczuk (CoRR, 2017)

Concurrent Software Design Based on Constraints on State Diagrams. - Bogdan D. Czejdo; Wiktor B. Daszczuk; Jerzy Miescicki (CoRR, 2017)

Discrete Event Simulation of Personal Rapid Transit (PRT) Systems. - Wiktor B. Daszczuk (CoRR, 2017)

Distributed management of Personal Rapid Transit (PRT) vehicles under unusual transport conditions. - Wiktor B. Daszczuk; Jerzy Miescicki (CoRR, 2017)

System level specification and verification using Concurrent State Machines and COSMA environment. - Wiktor B. Daszczuk; Jerzy Miescicki; Michal Nowacki; Jacek Wytrebowicz (CoRR, 2017)

Verification of Concurrent Engineering Software Using CSM Models. - Jerzy Miescicki; Mikolaj Baszun; Wiktor B. Daszczuk; Bogdan D. Czejdo (CoRR, 2017)

Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing. - Jerzy Miescicki; Bogdan D. Czejdo; Wiktor B. Daszczuk (CoRR, 2017)

Practical Approach to Distributed Systems' Design. - Jerzy Miescicki; Wiktor B. Daszczuk; Waldemar Grabski; Artur Krystosik (CoRR, 2017)

Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment. - Wiktor B. Daszczuk; Maciej Bielecki; Jan Michalski (CoRR, 2017)

Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network. - Wiktor B. Daszczuk; Jerzy Miescicki; Waldemar Grabski (CoRR, 2017)

Communication Dualism in Distributed Systems with Petri Net Interpretation. - Stanislaw Chrobot; Wiktor B. Daszczuk (CoRR, 2017)

Deadlock and Termination Detection using IMDS Formalism and Model Checking. Version 2. - Wiktor B. Daszczuk (CoRR, 2017)

Macrogeneration and Automata Libraries For COSMA design environment. - Wiktor B. Daszczuk (CoRR, 2017)

JADE - A Platform for Research on Cooperation of Physical and Virtual Agents. - Wiktor B. Daszczuk; Jerzy Miescicki (CoRR, 2017)

State Space Reduction for Reachability Graph of CSM Automata. - Wiktor B. Daszczuk (CoRR, 2017)

Verification of Design Decisions in Communication Protocol by Evaluation of Temporal Logic Formulas. - Wiktor B. Daszczuk (CoRR, 2017)

Critical trees: counterexamples in model checking of CSM systems using CBS algorithm. - Wiktor B. Daszczuk (CoRR, 2017)

PRT (Personal Rapid Transit) network simulation. - Wlodzimierz Choromanski; Wiktor B. Daszczuk; Jaroslaw Dyduch; Mariusz Maciejewski; Pawel Brach; Waldemar Grabski (CoRR, 2017)

Priority Rules on ATN (PRT) Intersections. - Waldemar Grabski; Wiktor B. Daszczuk (CoRR, 2017)

Using Machine Learning to Enhance Vehicles Traffic in ATN (PRT) Systems. - Bogdan D. Czejdo; Wiktor B. Daszczuk; Mikolaj Baszun (CoRR, 2017)

Data Model Design in Automatic Transit System (PRT) Simulation Software. - Jakub Lorenc; Wiktor B. Daszczuk; Waldemar Grabski (CSOS (1), 2018)

Fairness in Temporal Verification of Distributed Systems. - Wiktor B. Daszczuk (DepCoS-RELCOMEX, 2018)

Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS). - Wiktor B. Daszczuk (FedCSIS, 2018)

Specification and Verification in Integrated Model of Distributed Systems (IMDS). - Wiktor B. Daszczuk (Comput., 2018)

Asynchronous Specification of Production Cell Benchmark in Integrated Model of Distributed Systems. - Wiktor B. Daszczuk (Intelligent Methods and Big Data in Industrial Applications, 2019)

Shapp: Workload Management System for Massive Distributed Calculations. - Tomasz Galecki; Wiktor B. Daszczuk (CSOC (1), 2019)

Framework to Verify Distributed IoT Solutions for Traffic Analysis in ATN Stations. - Bogdan D. Czejdo; Wiktor B. Daszczuk (DepCoS-RELCOMEX, 2019)

Cooperation of Multiple Autonomous Robots and Analysis of their Swarm Behavior. - Bogdan D. Czejdo; Wiktor B. Daszczuk; Waldemar Grabski; Sambit Bhattacharya (CoRR, 2019)

Tree-Like Distributed Computation Environment with Shapp Library. - Tomasz Galecki; Wiktor Bohdan Daszczuk (Inf., 2020)

Measures of Structure and Operation of Automated Transit Networks. - Wiktor B. Daszczuk (IEEE Trans. Intell. Transp. Syst., 2020)

Integrated Model of Distributed Systems - Wiktor B. Daszczuk (Springer, 2020)

Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents. - Wiktor B. Daszczuk (Sensors, 2021)

An Experimentation Framework for Specification and Verification of Web Services. - Szymon Katra; Wiktor B. Daszczuk; Danny Czejdo (FedCSIS, 2022)

Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems. - Wiktor B. Daszczuk (Sensors, 2022)

Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3). - Wiktor B. Daszczuk (Softw. Syst. Model., 2022)

Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS). - Wiktor B. Daszczuk; Jakub Jalowiec (FedCSIS (Communication Papers), 2023)

Entropy as a Measure of Consistency in Software Architecture. - Stanislaw Jerzy Niepostyn; Wiktor Bohdan Daszczuk (Entropy, 2023)

An Objectified Entropy-Based Software Metric for Assessing the Maturity of Use Case Diagrams. - Stanislaw Jerzy Niepostyn; Wiktor B. Daszczuk (ISD, 2024)