( en | de | ru )

 

Disambiguation of "Bannour, Boutheina"

Author of the publication

copydeleteadd this publication to your clipboard
Interaction-Based Offline Runtime Verification of Distributed Systems.

, , , , and . FSEN, volume 14155 of Lecture Notes in Computer Science, page 88-103. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Boutheina Dab

Boutheina Chetali

Ines Bannour

 

Other publications of authors with the same name

Investigating Process Algebra Models to Represent Structured Requirements for Time-sensitive CPS., , , and . SEKE, page 291-296. KSI Research Inc., (2021)Deriving Interaction Scenarios for Timed Distributed Systems by Symbolic Execution., , and . MEDI Workshops, volume 1481 of Communications in Computer and Information Science, page 46-60. Springer, (2021)Symbolic Path-Guided Test Cases for Models with Data and Time., , , and . FACS, volume 14485 of Lecture Notes in Computer Science, page 3-22. Springer, (2023)Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing., , and . APSEC, page 219-226. IEEE Computer Society, (2011)Model Checking of Trickle-based IoT Dissemination., and . MECO, page 1-6. IEEE, (2020)Efficient Interaction-Based Offline Runtime Verification of Distributed Systems with Lifeline Removal., , , and . CoRR, (2024)Interaction-Based Offline Runtime Verification of Distributed Systems., , , , and . FSEN, volume 14155 of Lecture Notes in Computer Science, page 88-103. Springer, (2023)Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation., , , , and . CoRR, (2024)Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events., , and . PRDC, page 230-235. IEEE, (2022)Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing., , , and . ICTSS, volume 7641 of Lecture Notes in Computer Science, page 119-135. Springer, (2012)