( en | de | ru )

 

Disambiguation of "Bensalem, Saddek"

Author of the publication

copydeleteadd this publication to your clipboard
Bridging formal methods and machine learning with model checking and global optimisation.

, , , , , and . J. Log. Algebraic Methods Program., (February 2024)

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)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)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)Performance evaluation of stochastic real-time systems with the SBIP framework., , , , , and . Int. J. Crit. Comput. Based Syst., 8 (3/4): 340-370 (2018)Synthesizing Control for a System with Black Box Environment, Based on Deep Learning., , , , and . ISoLA (2), volume 12477 of Lecture Notes in Computer Science, page 457-472. Springer, (2020)