E-LIB Suche - Ergebnisse für: Bensalem, Saddek

1

Neural Network Innovations in Image-Based Malware Classific..:

, In: Advanced Information Networking and Applications; Lecture Notes on Data Engineering and Communications Technologies,

Al-Qadasi, Hamzah ; Benchadi, Djafer Yahia M. ; Chehida, Salim.. - p. 252-265 , 2024

Link: https://doi.org/10.1007/..

2

Rigorous Security Analysis of RabbitMQ Broker with Concurre..:

Baouya, Abdelhakim ; Hamid, Brahim ; Gürgen, Levent.
Internet of Things. 26 (2024) - p. 101161 , 2024

Link: https://doi.org/10.1016/..

3

A survey of safety and trustworthiness of large language mo..:

Huang, Xiaowei ; Ruan, Wenjie ; Huang, Wei...
Artificial Intelligence Review. 57 (2024) 7 - p. , 2024

Link: https://doi.org/10.1007/..

4

Bridging formal methods and machine learning with model che..:

Bensalem, Saddek ; Huang, Xiaowei ; Ruan, Wenjie...
Journal of Logical and Algebraic Methods in Programming. 137 (2024) - p. 100941 , 2024

Link: https://doi.org/10.1016/..

5

Customizable Reference Runtime Monitoring of Neural Network..:

, In: Runtime Verification; Lecture Notes in Computer Science,

Wu, Changshun ; Falcone, Yliès ; Bensalem, Saddek - p. 23-41 , 2023

Link: https://doi.org/10.1007/..

6

Continuous Engineering for Trustworthy Learning-Enabled Aut..:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,

Bensalem, Saddek ; Katsaros, Panagiotis ; Ničković, Dejan... - p. 256-278 , 2023

Link: https://doi.org/10.1007/..

7

Difficulty and Severity-Oriented Metrics for Test Prioritiz..:

, In: 2023 IEEE International Conference On Artificial Intelligence Testing (AITest),

Al-Qadasi, Hamzah ; Falcone, Ylies ; Bensalem, Saddek - p. 40-48 , 2023

Link: https://doi.org/10.1109/..

8

What, Indeed, is an Achievable Provable Guarantee for Learn..:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,

Bensalem, Saddek ; Cheng, Chih-Hong ; Huang, Wei... - p. 55-76 , 2023

Link: https://doi.org/10.1007/..

9

DeepAbstraction++: Enhancing Test Prioritization Performanc..:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,

Al-Qadasi, Hamzah ; Falcone, Yliès ; Bensalem, Saddek - p. 77-93 , 2023

Link: https://doi.org/10.1007/..

10

Towards a Digital Twin Architecture with Formal Analysis Ca..:

, In: Modelling and Simulation for Autonomous Systems; Lecture Notes in Computer Science,

Temperekidis, Anastasios ; Kekatos, Nikolaos ; Katsaros, Panagiotis... - p. 163-181 , 2023

Link: https://doi.org/10.1007/..

11

Model-based design of resilient systems using quantitative ..:

Mediouni, Braham Lotfi ; Dragomir, Iulia ; Nouri, Ayoub.
Innovations in Systems and Software Engineering. , 2023

Link: https://doi.org/10.1007/..

12

Deploying warehouse robots with confidence: the BRAIN-IoT f..:

Baouya, Abdelhakim ; Chehida, Salim ; Bensalem, Saddek...
The Journal of Supercomputing. 80 (2023) 1 - p. 1206-1237 , 2023

Link: https://doi.org/10.1007/..

13

Prioritizing Corners in OoD Detectors via Symbolic String M..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Cheng, Chih-Hong ; Wu, Changshun ; Seferis, Emmanouil. - p. 397-413 , 2022

Link: https://doi.org/10.1007/..

14

Formal Specification for Learning-Enabled Autonomous System:

, In: Lecture Notes in Computer Science; Software Verification and Formal Methods for ML-Enabled Autonomous Systems,

Bensalem, Saddek ; Cheng, Chih-Hong ; Huang, Xiaowei... - p. 131-143 , 2022

Link: https://doi.org/10.1007/..

15

Formal Modelling and Security Analysis of Inter-Operable Sy..:

, In: Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence; Lecture Notes in Computer Science,

Baouya, Abdelhakim ; Ouchani, Samir ; Bensalem, Saddek - p. 555-567 , 2022

Link: https://doi.org/10.1007/..