Component-Based Approach Combining UML and BIP for Rigorous System Design

von Chehida, Salim
Veröffentlicht in FACS (17. : 2021 : Online) Formal Aspects of Component Software (2021)

Formal Modelling and Security Analysis of Inter-Operable Systems

von Baouya, Abdelhakim
Veröffentlicht in IEA/AIE (35. : 2022 : Kitakyūshū) Advances and trends in artificial intelligence (2022)

Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems

von Baouya, Abdelhakim
Veröffentlicht in International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (19. : Kitakyūshū : 2020) Knowledge innovation through intelligent software methodologies, tools and techniques (2020)

Applied Statistical Model Checking for a Sensor Behavior Analysis

von Chehida, Salim
Veröffentlicht in QUATIC (13. : 2020 : Faro) Quality of information and communications technology (2020)

A Formal Approach for Maintainability and Availability Assessment Using Probabilistic Model Checking

von Baouya, Abdelhakim
Veröffentlicht in MISC (4. : 2016 : Constantine, Algerien) Modelling and implementation of complex systems (2016)

Formal Modeling and Simulation of Collaborative Intelligent Robots

von Baouya, Abdelhakim
Veröffentlicht in EdgeWays (1. : 2020 : Heraklion) Advances in service-oriented and cloud computing (2021)

Asset-Driven Approach for Security Risk Assessment in IoT Systems

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