Wiktor B. Daszczuk

51 papers C 4Journal 37Unranked 8

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