Software Fault Prevention, Verification, and Validation

.- Some Achievements of the International Joint Research Project ”Formal Analysis and Verification of Post-quantum Cryptographic Protocols”.

.- Developing the industrial-strength tools for modeling, testing and verification: A formal-methods perspective.

.- A Methodology for Rating Maintainability Metrics of SOFL Formal Specifications.

.- An Executable Operational Semantics of Quantum Programs and Its Application.

.- Automated Software Test Input Generation with Diffusion Models.

.- Blockchain Solutions for Cash-on-Delivery: Utilizing Encrypted NFTs, Smart Contracts, and IPFS Technology.

.- Revolutionizing Animal Health Privacy: Blockchain and Encrypted NFTs.

.- Improving and Evaluating Sparse Decision-Based Black-Box Attacks and Defenses.

.- Recovery of Trace Links Between a SOFL Formal Specification and its Corresponding Incomplete Java Code.

.- S3DA: A 3D point cloud based PCB solder defect detection algorithm.

.- Consistency Naming between Requirements Analysis and Specifications.

.- A Framework for Standardized Partitioning Analysis in Integrated Modular Avionics Systems.

.- A Common Declarative Language for UML State Machine Representation, Model Transformation, and Interoperability of Visualization Tools.

.- The Three-point Optimization Algorithm:A novel Physics-based metaheuristic approach.

.- Generating Simulink Models from Hybridised Event-B Models.

.- Formal Specification and Model Checking of a Synchronous Leader Election Protocol in Maude.

.- Relational Denotational and Algebraic Semantics Based on UTP.

.- ASTD Patterns for Integrated Continuous Anomaly Detection In Data Logs.

.- Towards a Novel Approach to Railway Safety using STPA and Promise Theory.

.- Functional Modelling of the Matroid and Application to the Knapsack Problem.