IMDS Literature

W. B. Daszczuk, "Integrated model of distributed systems", Studies in Computational Intelligence, vol. 817, 238 pages, 2020

W. B. Daszczuk, “Communication and Resource Deadlock Analysis using IMDS Formalism and Model Checking,” Comput. J., vol. 60, no. 5, pp. 729–750, 2017

W. B. Daszczuk, “Deadlock and Termination Detection using IMDS Formalism and Model Checking. Version 2” ICS WUT research report 2/2008

W. B. Daszczuk, “Specification and Verification in Integrated Model of Distributed Systems (IMDS),” MDPI Comput., vol. 7, no. 4, pp. 1–26, Dec. 2018

W. B. Daszczuk, “Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3)”, Softw. Syst. Model., vol. 20, no. 5, pp. 363–398, 2021

W. B. Daszczuk, “Modeling and Verification of Asynchronous Systems Using Timed Integrated Model of Distributed Systems,” Sensors, vol. 22, no. 3, pp. 1–38, Feb. 2022

W. B. Daszczuk, “Fairness in Temporal Verification of Distributed Systems,” in 13th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, 2-6 July 2018, Brunów, Poland, AISC vol.761, 2019, pp. 135–150

W. B. Daszczuk, “Asynchronous Specification of Production Cell Benchmark in Integrated Model of Distributed Systems,” in 23rd International Symposium on Methodologies for Intelligent Systems, ISMIS 2017, Warsaw, Poland, 26-29 June 2017, Studies in Big Data, vol. 40, 2019, pp. 115–129

W. B. Daszczuk, M. Bielecki, and J. Michalski, “Rybu: Imperative-style Preprocessor for Verification of Distributed Systems in the Dedan Environment,” in KKIO’17 – Software Engineering Conference, Rzeszów, Poland, 14-16 Sept. 2017, 2017, pp. 135–150

S. Katra, W. Daszczuk, and D. Czejdo, “An Experimentation Framework for Specification and Verification of Web Services,” in 17th Conference on Computer Science and Intelligence Systems (FedCSIS), Sofia, Bulgaria, 4-7 Sept. 2022, pp. 913–917

W. B. Daszczuk and W. M. Zuberek, “Deadlock Detection in Distributed Systems Using the IMDS Formalism and Petri Nets,” in 12th International Conference on Dependability and Complex Systems, DepCoS-RELCOMEX 2017, Brunów, Poland, 2-6 July 2017. AISC vol 582, 2018, pp. 118–130

W. B. Daszczuk, “Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS)”, in Federated Conference on Computer Science and Information Systems, 3rd Workshop on Constraint Programming and Operation Research Applications (CPORA’18), Poznań, Poland, 9-12 Sept. 2018, 2018, pp. 425–435

W. B. Daszczuk, “Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3,” in 37th IEEE Software Engineering Workshop, Federated Conference on Computer Science and Information Systems, FEDCSIS’17, Prague, Czech Republic, 3-6 Sept. 2017, 2017, pp. 377–386

W. B. Daszczuk and J. Jalowiec, “Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS)”, in 18th Conference on Computer Science and Intelligence Systems, Warsaw, Poland, 17–20 Sept 2023, Annals of Computer Science and Information Systems, vol. 37, 2023, Warszawa, 2023, pp. 65–74

W. B. Daszczuk, “Static and Dynamic Verification of Space Systems Using Asynchronous Observer Agents,” Sensors, vol. 21, no. 13, 2021, article 4541

W. B. Daszczuk, “Non-exhaustive Verification in Integrated Model of Distributed Systems (IMDS) Using Vagabond Algorithm,” in Theory and Engineering of Dependable Computer Systems and Networks, Depcos ’21, Brunów, Poland, 28 June - 2 July 2021, pp. 32–43

B. Czejdo, S. Bhattacharya, M. Baszun, and W. B. Daszczuk, “Improving resilience of autonomous moving platforms by real-time analysis of their cooperation,” Autobusy : technika, eksploatacja, systemy transportowe, vol. 17, no 6, 2016, pp. 1294-1301

J. Karolak, W. B. Daszczuk, W. Grabski, and A. Kochan, “Temporal Verification of Relay-Based Railway Traffic Control Systems Using the Integrated Model of Distributed Systems,” Energies, vol. 15, no. 23, 2022, article 9041

A. Kochan, W. B. Daszczuk, W. Grabski, and J. Karolak, “Formal Verification of the European Train Control System (ETCS) for Better Energy Efficiency Using a Timed and Asynchronous Model”, Energies, vol. 16, no. 8, p. 3602, Apr. 2023