The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Wiktor B. Daszczuk" ( http://dblp.L3S.de/Authors/Wiktor_B._Daszczuk )

  Author page on DBLP  Author page in RDF  Community of Wiktor B. Daszczuk in ASPL-2

Publication years (Num. hits)
1987-2017 (35) 2018-2020 (8)
Publication types (Num. hits)
article(33) book(1) incollection(1) inproceedings(8)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 44 publication records. Showing 43 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Wiktor B. Daszczuk Integrated Model of Distributed Systems Search on Bibsonomy 2020   DOI  RDF
1Bogdan D. Czejdo, Wiktor B. Daszczuk, Waldemar Grabski, Sambit Bhattacharya Cooperation of Multiple Autonomous Robots and Analysis of their Swarm Behavior. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk Asynchronous Specification of Production Cell Benchmark in Integrated Model of Distributed Systems. Search on Bibsonomy Intelligent Methods and Big Data in Industrial Applications The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bogdan D. Czejdo, Wiktor B. Daszczuk Framework to Verify Distributed IoT Solutions for Traffic Analysis in ATN Stations. Search on Bibsonomy DepCoS-RELCOMEX The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wiktor B. Daszczuk Specification and Verification in Integrated Model of Distributed Systems (IMDS). Search on Bibsonomy Computers The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wiktor B. Daszczuk Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS). Search on Bibsonomy FedCSIS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wiktor B. Daszczuk Fairness in Temporal Verification of Distributed Systems. Search on Bibsonomy DepCoS-RELCOMEX The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jakub Lorenc, Wiktor B. Daszczuk, Waldemar Grabski Data Model Design in Automatic Transit System (PRT) Simulation Software. Search on Bibsonomy CSOS (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wiktor B. Daszczuk Critical trees: counterexamples in model checking of CSM systems using CBS algorithm. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wlodzimierz Choromanski, Wiktor B. Daszczuk, Jaroslaw Dyduch, Mariusz Maciejewski, Pawel Brach, Waldemar Grabski PRT (Personal Rapid Transit) network simulation. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Stanislaw Chrobot, Wiktor B. Daszczuk Communication Dualism in Distributed Systems with Petri Net Interpretation. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk, Waldemar Grabski, Jerzy Miescicki, Jacek Wytrebowicz System Modeling in the COSMA Environment. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jerzy Miescicki, Wiktor B. Daszczuk, Waldemar Grabski, Artur Krystosik Practical Approach to Distributed Systems' Design. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk Verification of Design Decisions in Communication Protocol by Evaluation of Temporal Logic Formulas. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jerzy Miescicki, Bogdan D. Czejdo, Wiktor B. Daszczuk Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk Timed Concurrent State Machines. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk State Space Reduction for Reachability Graph of CSM Automata. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jerzy Miescicki, Wiktor B. Daszczuk Behavioral an real-time verification of a pipeline in the COSMA environment. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Bogdan D. Czejdo, Sambit Bhattacharya, Mikolaj Baszun, Wiktor B. Daszczuk Improving Resilience of Autonomous Moving Platforms by Real Time Analysis of Their Cooperation. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk Macrogeneration and Automata Libraries For COSMA design environment. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk, Jerzy Miescicki, Michal Nowacki, Jacek Wytrebowicz System level specification and verification using Concurrent State Machines and COSMA environment. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Bogdan D. Czejdo, Wiktor B. Daszczuk, Jerzy Miescicki Concurrent Software Design Based on Constraints on State Diagrams. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Waldemar Grabski, Wiktor B. Daszczuk Priority Rules on ATN (PRT) Intersections. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk Evaluation of Temporal Formulas Based on "Checking By Spheres". Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk, Maciej Bielecki, Jan Michalski Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Bogdan D. Czejdo, Wiktor B. Daszczuk, Mikolaj Baszun Using Machine Learning to Enhance Vehicles Traffic in ATN (PRT) Systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk Deadlock and Termination Detection using IMDS Formalism and Model Checking. Version 2. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk, Jerzy Miescicki JADE - A Platform for Research on Cooperation of Physical and Virtual Agents. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk Discrete Event Simulation of Personal Rapid Transit (PRT) Systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk, Jerzy Miescicki, Waldemar Grabski Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk, Jerzy Miescicki Distributed management of Personal Rapid Transit (PRT) vehicles under unusual transport conditions. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jerzy Miescicki, Mikolaj Baszun, Wiktor B. Daszczuk, Bogdan D. Czejdo Verification of Concurrent Engineering Software Using CSM Models. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking. Search on Bibsonomy Comput. J. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wiktor B. Daszczuk Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3. Search on Bibsonomy FedCSIS Communication Papers The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wiktor B. Daszczuk, Wlodek M. Zuberek Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets. Search on Bibsonomy DepCoS-RELCOMEX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wiktor B. Daszczuk Real Time Model Checking Using Timed Concurrent State Machines. Search on Bibsonomy IJCSA The full citation details ... 2007 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk Timed Concurrent State Machines. Search on Bibsonomy Computer Science (AGH) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Jerzy Miescicki, Wiktor B. Daszczuk Behavioral an real-time verification of a pipeline in the COSMA environment. Search on Bibsonomy Annales UMCS, Informatica The full citation details ... 2006 DBLP  BibTeX  RDF
1Wiktor B. Daszczuk, Waldemar Grabski, Jerzy Miescicki, Jacek Wytrebowicz System Modeling in the COSMA Environment. Search on Bibsonomy DSD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Wiktor B. Daszczuk Evaluation of Temporal Formulas Based on "Checking by Spheres". Search on Bibsonomy DSD The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Wiktor B. Daszczuk A Structured Semantic Design of Distributed Operating Systems. Search on Bibsonomy Comput. J. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Wiktor B. Daszczuk Invariant testing technique for debugging a structured operating system. Search on Bibsonomy Microprocessors and Microsystems - Embedded Hardware Design The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #43 of 43 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license