All Stories

  1. Anonymization in web auctions using Zero-Knowledge Proof in Blockchain technology

    Article • International Journal of Electronics and Telecommunications, January 2025, Polish Academy of Sciences Chancellery

    Dr Wiktor B. Daszczuk

  2. Using ChatGPT for Converting Sequential Python Programs into Parallel Code

    Article • January 2025, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

  3. An Objectified Entropy-Based Software Metric for Assessing the Maturity of Use Case Diagrams

    Article • September 2024, International Conference on Information Systems Development

    Dr Wiktor B. Daszczuk

  4. Adding parallelism to sequential programs – a combined method

    Article • March 2024, Polish Academy of Sciences Chancellery

    Dr Wiktor B. Daszczuk

  5. Anonymization of Bids in Blockchain Auctions Using Zero-Knowledge Proof

    Article • January 2024, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

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

    Article • October 2023, Polish Information Processing Society PTI

    Dr Wiktor B. Daszczuk

  7. Formal Verification of the European Train Control System (ETCS) for Better Energy Efficiency Using a Timed and Asynchronous Model

    Article • Energies, April 2023, MDPI AG

    Dr Wiktor B. Daszczuk

  8. Entropy as a Measure of Consistency in Software Architecture

    Article • Entropy, February 2023, MDPI AG

    Dr Wiktor B. Daszczuk

  9. Practical Approach to Introducing Parallelism in Sequential Programs

    Article • January 2023, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

  10. Temporal Verification of Relay-Based Railway Traffic Control Systems Using the Integrated Model of Distributed Systems

    Article • Energies, November 2022, MDPI AG

    Dr Wiktor B. Daszczuk

  11. An Experimentation Framework for Specification and Verification of Web Services

    Article • September 2022, Polish Information Processing Society PTI

    Dr Wiktor B. Daszczuk

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

    Article • Sensors, February 2022, MDPI AG

    Dr Wiktor B. Daszczuk

  13. Using Evolutionary Algorithm in On-line Deployment

    Article • January 2022, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

  14. Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3)

    Article • Software & Systems Modeling, November 2021, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

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

    Article • Sensors, July 2021, MDPI AG

    Dr Wiktor B. Daszczuk

  16. Non-exhaustive Verification in Integrated Model of Distributed Systems (IMDS) Using Vagabond Algorithm

    Article • January 2021, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

  17. Measures of Structure and Operation of Automated Transit Networks

    Article • IEEE Transactions on Intelligent Transportation Systems, July 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Wiktor B. Daszczuk

  18. Tree-Like Distributed Computation Environment with Shapp Library

    Article • Information, March 2020, MDPI AG

    Dr Wiktor B. Daszczuk

  19. Using Domain Specific Languages and Domain Ontology in Workflow Design in Syndatis BPM4 Environment

    Article • January 2020, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

  20. Integrated Model of Distributed Systems

    Article • January 2020, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

  21. Modelling Distributed Systems in Distributed Autonomous and Asynchronous Automata (DA3)

    Article • December 2019, MDPI AG

    Dr Wiktor B. Daszczuk

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

    Article • May 2019, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

  23. Shapp: Workload Management System for Massive Distributed Calculations

    Article • January 2019, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

  24. Cooperation of multiple autonomous robots and analysis of their swarm behavior

    Article • AUTOBUSY – Technika Eksploatacja Systemy Transportowe, December 2018, Instytut Badan Gospodarczych / Institute of Economic Research

    Dr Wiktor B. Daszczuk

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

    Article • Computers, December 2018, MDPI AG

    Dr Wiktor B. Daszczuk

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

    Article • September 2018, Polish Information Processing Society PTI

    Dr Wiktor B. Daszczuk

  27. Energy Constraints in Operation of Autonomous Transit Networks

    Article • June 2018, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Wiktor B. Daszczuk

  28. Fairness in Temporal Verification of Distributed Systems

    Article • May 2018, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

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

    Article • May 2018, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

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

    Article • May 2018, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

  31. A STUDY ON COOPERATION OF URBAN TRANSPORT MEANS: PRT AND LIGHT RAIL

    Article • Transport Problems, January 2018, Silesian University of Technology

    Dr Wiktor B. Daszczuk

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

    Article • September 2017, Polish Information Processing Society PTI

    Dr Wiktor B. Daszczuk

  33. Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets

    Article • May 2017, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

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

    Article • The Computer Journal, December 2016, Oxford University Press (OUP)

    Dr Wiktor B. Daszczuk

  35. PRT Distributed Empty Vehicles Management

    Article • Journal of Advanced Transportation, February 2016, Wiley

    Dr Wiktor B. Daszczuk

  36. Reallocation of empty vehicles allows to shorten passenger waiting time.

    Article • IET Intelligent Transport Systems, April 2015, the Institution of Engineering and Technology (the IET)

    Dr Wiktor B. Daszczuk

  37. Personal Rapid Transit (PRT) Computer Network Simulation and Analysis of Flow Capacity

    Article • April 2013, American Society of Civil Engineers (ASCE)

    Dr Wiktor B. Daszczuk

  38. A Structured Semantic Design of Distributed Operating Systems

    Article • The Computer Journal, December 1991, Oxford University Press (OUP)

    Dr Wiktor B. Daszczuk

  39. Invariant testing technique for debugging a structured operating system

    Article • Microprocessors and Microsystems, May 1987, Elsevier

    Dr Wiktor B. Daszczuk

  40. Evaluation of temporal formulas based on "checking by spheres"

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr Wiktor B. Daszczuk

  41. System modeling in the COSMA environment

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr Wiktor B. Daszczuk