Safe and efficient runtime testing framework applied in dynamic and distributed systems

von Lahami, Mariam
Veröffentlicht 2016

Adopting Formal Verification and Model-Based Testing Techniques for Validating a Blockchain-based Healthcare Records Sharing System

von Jabbar, Rateb
Veröffentlicht in ICEIS (Veranstaltung : 22. : 2020 : Online) ICEIS 2020 ; Volume 1 (2020)

On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation

von Habbachi, Salwa
Veröffentlicht in VECoS (16. : 2023 : Marrakesch) Verification and evaluation of computer and communication systems (2024)

A Formal Model-Based Testing Framework for Validating an IoT Solution for Blockchain-based Vehicles Communication

von Jabbar, Rateb
Veröffentlicht in ENASE (15. : 2020 : Online) ENASE 2020 (2020)

Verification and evaluation of computer and communication systems : 16th international conference, VECoS 2023, Marrakech, Morocco, October 18-20, 2023 : proceedings

Veröffentlicht 2024

Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory Design

von Adoni, Wilfried Yves Hamilton
Veröffentlicht in VECoS (14. : 2020 : Online) Verification and evaluation of computer and communication systems (2020)

An OWASP Top Ten Driven Survey on Web Application Protection Methods

von Fredj, Quissem Ben
Veröffentlicht in CRiSIS (15. : 2020 : Online) Risks and security of internet and systems (2021)

Efficient Machine-Learning Based 3D Face Identification System Under Large Pose Variation

von Sghaier, Souhir
Veröffentlicht in ICCCI (14. : 2022 : Hammamet; Online) Advances in computational collective intelligence (2022)

An Agent-Based Architecture Using Deep Reinforcement Learning for the Intelligent Internet of Things Applications

von Noureddine, Dhouha Ben
Veröffentlicht in International Conference on Advanced Computing and Informatics (1. : 2020 : Casablanca) Advances on smart and soft computing (2021)