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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
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

2019
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

2018
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

2017
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

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

Timed Concurrent State Machines.
Comput. Sci., 2007

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

2001
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

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

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


  Loading...