Saddek Bensalem

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 104

Top Venues

CoRR

Int. J. Softw. Tools Technol. Transf.

VECoS

ATVA

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Levent Gürgen, Richard Nicholson, Miquel Cantero, Mario Diaz-Nava, Enrico Ferrera
Deploying warehouse robots with confidence: the BRAIN-IoT framework's functional assurance. J. Supercomput. 80 (1) (2024)
Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. CoRR (2024)
Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem
Model-based design of resilient systems using quantitative risk assessment. Innov. Syst. Softw. Eng. 20 (1) (2024)
Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao
Bridging formal methods and machine learning with model checking and global optimisation. J. Log. Algebraic Methods Program. 137 (2024)
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems. CoRR (2023)
Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. AISoLA (2023)
Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes. AISoLA (2023)
Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong, Changshun Wu, Saddek Bensalem, Ronghui Mu, Yi Qi, Xingyu Zhao, Kaiwen Cai, Yanghao Zhang, Sihao Wu, Peipei Xu, Dengyu Wu, André Freitas, Mustafa A. Mustafa
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation. CoRR (2023)
Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem
Difficulty and Severity-Oriented Metrics for Test Prioritization in Deep Learning Systems. AITest (2023)
Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. AISoLA (2023)
Chih-Hong Cheng, Changshun Wu, Harald Ruess, Saddek Bensalem
Towards Rigorous Design of OoD Detectors. CoRR (2023)
Changshun Wu, Yliès Falcone, Saddek Bensalem
Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. RV (2023)
Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros, Weicheng He, Saddek Bensalem, Hisham AbdElSabour, Mohamed Abdelsalam, Ashraf Salem
Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems. MESAS (2022)
Hamzah Al-Qadasi, Changshun Wu, Yliès Falcone, Saddek Bensalem
DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks. AITest (2022)
Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
Learning and analysis of sensors behavior in IoT systems using statistical model checking. Softw. Qual. J. 30 (2) (2022)
Salim Chehida, Saddek Bensalem, Davide Conzon, Enrico Ferrera, Xu Tao
BRAIN-IoT Architecture and Platform for Building IoT Systems. IoTBDS (2022)
Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled
Formal Specification for Learning-Enabled Autonomous Systems. NSV/FoMLAS@CAV (2022)
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. ATVA (2022)
Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem
Formal Modelling and Security Analysis of Inter-Operable Systems. IEA/AIE (2022)
Abdelhakim Baouya, Salim Chehida, Samir Ouchani, Saddek Bensalem, Marius Bozga
Generation and verification of learned stochastic automata using k-NN and statistical model checking. Appl. Intell. 52 (8) (2022)
Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem
Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. CoRR (2022)
Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga
Monitoring Distributed Component-Based Systems. FACS (2021)
Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing
On methods and tools for rigorous system design. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Programming dynamic reconfigurable systems. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Changshun Wu, Yliès Falcone, Saddek Bensalem
Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes. CoRR (2021)
Siham Khoussi, Alan Heckert, Abdella Battou, Saddek Bensalem
A neural networks-based methodology for fitting data to probability distributions. AICCSA (2021)
Salim Chehida, Abdelhakim Baouya, Saddek Bensalem
Component-Based Approach Combining UML and BIP for Rigorous System Design. FACS (2021)
Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg
Synthesizing Control for a System with Black Box Environment, Based on Deep Learning. ISoLA (2) (2020)
Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga
Applied Statistical Model Checking for a Sensor Behavior Analysis. QUATIC (2020)
Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo
Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. Int. J. Softw. Tools Technol. Transf. 22 (1) (2020)
Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand
Runtime Verification of Timed Properties in Autonomous Robots. MEMOCODE (2020)
Salim Chehida, Abdelhakim Baouya, Marius Bozga, Saddek Bensalem
Exploration of Impactful Countermeasures on IoT Attacks. MECO (2020)
Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga
Fog Computing and Blockchain for Massive IoT Deployment. MECO (2020)
Salim Chehida, Abdelhakim Baouya, Diego Fernández Alonso, Paul-Emmanuel Brun, Guillemette Massot, Marius Bozga, Saddek Bensalem
Asset-Driven Approach for Security Risk Assessment in IoT Systems. CRiSIS (2020)
Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga
Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. SoMeT (2020)
Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach
Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. WADT (2020)
Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach
Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS. CoRR (2020)
Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. SEFM (2020)
Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo
Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. Int. J. Softw. Tools Technol. Transf. 22 (1) (2020)
Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem
Model-Based Design of Resilient Systems Using Quantitative Risk Assessment. VECoS (2020)
Abdelhakim Baouya, Salim Chehida, Miquel Cantero, Marta Millet, Saddek Bensalem, Marius Bozga
Formal Modeling and Simulation of Collaborative Intelligent Robots. ESOCC Workshops (2020)
Iulia Dragomir, Saddek Bensalem
Rigorous Design of FDIR Systems with BIP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 77 (2019)
Doron Peled, Simon Iosti, Saddek Bensalem
Control Synthesis Through Deep Learning. From Reactive Systems to Cyber-Physical Systems (2019)
Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem
Performance Evaluation of the NDN Data Plane Using Statistical Model Checking. ATVA (2019)
Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem
Performance evaluation of a NDN forwarder using statistical model checking. CoRR (2019)
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
Priority-based scheduling of mixed-critical jobs. Real Time Syst. 55 (4) (2019)
Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
Local Planning Semantics: A Semantics for Distributed Real-Time Systems. Leibniz Trans. Embed. Syst. 6 (1) (2019)
Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Programming Dynamic Reconfigurable Systems. FACS (2018)
Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem
Left-Eigenvectors Are Certificates of the Orbit Problem. RP (2018)
Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay
Performance evaluation of stochastic real-time systems with the SBIP framework. Int. J. Crit. Comput. Based Syst. 8 (3/4) (2018)
Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Benoît Dupont de Dinechin
DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems. Des. Autom. Embed. Syst. 22 (1-2) (2018)
Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem
Algorithmic Complexity of Correctness Testing in MC-Scheduling. RTNS (2018)
Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
Mitigating Security Risks Through Attack Strategies Exploration. ISoLA (2) (2018)
Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem
Left-eigenvectors are certificates of the Orbit Problem. CoRR (2018)
Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem
Predictability in Mixed-Criticality Systems. RTCSA (2018)
Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros
Maximal software execution time: a regression-based approach. Innov. Syst. Softw. Eng. 14 (2) (2018)
Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem
BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. ATVA (2018)
Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem
Tracing Distributed Component-Based Systems, a Brief Overview. RV (2018)
Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis
Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. ISoLA (3) (2018)
Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem
Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. ISoLA (3) (2018)
Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec
TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. Innov. Syst. Softw. Eng. 14 (2) (2018)
Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo
A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. FASE (2018)
Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket
Global and Local Deadlock Freedom in BIP. ACM Trans. Softw. Eng. Methodol. 26 (3) (2018)
Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
Synthesizing Invariants by Solving Solvable Loops. ATVA (2017)
Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros
Regression-Based Statistical Bounds on Software Execution Time. VECoS (2017)
Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo
Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper). SEFM (2017)
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Formal Aspects Comput. 29 (6) (2017)
Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem
Improved Learning for Stochastic Timed Models by State-Merging Algorithms. NFM (2017)
Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec
TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm. VECoS (2017)
Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga
Monitoring Distributed Component-Based Systems. CoRR (2017)
Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga
Knowledge Based Optimization for Distributed Real-Time Systems. APSEC (2017)
Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess
Compositional Parameter Synthesis. FM (2016)
Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
Performance Evaluation of Complex Systems Using the SBIP Framework. VECoS (2016)
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz
Monitoring Multi-threaded Component-Based Systems. IFM (2016)
Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem
Distinguishing extended finite state machine configurations using predicate abstraction. J. Softw. Eng. Res. Dev. 4 (2016)
Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems. CoRR (2016)
Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz
RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. TACAS (2016)
Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
Polynomial invariants by linear algebra. CoRR (2016)
Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga
A Compositional Approach to the Verification of Hybrid Systems. Theory and Practice of Formal Methods (2016)
Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem
Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. RTAS (2016)
Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem
Local Planning of Multiparty Interactions with Bounded Horizons. FM (2016)
Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
Synthesizing invariants by solving solvable loops. CoRR (2016)
Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
A Model-Based Approach to Secure Multiparty Distributed Systems. ISoLA (1) (2016)
Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
Component-based verification using incremental design and invariants. Softw. Syst. Model. 15 (2) (2016)
Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem
: A Rigorous Approach for System-Level Performance Modeling and Analysis. ACM Trans. Embed. Comput. Syst. 15 (2) (2016)
Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
Polynomial Invariants by Linear Algebra. ATVA (2016)
Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga
Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. ISoLA (1) (2016)
Ahlem Triki, Jacques Combaz, Saddek Bensalem
Optimized distributed implementation of timed component-based systems. MEMOCODE (2015)
Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay
Statistical model checking QoS properties of systems with SBIP. Int. J. Softw. Tools Technol. Transf. 17 (2) (2015)
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
A Timed-Automata Based Middleware for Time-Critical Multicore Applications. ISORC Workshops (2015)
Chih-Hong Cheng, Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem
Timed Orchestration for Component-based Systems. CoRR (2015)
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. ISORC (2015)
Lavindra de Silva, Rongjie Yan, Félix Ingrand, Rachid Alami, Saddek Bensalem
A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. HRI (Extended Abstracts) (2015)
Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga
A Robust Framework for Securing Composed Web Services. FACS (2015)
Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Softw. Syst. Model. 14 (1) (2015)
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
Optimized distributed implementation of multiparty interactions with Restriction. Sci. Comput. Program. 98 (2015)
Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. HPCC/CSS/ICESS (2015)
Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem
Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. NFM (2015)
Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz
Compositional Verification for Timed Systems Based on Automatic Invariant Generation. Log. Methods Comput. Sci. 11 (3) (2015)
Alexios Lekidis, Paraskevas Bourgos, Simplice Djoko Djoko, Marius Bozga, Saddek Bensalem
Building distributed sensor network applications using BIP. SAS (2015)

Saddek Bensalem.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Saddek Bensalem