Wiktor B. Daszczuk

According to our database1, Wiktor B. Daszczuk authored at least 41 papers between 1987 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:

On csauthors.net:


Integrated Model of Distributed Systems
Studies in Computational Intelligence 817, Springer, ISBN: 978-3-030-12834-0, 2020

Measures of Structure and Operation of Automated Transit Networks.
IEEE Trans. Intell. Transp. Syst., 2020

Tree-Like Distributed Computation Environment with Shapp Library.
Inf., 2020

Cooperation of Multiple Autonomous Robots and Analysis of their Swarm Behavior.
CoRR, 2019

Framework to Verify Distributed IoT Solutions for Traffic Analysis in ATN Stations.
Proceedings of the Engineering in Dependability of Computer Systems and Networks, 2019

Shapp: Workload Management System for Massive Distributed Calculations.
Proceedings of the Software Engineering Methods in Intelligent Algorithms, 2019

Asynchronous Specification of Production Cell Benchmark in Integrated Model of Distributed Systems.
Proceedings of the Intelligent Methods and Big Data in Industrial Applications., 2019

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

Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS).
Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

Fairness in Temporal Verification of Distributed Systems.
Proceedings of the Contemporary Complex Systems and Their Dependability, 2018

Data Model Design in Automatic Transit System (PRT) Simulation Software.
Proceedings of the Software Engineering and Algorithms in Intelligent Systems, 2018

Using Machine Learning to Enhance Vehicles Traffic in ATN (PRT) Systems.
CoRR, 2017

Priority Rules on ATN (PRT) Intersections.
CoRR, 2017

PRT (Personal Rapid Transit) network simulation.
CoRR, 2017

Critical trees: counterexamples in model checking of CSM systems using CBS algorithm.
CoRR, 2017

Verification of Design Decisions in Communication Protocol by Evaluation of Temporal Logic Formulas.
CoRR, 2017

State Space Reduction for Reachability Graph of CSM Automata.
CoRR, 2017

JADE - A Platform for Research on Cooperation of Physical and Virtual Agents.
CoRR, 2017

Macrogeneration and Automata Libraries For COSMA design environment.
CoRR, 2017

Deadlock and Termination Detection using IMDS Formalism and Model Checking. Version 2.
CoRR, 2017

Communication Dualism in Distributed Systems with Petri Net Interpretation.
CoRR, 2017

Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network.
CoRR, 2017

Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment.
CoRR, 2017

Practical Approach to Distributed Systems' Design.
CoRR, 2017

Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing.
CoRR, 2017

Verification of Concurrent Engineering Software Using CSM Models.
CoRR, 2017

System level specification and verification using Concurrent State Machines and COSMA environment.
CoRR, 2017

Distributed management of Personal Rapid Transit (PRT) vehicles under unusual transport conditions.
CoRR, 2017

Discrete Event Simulation of Personal Rapid Transit (PRT) Systems.
CoRR, 2017

Concurrent Software Design Based on Constraints on State Diagrams.
CoRR, 2017

Improving Resilience of Autonomous Moving Platforms by Real Time Analysis of Their Cooperation.
CoRR, 2017

Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking.
Comput. J., 2017

Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3.
Proceedings of the Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, 2017

Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets.
Proceedings of the Advances in Dependability Engineering of Complex Systems, 2017

Real Time Model Checking Using Timed Concurrent State Machines.
Int. J. Comput. Sci. Appl., 2007

Timed Concurrent State Machines.
Comput. Sci., 2007

Behavioral an real-time verification of a pipeline in the COSMA environment.
Ann. UMCS Informatica, 2006

System Modeling in the COSMA Environment.
Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

Evaluation of Temporal Formulas Based on "Checking by Spheres".
Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

A Structured Semantic Design of Distributed Operating Systems.
Comput. J., 1991

Invariant testing technique for debugging a structured operating system.
Microprocess. Microsystems, 1987