Verification and Evaluation of Computer and Communication Systems

.- Formal Verification of Coupled Transmission Lines using Theorem Proving.
.- Optimizing Label Coverage using Regular Expression-Based Linear Programming.
.- Formal Verification of Declarative Specifications of BPs: DCR2CPN based Approach.
.- Toward Green Data Lake Management and Analysis through a CTMC Model.
.- A High Parallelization Method for Automated Formal Verification of Deep Neural Networks.
.- Monitoring of Neural Network Classifiers using Neuron Activation Paths.
.- Formal Security Analysis of Deep Neural Network Architecture.
.- Intrusion Detection using an enhancement Bi-LSTM Recurrent Neural Network model.
.- A Formal Approach for Verifying and Validating Security Objectives in Software Architecture.
.- Supervisory Control of Cyber-Physical Systems Using Labeled Petri Nets Under Sensor and Actuator Attacks.
.- ERTMS/ETCS L3: Usable Formal Models for the "Loss of Train Integrity" Operation Scenario.
.- Towards a Model for Energy-Efficient and Flexible IoT Systems.
.- Integrating SysML and Timed Reo to Model and Verify Cyber-Physical Systems Interactions with Timing Constraints.
.- A Reliable and Resource-Aware Federated Learning Solution by Decentralizing Client Selection for IoT Devices.
.- DRL based SFC Orchestration in SDN/NFV Environments subject to Transient Unavailability.