Concepedia

Wiktor B. Daszczuk

WB

6

Publications

94

Citations

6

H-Index

2006

Active since

Affiliations

Warsaw University of Technology(Current)

Institute of Computer Science

Wiktor B. Daszczuk is an author at Warsaw University of Technology specializing in engineering, systems engineering, and computer science.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsDistributed SystemsFormal VerificationComputer EngineeringModeling And SimulationBusinessLogistics

Publications per year

2006–2018

6

Publications

6

Empty vehicles management as a method for reducing passenger waiting time in Personal Rapid Transit networks

Wiktor B. Daszczuk, W. Choromański, Jerzy Mieścicki et al. · IET Intelligent Transport Systems · 2014 · 29 citations · Full text

Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking

Wiktor B. Daszczuk · The Computer Journal · 2016 · 18 citations

Communication Dualism in Distributed Systems with Petri Net Interpretation

Stanisław Chrobot, Wiktor B. Daszczuk · arXiv (Cornell University) · 2006 · 14 citations · Full text

Petri Net, Engineering, Communication Dualism +11

Specification and Verification in Integrated Model of Distributed Systems (IMDS)

Wiktor B. Daszczuk · Computers · 2018 · 12 citations · Full text

Engineering, Verification, Fault Tolerance +24

Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment

Wiktor B. Daszczuk, Maciej Bielecki, Jan Michalski · arXiv (Cornell University) · 2017 · 11 citations · Full text

Rows per page

1–5 of 6