From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Bridging formal methods and machine learning with model checking and global optimisation.

S. Bensalem, X. Huang, W. Ruan, Q. Tang, C. Wu, и X. Zhao. J. Log. Algebraic Methods Program., (февраля 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.

Saddek Bensalem

Saddek Aissanou

Abdel-Kader Bensalem

Другие публикации лиц с тем же именем

Priority-based scheduling of mixed-critical jobs.D. Socci, P. Poplavko, S. Bensalem, и M. Bozga. Real Time Syst., 55 (4): 709-773 (2019)On methods and tools for rigorous system design.S. Bliudze, P. Katsaros, S. Bensalem, и M. Wirsing. Int. J. Softw. Tools Technol. Transf., 23 (5): 679-684 (2021)Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems.S. Bensalem, P. Katsaros, D. Nickovic, B. Liao, R. Nolasco, M. Ahmed, T. Beyene, F. Cano, A. Delacourt, H. Esen и 11 other автор(ы). AISoLA, том 14380 из Lecture Notes in Computer Science, стр. 256-278. Springer, (2023)DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes.H. Al-Qadasi, Y. Falcone, и S. Bensalem. AISoLA, том 14380 из Lecture Notes in Computer Science, стр. 77-93. Springer, (2023)Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS.T. Rosenberger, S. Bensalem, A. Knapp, и M. Roggenbach. WADT, том 12669 из Lecture Notes in Computer Science, стр. 120-141. Springer, (2020)Towards Rigorous Design of OoD Detectors.C. Cheng, C. Wu, H. Ruess, и S. Bensalem. CoRR, (2023)A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle.M. Abdelsalam, L. Ali, S. Bensalem, W. He, P. Katsaros, N. Kekatos, D. Peled, A. Temperekidis, и C. Wu. PoEM Companion, том 3645 из CEUR Workshop Proceedings, CEUR-WS.org, (2023)Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems.A. Temperekidis, N. Kekatos, P. Katsaros, W. He, S. Bensalem, H. AbdElSabour, M. Abdelsalam, и A. Salem. MESAS, том 13866 из Lecture Notes in Computer Science, стр. 163-181. Springer, (2022)Performance evaluation of stochastic real-time systems with the SBIP framework.A. Nouri, B. Mediouni, M. Bozga, J. Combaz, S. Bensalem, и A. Legay. Int. J. Crit. Comput. Based Syst., 8 (3/4): 340-370 (2018)A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis.A. El-Hokayem, S. Bensalem, M. Bozga, и J. Sifakis. SEFM, том 12310 из Lecture Notes in Computer Science, стр. 284-302. Springer, (2020)

BibSonomy

Disambiguation