Obserwuj
Wiktor B. Daszczuk
Tytuł
Cytowane przez
Cytowane przez
Rok
Empty vehicles management as a method for reducing passenger waiting time in Personal Rapid Transit networks
WB Daszczuk, W Choromański, J Mieścicki, W Grabski
IET Intelligent Transport Systems 9 (3), 231-239, 2015
392015
Verification of temporal properties in concurrent systems
WB Daszczuk
The Institute of Computer Science, 2003
302003
Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network
WB Daszczuk, J Mieścicki, W Grabski
Journal of Advanced Transportation; https://arxiv.org/abs/1710.06331 50 (4 …, 2016
272016
Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking
WB Daszczuk
The Computer Journal 60 (50), 729-750, 2017
222017
Verification of concurrent engineering software using CSM models
J Miescicki, M Baszun, WB Daszczuk, B Czejdo
Second World Conference on Integrated Design & Process Technology, Austin …, 1996
17*1996
Communication Dualism in Distributed Systems with Petri Net Interpretation
S Chrobot, WB Daszczuk
Theoretical and Applied Informatics; https://arxiv.org/abs/1710.07907 18 (4 …, 2006
162006
Evaluation of Temporal Formulas Based on "Checking By Spheres” Algorithm, Implemented using ROBDD Representation
WB Daszczuk
Institute of Computer Science, WUT, ICS Research Report, 2000
16*2000
Improving Resilience of Autonomous Moving Platforms by real time analysis of their Cooperation
B Czejdo, S Bhattacharya, M Baszun, WB Daszczuk
Autobusy-TEST 17 (6), 1294-1301, 2016
152016
PRT (Personal Rapid Transit) computer network simulation, analysis of flow capacity
W Choromański, W Daszczuk, W Grabski, J Dyduch, M Maciejewski, ...
14th Int. Conf. on Automated People Movers and Automated Transit Systems …, 2013
15*2013
Evaluation of temporal formulas based on" checking by spheres"
WB Daszczuk
Euromicro Symposium on Digital Systems Design, 2001, 158-164, 2001
142001
Asynchronous Specification of Production Cell Benchmark in Integrated Model of Distributed Systems
WB Daszczuk
23rd International Symposium on Methodologies for Intelligent Systems …, 2019
132019
Proposed benchmarks for PRT networks simulation
J Mieścicki, WB Daszczuk
Archives of Transport; https://arxiv.org/abs/1710.05754 27 (3-4/2013), 123-133, 2013
13*2013
Specification and Verification in Integrated Model of Distributed Systems (IMDS)
WB Daszczuk
MDPI Computers; DOI: 10.3390/computers7040065 7 (4), 1-26, 2018
122018
System modeling in the COSMA environment
WB Daszczuk, W Grabski, J Miescicki, J Wytrebowicz
Euromicro Symposium on Digital Systems Design, 2001, 152-157, 2001
122001
Data mining for technical operation of telecommunications companies: a case study
W Daszczuk, P Gawrysiak, T Gerszberg, M Kryszkiewicz, J Mieścicki, ...
World Multiconference on Systemics, Cybernetics and Informatics: SCI/ISAS …, 2000
112000
Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment
WB Daszczuk, M Bielecki, J Michalski
KKIO’17 – Software Engineering Conference, Rzeszów, Poland, 135-150, 2017
102017
Temporal model checking in the COSMA environment (the operation of TempoRG program)
WB Daszczuk
Warsaw University of Technology, Institute of Computer Science 7 (7/2003), 2003
92003
Verification of Design Decisions in Communication Protocol by Evaluation of Temporal Logic Formulas
WB Daszczuk
Institute of Computer Science, Warsaw University of Technology, 1998
9*1998
Concurrent software design based on constraints on state diagrams
B Czejdo, WB Daszczuk, J Miescicki
Proceedings of The Third World Conference on Integrated Design & Process …, 1998
9*1998
Temporal Verification of Relay-Based Railway Traffic Control Systems Using the Integrated Model of Distributed Systems
J Karolak, WB Daszczuk, W Grabski, A Kochan
Energies 15 (23), 9041, 2022
82022
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20