( en | de | ru )

 

Disambiguation of "Bensalem, Saddek"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Modeling and Simulation of Collaborative Intelligent Robots.

, , , , , and . ESOCC Workshops, volume 1360 of Communications in Computer and Information Science, page 41-52. Springer, (2020)

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.

Saddek Bensalem

Saddek Aissanou

Abdel-Kader Bensalem

 

Other publications of authors with the same name

Priority-based scheduling of mixed-critical jobs., , , and . Real Time Syst., 55 (4): 709-773 (2019)On methods and tools for rigorous system design., , , and . Int. J. Softw. Tools Technol. Transf., 23 (5): 679-684 (2021)Towards Rigorous Design of OoD Detectors., , , and . CoRR, (2023)Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS., , , and . WADT, volume 12669 of Lecture Notes in Computer Science, page 120-141. Springer, (2020)Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems., , , , , , , , , and 11 other author(s). AISoLA, volume 14380 of Lecture Notes in Computer Science, page 256-278. Springer, (2023)DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes., , and . AISoLA, volume 14380 of Lecture Notes in Computer Science, page 77-93. Springer, (2023)A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle., , , , , , , , and . PoEM Companion, volume 3645 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems., , , , , , , and . MESAS, volume 13866 of Lecture Notes in Computer Science, page 163-181. Springer, (2022)Performance evaluation of stochastic real-time systems with the SBIP framework., , , , , and . Int. J. Crit. Comput. Based Syst., 8 (3/4): 340-370 (2018)A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis., , , and . SEFM, volume 12310 of Lecture Notes in Computer Science, page 284-302. Springer, (2020)