pith. sign in

Saddek Bensalem

Identifiers

  • name variant Saddek Bensalem 0.60 · backfill

Papers (24)

  1. LoRA-BAM: Input Filtering for Fine-tuned LLMs via Boxed Abstraction Monitors over LoRA Layers cs.LG · 2025 · author #3
  2. FastRAG: Retrieval Augmented Generation for Semi-structured Data cs.NI · 2024 · author #4
  3. Safeguarding Large Language Models: A Survey cs.CR · 2024 · author #11
  4. Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs cs.LG · 2024 · author #4
  5. BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection cs.CV · 2024 · author #5
  6. A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle cs.RO · 2024 · author #3
  7. What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems cs.LG · 2023 · author #1
  8. Towards Rigorous Design of OoD Detectors cs.LG · 2023 · author #4
  9. A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation cs.AI · 2023 · author #7
  10. Prioritizing Corners in OoD Detectors via Symbolic String Manipulation cs.SE · 2022 · author #4
  11. Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes cs.LG · 2021 · author #3
  12. Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS cs.SE · 2020 · author #2
  13. Performance Evaluation of the NDN Data Plane Using Statistical Model Checking cs.NI · 2019 · author #7
  14. Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design cs.SE · 2018 · author #2
  15. Left-eigenvectors are certificates of the Orbit Problem cs.LO · 2018 · author #4
  16. Monitoring Distributed Component-Based Systems cs.SE · 2017 · author #4
  17. Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems cs.SE · 2016 · author #3
  18. Synthesizing invariants by solving solvable loops cs.LO · 2016 · author #2
  19. Polynomial invariants by linear algebra cs.LO · 2016 · author #2
  20. Timed Orchestration for Component-based Systems cs.FL · 2015 · author #5
  21. A Verifiable and Correct-by-Construction Controller for Robot Functional Levels cs.RO · 2013 · author #1
  22. EFSMT: A Logical Framework for Cyber-Physical Systems cs.LO · 2013 · author #4
  23. Distributed Priority Synthesis and its Applications cs.LO · 2011 · author #2
  24. Algorithms for Synthesizing Priorities in Component-based Systems cs.LO · 2011 · author #2

Mentions

  • 2404.16663 #4 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 2411.13773 #4 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 2506.00998 #3 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 2307.11784 #1 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 2406.02622 #11 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 2403.18373 #5 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 2402.09097 #3 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 2305.11391 #7 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 2306.08447 #4 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 2205.07736 #4 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 2104.14435 #3 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 2011.00556 #2 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 1905.01607 #7 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 1806.09330 #2 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 1803.09511 #4 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 1705.05242 #4 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 1612.06154 #3 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 1611.07753 #2 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 1611.07726 #2 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 1504.05513 #5 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 1309.0442 #1 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 1306.3456 #4 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 1112.1783 #2 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 1107.1383 #2 · arxiv_oai · confidence 0.70 Saddek Bensalem
  • 1504.05513 #5 · backfill · confidence 0.70 Saddek Bensalem
  • 1309.0442 #1 · backfill · confidence 0.70 Saddek Bensalem
  • 1306.3456 #4 · backfill · confidence 0.70 Saddek Bensalem
  • 1112.1783 #2 · backfill · confidence 0.70 Saddek Bensalem
  • 1107.1383 #2 · backfill · confidence 0.70 Saddek Bensalem

Frequent Coauthors