Wiktor B. Daszczuk

According to our database, Wiktor B. Daszczuk authored at least 47 papers between 1987 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Entropy as a Measure of Consistency in Software Architecture.

Stanislaw Jerzy Niepostyn, Wiktor Bohdan Daszczuk

Entropy, February, 2023

Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS).

Wiktor B. Daszczuk, Jakub Jalowiec

Proceedings of the Communication Papers of the 18th Conference on Computer Science and Intelligence Systems, 2023

2022

Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA³).

Wiktor B. Daszczuk

Softw. Syst. Model., 2022

Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems.

Wiktor B. Daszczuk

Sensors, 2022

An Experimentation Framework for Specification and Verification of Web Services.

Szymon Katra, Wiktor B. Daszczuk, Danny Czejdo

Proceedings of the 17th Conference on Computer Science and Intelligence Systems, 2022

2021

Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents.

Wiktor B. Daszczuk

Sensors, 2021

2020

Integrated Model of Distributed Systems

Wiktor B. Daszczuk

Studies in Computational Intelligence 817, Springer, ISBN: 978-3-030-12834-0, 2020

Measures of Structure and Operation of Automated Transit Networks.

Wiktor B. Daszczuk

IEEE Trans. Intell. Transp. Syst., 2020

Tree-Like Distributed Computation Environment with Shapp Library.

Tomasz Galecki, Wiktor Bohdan Daszczuk

Inf., 2020

2019

Cooperation of Multiple Autonomous Robots and Analysis of their Swarm Behavior.

Bogdan D. Czejdo, Wiktor B. Daszczuk, Waldemar Grabski, Sambit Bhattacharya

CoRR, 2019

Framework to Verify Distributed IoT Solutions for Traffic Analysis in ATN Stations.

Bogdan D. Czejdo, Wiktor B. Daszczuk

Proceedings of the Engineering in Dependability of Computer Systems and Networks, 2019

Shapp: Workload Management System for Massive Distributed Calculations.

Tomasz Galecki, Wiktor B. Daszczuk

Proceedings of the Software Engineering Methods in Intelligent Algorithms, 2019

Asynchronous Specification of Production Cell Benchmark in Integrated Model of Distributed Systems.

Wiktor B. Daszczuk

Proceedings of the Intelligent Methods and Big Data in Industrial Applications., 2019

2018

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

Wiktor B. Daszczuk

Comput., 2018

Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS).

Wiktor B. Daszczuk

Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, 2018

Fairness in Temporal Verification of Distributed Systems.

Wiktor B. Daszczuk

Proceedings of the Contemporary Complex Systems and Their Dependability, 2018

Data Model Design in Automatic Transit System (PRT) Simulation Software.

Jakub Lorenc, Wiktor B. Daszczuk, Waldemar Grabski

Proceedings of the Software Engineering and Algorithms in Intelligent Systems, 2018

2017

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

Bogdan D. Czejdo, Wiktor B. Daszczuk, Mikolaj Baszun

CoRR, 2017

Priority Rules on ATN (PRT) Intersections.

Waldemar Grabski, 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

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

Wiktor B. Daszczuk

CoRR, 2017

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

Wiktor B. Daszczuk

CoRR, 2017

State Space Reduction for Reachability Graph of CSM Automata.

Wiktor B. Daszczuk

CoRR, 2017

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

Wiktor B. Daszczuk, Jerzy Miescicki

CoRR, 2017

Macrogeneration and Automata Libraries For COSMA design environment.

Wiktor B. Daszczuk

CoRR, 2017

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

Wiktor B. Daszczuk

CoRR, 2017

Communication Dualism in Distributed Systems with Petri Net Interpretation.

Stanislaw Chrobot, Wiktor B. Daszczuk

CoRR, 2017

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

Wiktor B. Daszczuk, Jerzy Miescicki, Waldemar Grabski

CoRR, 2017

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

Wiktor B. Daszczuk, Maciej Bielecki, Jan Michalski

CoRR, 2017

Practical Approach to Distributed Systems' Design.

Jerzy Miescicki, Wiktor B. Daszczuk, Waldemar Grabski, Artur Krystosik

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

Verification of Concurrent Engineering Software Using CSM Models.

Jerzy Miescicki, Mikolaj Baszun, Wiktor B. Daszczuk, Bogdan D. Czejdo

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

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

Wiktor B. Daszczuk, Jerzy Miescicki

CoRR, 2017

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

Wiktor B. Daszczuk

CoRR, 2017

Concurrent Software Design Based on Constraints on State Diagrams.

Bogdan D. Czejdo, Wiktor B. Daszczuk, Jerzy Miescicki

CoRR, 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

Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking.

Wiktor B. Daszczuk

Comput. J., 2017

Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3.

Wiktor B. Daszczuk

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.

Wiktor B. Daszczuk, Wlodek M. Zuberek

Proceedings of the Advances in Dependability Engineering of Complex Systems, 2017

2007

Real Time Model Checking Using Timed Concurrent State Machines.

Wiktor B. Daszczuk

Int. J. Comput. Sci. Appl., 2007

Timed Concurrent State Machines.

Wiktor B. Daszczuk

Comput. Sci., 2007

2006

Behavioral an real-time verification of a pipeline in the COSMA environment.

Jerzy Miescicki, Wiktor B. Daszczuk

Ann. UMCS Informatica, 2006

2001

System Modeling in the COSMA Environment.

Wiktor B. Daszczuk, Waldemar Grabski, Jerzy Miescicki, Jacek Wytrebowicz

Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

Evaluation of Temporal Formulas Based on "Checking by Spheres".

Wiktor B. Daszczuk

Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

1991

A Structured Semantic Design of Distributed Operating Systems.

Wiktor B. Daszczuk

Comput. J., 1991

1987

Invariant testing technique for debugging a structured operating system.

Wiktor B. Daszczuk

Microprocess. Microsystems, 1987