Wiktor B. Daszczuk

Publication Activity (10 Years)

Years Active: 1987-2023
Publications (10 Years): 41

Top Topics

Distributed Systems

Top Venues

DepCoS-RELCOMEX

Publications

Wiktor B. Daszczuk, Jakub Jalowiec
Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS). FedCSIS (Communication Papers) (2023)
Szymon Katra, Wiktor B. Daszczuk, Danny Czejdo
An Experimentation Framework for Specification and Verification of Web Services. FedCSIS (2022)
Wiktor B. Daszczuk
Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems. Sensors 22 (3) (2022)
Wiktor B. Daszczuk
). Softw. Syst. Model. 21 (1) (2022)
Wiktor B. Daszczuk
Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents. Sensors 21 (13) (2021)
Wiktor B. Daszczuk
Measures of Structure and Operation of Automated Transit Networks. IEEE Trans. Intell. Transp. Syst. 21 (7) (2020)
Bogdan D. Czejdo, Wiktor B. Daszczuk, Waldemar Grabski, Sambit Bhattacharya
Cooperation of Multiple Autonomous Robots and Analysis of their Swarm Behavior. CoRR (2019)
Tomasz Galecki, Wiktor B. Daszczuk
Shapp: Workload Management System for Massive Distributed Calculations. CSOC (1) (2019)
Bogdan D. Czejdo, Wiktor B. Daszczuk
Framework to Verify Distributed IoT Solutions for Traffic Analysis in ATN Stations. DepCoS-RELCOMEX (2019)
Wiktor B. Daszczuk
Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS). FedCSIS (2018)
Jakub Lorenc, Wiktor B. Daszczuk, Waldemar Grabski
Data Model Design in Automatic Transit System (PRT) Simulation Software. CSOS (1) (2018)
Wiktor B. Daszczuk
Fairness in Temporal Verification of Distributed Systems. DepCoS-RELCOMEX (2018)
Wiktor B. Daszczuk
Specification and Verification in Integrated Model of Distributed Systems (IMDS). Comput. 7 (4) (2018)
Bogdan D. Czejdo, Wiktor B. Daszczuk, Mikolaj Baszun
Using Machine Learning to Enhance Vehicles Traffic in ATN (PRT) Systems. CoRR (2017)
Bogdan D. Czejdo, Sambit Bhattacharya, Mikolaj Baszun, Wiktor B. Daszczuk
Improving Resilience of Autonomous Moving Platforms by Real Time Analysis of Their Cooperation. CoRR (2017)
Wiktor B. Daszczuk, Wlodek M. Zuberek
Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets. DepCoS-RELCOMEX (2017)
Wiktor B. Daszczuk
Discrete Event Simulation of Personal Rapid Transit (PRT) Systems. CoRR (2017)
Wiktor B. Daszczuk
State Space Reduction for Reachability Graph of CSM Automata. CoRR (2017)
Wiktor B. Daszczuk, Maciej Bielecki, Jan Michalski
Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment. CoRR (2017)
Wiktor B. Daszczuk
Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3. CoRR (2017)
Wiktor B. Daszczuk
Critical trees: counterexamples in model checking of CSM systems using CBS algorithm. CoRR (2017)
Wiktor B. Daszczuk
Evaluation of Temporal Formulas Based on "Checking By Spheres". CoRR (2017)
Stanislaw Chrobot, Wiktor B. Daszczuk
Communication Dualism in Distributed Systems with Petri Net Interpretation. CoRR (2017)
Wiktor B. Daszczuk
Verification of Design Decisions in Communication Protocol by Evaluation of Temporal Logic Formulas. CoRR (2017)
Jerzy Miescicki, Mikolaj Baszun, Wiktor B. Daszczuk, Bogdan D. Czejdo
Verification of Concurrent Engineering Software Using CSM Models. CoRR (2017)
Jerzy Miescicki, Wiktor B. Daszczuk
Behavioral an real-time verification of a pipeline in the COSMA environment. CoRR (2017)
Wiktor B. Daszczuk, Jerzy Miescicki
Distributed management of Personal Rapid Transit (PRT) vehicles under unusual transport conditions. CoRR (2017)
Wiktor B. Daszczuk
Timed Concurrent State Machines. CoRR (2017)
Waldemar Grabski, Wiktor B. Daszczuk
Priority Rules on ATN (PRT) Intersections. CoRR (2017)
Wiktor B. Daszczuk
Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3. FedCSIS (Communication Papers) (2017)
Bogdan D. Czejdo, Wiktor B. Daszczuk, Jerzy Miescicki
Concurrent Software Design Based on Constraints on State Diagrams. CoRR (2017)
Wiktor B. Daszczuk, Jerzy Miescicki, Michal Nowacki, Jacek Wytrebowicz
System level specification and verification using Concurrent State Machines and COSMA environment. CoRR (2017)
Jerzy Miescicki, Wiktor B. Daszczuk, Waldemar Grabski, Artur Krystosik
Practical Approach to Distributed Systems' Design. CoRR (2017)
Wiktor B. Daszczuk, Jerzy Miescicki
JADE - A Platform for Research on Cooperation of Physical and Virtual Agents. CoRR (2017)
Wiktor B. Daszczuk, Waldemar Grabski, Jerzy Miescicki, Jacek Wytrebowicz
System Modeling in the COSMA Environment. CoRR (2017)
Wiktor B. Daszczuk
Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking. Comput. J. 60 (5) (2017)
Jerzy Miescicki, Bogdan D. Czejdo, Wiktor B. Daszczuk
Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing. CoRR (2017)
Wlodzimierz Choromanski, Wiktor B. Daszczuk, Jaroslaw Dyduch, Mariusz Maciejewski, Pawel Brach, Waldemar Grabski
PRT (Personal Rapid Transit) network simulation. CoRR (2017)
Wiktor B. Daszczuk, Jerzy Miescicki, Waldemar Grabski
Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network. CoRR (2017)
Wiktor B. Daszczuk
Macrogeneration and Automata Libraries For COSMA design environment. CoRR (2017)
Wiktor B. Daszczuk
Deadlock and Termination Detection using IMDS Formalism and Model Checking. Version 2. CoRR (2017)
Wiktor B. Daszczuk
Real Time Model Checking Using Timed Concurrent State Machines. Int. J. Comput. Sci. Appl. 4 (1) (2007)
Wiktor B. Daszczuk
Timed Concurrent State Machines. Comput. Sci. 8 (2007)
Jerzy Miescicki, Wiktor B. Daszczuk
Behavioral an real-time verification of a pipeline in the COSMA environment. Ann. UMCS Informatica 4 (1) (2006)
Wiktor B. Daszczuk, Waldemar Grabski, Jerzy Miescicki, Jacek Wytrebowicz
System Modeling in the COSMA Environment. DSD (2001)
Wiktor B. Daszczuk
Evaluation of Temporal Formulas Based on "Checking by Spheres". DSD (2001)
Wiktor B. Daszczuk
A Structured Semantic Design of Distributed Operating Systems. Comput. J. 34 (6) (1991)
Wiktor B. Daszczuk
Invariant testing technique for debugging a structured operating system. Microprocess. Microsystems 11 (4) (1987)