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 | 39 | 2015 |
Verification of temporal properties in concurrent systems WB Daszczuk The Institute of Computer Science, 2003 | 30 | 2003 |
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 | 27 | 2016 |
Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking WB Daszczuk The Computer Journal 60 (50), 729-750, 2017 | 22 | 2017 |
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 | 16 | 2006 |
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 | 15 | 2016 |
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 | 14 | 2001 |
Asynchronous Specification of Production Cell Benchmark in Integrated Model of Distributed Systems WB Daszczuk 23rd International Symposium on Methodologies for Intelligent Systems …, 2019 | 13 | 2019 |
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 | 12 | 2018 |
System modeling in the COSMA environment WB Daszczuk, W Grabski, J Miescicki, J Wytrebowicz Euromicro Symposium on Digital Systems Design, 2001, 152-157, 2001 | 12 | 2001 |
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 | 11 | 2000 |
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 | 10 | 2017 |
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 | 9 | 2003 |
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 | 8 | 2022 |