All Stories

  1. 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

  2. Entropy as a Measure of Consistency in Software Architecture

    Article • Entropy, February 2023, MDPI AG

    Dr Wiktor B. Daszczuk

  3. Practical Approach to Introducing Parallelism in Sequential Programs

    Article • January 2023, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

  4. 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

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

    Article • September 2022, Polish Information Processing Society PTI

    Dr Wiktor B. Daszczuk

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

    Article • Sensors, February 2022, MDPI AG

    Dr Wiktor B. Daszczuk

  7. Using Evolutionary Algorithm in On-line Deployment

    Article • January 2022, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

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

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

    Dr Wiktor B. Daszczuk

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

    Article • Sensors, July 2021, MDPI AG

    Dr Wiktor B. Daszczuk

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

    Article • January 2021, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

  11. 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

  12. Tree-Like Distributed Computation Environment with Shapp Library

    Article • Information, March 2020, MDPI AG

    Dr Wiktor B. Daszczuk

  13. 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

  14. Integrated Model of Distributed Systems

    Article • January 2020, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

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

    Article • December 2019, MDPI AG

    Dr Wiktor B. Daszczuk

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

    Article • May 2019, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

  17. Shapp: Workload Management System for Massive Distributed Calculations

    Article • January 2019, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

  18. 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

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

    Article • Computers, December 2018, MDPI AG

    Dr Wiktor B. Daszczuk

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

    Article • September 2018, Polish Information Processing Society PTI

    Dr Wiktor B. Daszczuk

  21. Energy Constraints in Operation of Autonomous Transit Networks

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

    Dr Wiktor B. Daszczuk

  22. Fairness in Temporal Verification of Distributed Systems

    Article • May 2018, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

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

    Article • May 2018, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

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

    Article • May 2018, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

  25. 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

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

    Article • September 2017, Polish Information Processing Society PTI

    Dr Wiktor B. Daszczuk

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

    Article • May 2017, Springer Science + Business Media

    Dr Wiktor B. Daszczuk

  28. 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

  29. PRT Distributed Empty Vehicles Management

    Article • Journal of Advanced Transportation, February 2016, Wiley

    Dr Wiktor B. Daszczuk

  30. 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

  31. 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

  32. A Structured Semantic Design of Distributed Operating Systems

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

    Dr Wiktor B. Daszczuk

  33. Invariant testing technique for debugging a structured operating system

    Article • Microprocessors and Microsystems, May 1987, Elsevier

    Dr Wiktor B. Daszczuk

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

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr Wiktor B. Daszczuk

  35. System modeling in the COSMA environment

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr Wiktor B. Daszczuk