Saddek Bensalem
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
93
Venues
36
Active years
1992–2025
Best venue rank
A*
Where they publish
- CISoLA10 papers
- A*CAV9 papers
- CVECoS8 papers
- BATVA8 papers
- BRV7 papers
- CMEMOCODE6 papers
- ATACAS4 papers
- CAICCSA3 papers
- BSEFM3 papers
- CFORTE3 papers
- AIROS2 papers
- NationalQUATIC2 papers
- BFASE2 papers
- BFM2 papers
- BIFM2 papers
- CISORC2 papers
- A*EMNLP1 paper
- MulticonferenceICASSP1 paper
- BAINA1 paper
- CCRiSIS1 paper
- CSoMeT1 paper
- BRTCSA1 paper
- NationalRTNS1 paper
- CAPSEC1 paper
- ARTAS1 paper
- ADATE1 paper
- CHPCC1 paper
- A*HRI1 paper
- CWFCS1 paper
- BECRTS1 paper
- Journal PublishedEMSOFT1 paper
- BFMCAD1 paper
- NationalTASE1 paper
- AECAI1 paper
- AISSTA1 paper
- BSAS1 paper
Papers
93 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AICCSA | FastRAG: Retrieval Augmented Generation for Semi-structured Data. | Amar Abane, Anis Bekri, Abdella Battou, Saddek Bensalem |
| 2025 | AICCSA | Bridging Language Models and Formal Methods for Intent-Driven Optical Network Design. | Anis Bekri, Amar Abane, Abdella Battou, Saddek Bensalem |
| 2025 | EMNLP | Randomized Smoothing Meets Vision-Language Models. | Emmanouil Seferis, Changshun Wu, Stefanos Kollias, Saddek Bensalem, Chih-Hong Cheng |
| 2025 | ICASSP | Out-of-Distribution Detectors: Not Yet Primed for Practical Deployment. | Changshun Wu, Wendi Ding, Xiaowei Huang, Saddek Bensalem |
| 2025 | IROS | Mitigating Hallucinations in YOLO-based Object Detection Models: A Revisit to Out-of-Distribution Detection. | Weicheng He, Changshun Wu, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem |
| 2025 | RV | Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs. | Chih-Hong Cheng, Changshun Wu, Xingyu Zhao, Saddek Bensalem, Harald Ruess |
| 2024 | AINA | Neural Network Innovations in Image-Based Malware Classification: A Comparative Study. | Hamzah Al-Qadasi, Djafer Yahia Messaoud Benchadi, Salim Chehida, Kazuhiro Fukui, Saddek Bensalem |
| 2024 | IROS | BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection. | Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem |
| 2024 | QUATIC | A User-Centric Privacy Control Framework for Decentralized IoT Platforms. | Xu Tao, Rui Zhao, Salim Chehida, Davide Conzon, Enrico Ferrera, Saddek Bensalem |
| 2024 | RV | Box-Based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study. | Weicheng He, Changshun Wu, Saddek Bensalem |
| 2023 | RV | Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. | Changshun Wu, Ylis Falcone, Saddek Bensalem |
| 2023 | VECoS | DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes. | Hamzah Al-Qadasi, Ylis Falcone, Saddek Bensalem |
| 2023 | VECoS | What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. | Saddek Bensalem, Chih-Hong Cheng, Wei Huang, Xiaowei Huang, Changshun Wu, Xingyu Zhao |
| 2023 | VECoS | Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. | 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 Knighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu |
| 2022 | ATVA | Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. | Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem |
| 2022 | CAV | Formal Specification for Learning-Enabled Autonomous Systems. | Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled |
| 2021 | AICCSA | A neural networks-based methodology for fitting data to probability distributions. | Siham Khoussi, Alan Heckert, Abdella Battou, Saddek Bensalem |
| 2020 | CRiSIS | Asset-Driven Approach for Security Risk Assessment in IoT Systems. | Salim Chehida, Abdelhakim Baouya, Diego Fernndez Alonso, Paul-Emmanuel Brun, Guillemette Massot, Marius Bozga, Saddek Bensalem |
| 2020 | ISoLA | Synthesizing Control for a System with Black Box Environment, Based on Deep Learning. | Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg |
| 2020 | MEMOCODE | Runtime Verification of Timed Properties in Autonomous Robots. | Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Flix Ingrand |
| 2020 | QUATIC | Applied Statistical Model Checking for a Sensor Behavior Analysis. | Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga |
| 2020 | SEFM | A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. | Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
| 2020 | SoMeT | Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. | Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga |
| 2020 | VECoS | Model-Based Design of Resilient Systems Using Quantitative Risk Assessment. | Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem |
| 2019 | ATVA | Performance Evaluation of the NDN Data Plane Using Statistical Model Checking. | Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem |
| 2018 | ATVA | Untitled record | Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem |
| 2018 | FASE | A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. | Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo |
| 2018 | ISoLA | Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. | Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
| 2018 | ISoLA | Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. | Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem |
| 2018 | ISoLA | Mitigating Security Risks Through Attack Strategies Exploration. | Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem |
| 2018 | RTCSA | Predictability in Mixed-Criticality Systems. | Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem |
| 2018 | RTNS | Algorithmic Complexity of Correctness Testing in MC-Scheduling. | Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem |
| 2018 | RV | Tracing Distributed Component-Based Systems, a Brief Overview. | Ylis Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem |
| 2017 | APSEC | Knowledge Based Optimization for Distributed Real-Time Systems. | Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga |
| 2017 | ATVA | Synthesizing Invariants by Solving Solvable Loops. | Steven de Oliveira, Saddek Bensalem, Virgile Prevosto |
| 2017 | SEFM | Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper). | Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo |
| 2017 | VECoS | TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm. | Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec |
| 2017 | VECoS | Regression-Based Statistical Bounds on Software Execution Time. | Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros |
| 2016 | ATVA | Polynomial Invariants by Linear Algebra. | Steven de Oliveira, Saddek Bensalem, Virgile Prevosto |
| 2016 | FM | Compositional Parameter Synthesis. | Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess |
| 2016 | FM | Local Planning of Multiparty Interactions with Bounded Horizons. | Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem |
| 2016 | IFM | Monitoring Multi-threaded Component-Based Systems. | Hosein Nazarpour, Ylis Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz |
| 2016 | ISoLA | Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. | Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga |
| 2016 | ISoLA | A Model-Based Approach to Secure Multiparty Distributed Systems. | Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga |
| 2016 | RTAS | Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations. | Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem |
| 2016 | TACAS | RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. | Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz |
| 2016 | VECoS | Performance Evaluation of Complex Systems Using the SBIP Framework. | Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem |
| 2015 | DATE | Models for deterministic execution of real-time multiprocessor applications. | Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga |
| 2015 | HPCC | Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. | Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga |
| 2015 | HRI | A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. | Lavindra de Silva, Rongjie Yan, Flix Ingrand, Rachid Alami, Saddek Bensalem |
| 2015 | ISORC | Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. | Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga |
| 2015 | ISORC | A Timed-Automata Based Middleware for Time-Critical Multicore Applications. | Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga |
| 2015 | MEMOCODE | Optimized distributed implementation of timed component-based systems. | Ahlem Triki, Jacques Combaz, Saddek Bensalem |
| 2014 | ISoLA | Rigorous System Design Flow for Autonomous Systems. | Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki |
| 2014 | MEMOCODE | Building faithful high-level models and performance evaluation of manycore embedded systems. | Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem |
| 2014 | RV | Faster Statistical Model Checking by Means of Abstraction and Learning. | Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem |
| 2014 | TACAS | Compositional Invariant Generation for Timed Systems. | Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz |
| 2014 | VECoS | Compositional Verification of Timed Systems. | Saddek Bensalem |
| 2014 | WFCS | Model-based validation of CANopen systems. | Alexios Lekidis, Marius Bozga, Saddek Bensalem |
| 2013 | ECRTS | Mixed Critical Earliest Deadline First. | Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga |
| 2013 | FASE | Model-Based Implementation of Parallel Real-Time Systems. | Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis |
| 2013 | FORTE | An Abstract Framework for Deadlock Prevention in BIP. | Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket |
| 2013 | MEMOCODE | Synthesizing distributed scheduling implementation for probabilistic component-based systems. | Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled |
| 2012 | FORTE | Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. | Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis |
| 2012 | ISoLA | Statistical Model Checking QoS Properties of Systems with SBIP. | Saddek Bensalem, Marius Bozga, Benot Delahaye, Cyrille Jgourel, Axel Legay, Ayoub Nouri |
| 2011 | ATVA | Algorithms for Synthesizing Priorities in Component-Based Systems. | Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois C. Knoll |
| 2011 | EMSOFT | Time-predictable and composable architectures for dependable embedded systems. | Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis |
| 2011 | MEMOCODE | Efficient deadlock detection for concurrent systems. | Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled |
| 2011 | MEMOCODE | Rigorous system level modeling and analysis of mixed HW/SW systems. | Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang |
| 2011 | SEFM | Runtime Verification of Component-Based Systems. | Ylis Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem |
| 2010 | ATVA | Methods for Knowledge Based Controlling of Distributed Systems. | Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton |
| 2010 | FMCAD | Incremental component-based construction and verification using invariants. | Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
| 2010 | FORTE | Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. | Ananda Basu, Saddek Bensalem, Marius Bozga, Benot Caillaud, Benot Delahaye, Axel Legay |
| 2010 | RV | Verification of an AFDX Infrastructure Using Simulations and Probabilities. | Ananda Basu, Saddek Bensalem, Marius Bozga, Benot Delahaye, Axel Legay, Emmanuel Sifakis |
| 2010 | RV | Statistical Model Checking: An Overview. | Axel Legay, Benot Delahaye, Saddek Bensalem |
| 2010 | TASE | Incremental Invariant Generation for Compositional Design. | Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
| 2009 | CAV | Priority Scheduling of Distributed Systems Based on Model Checking. | Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis |
| 2009 | CAV | D-Finder: A Tool for Compositional Deadlock Detection and Verification. | Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis |
| 2008 | ATVA | Compositional Verification for Component-Based Systems and Application. | Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen |
| 2008 | ECAI | Incremental Component-Based Construction and Verification of a Robotic System. | Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Flix Ingrand, Joseph Sifakis |
| 2007 | ISoLA | A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. | Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis |
| 2006 | CAV | Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis. | Grigore Rosu, Saddek Bensalem |
| 2006 | ISSTA | Confirmation of deadlock potentials detected by runtime analysis. | Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier |
| 2005 | IFM | Generating Path Conditions for Timed Systems. | Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis |
| 2004 | ISoLA | Automatic Generation of Path Conditions for Timed Systems. | Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis |
| 2001 | TACAS | Incremental Verification by Abstraction. | Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre |
| 2000 | SAS | A Transformational Approach for Generating Non-linear Invariants. | Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech |
| 2000 | TACAS | Abstracting WS1S Systems to Verify Parameterized Networks. | Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl |
| 1999 | CAV | Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. | Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech |
| 1998 | CAV | Computing Abstractions of Infinite State Systems Compositionally and Automatically. | Saddek Bensalem, Yassine Lakhnech, Sam Owre |
| 1998 | CAV | InVeST: A Tool for the Verification of Invariants. | Saddek Bensalem, Yassine Lakhnech, Sam Owre |
| 1996 | CAV | Powerful Techniques for the Automatic Generation of Invariants. | Saddek Bensalem, Yassine Lakhnech, Hassen Sadi |
| 1992 | CAV | Property Preserving Simulations. | Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis |