Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution

von Bannour, Boutheina
Veröffentlicht in MEDI (10. : 2021 : Online) Advances in Model and Data Engineering in the Digitalization Era (2021)

Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution

von Bannour, Boutheina
Veröffentlicht in NETYS (8. : 2020 : Online) Networked systems (2021)

Using partial least square discriminant analysis to distinguish between Islamic and conventional banks in the MENA region

von Sghaier, Asma
Veröffentlicht in Review of financial economics (2018)

Measuring super efficiency in data envelopment analysis models : new insights from GCC oil corporations

von Bannour, Boutheina
Veröffentlicht in The Journal of energy and development (2017)

Symbolic Path-Guided Test Cases for Models with Data and Time

von Bannour, Boutheina
Veröffentlicht in FACS (19. : 2023 : Online) Formal aspects of component software (2024)

Interaction-Based Offline Runtime Verification of Distributed Systems

von Mahe, Erwan
Veröffentlicht in FSEN (10. : 2023 : Teheran; Online) Fundamentals of software engineering (2023)