Saddek Bensalem

According to our database, Saddek Bensalem authored at least 176 papers between 1985 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A survey of safety and trustworthiness of large language models through the lens of verification and validation.

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

Artif. Intell. Rev., July, 2024

Model-based design of resilient systems using quantitative risk assessment.

Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem

Innov. Syst. Softw. Eng., March, 2024

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

Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao

J. Log. Algebraic Methods Program., February, 2024

Deploying warehouse robots with confidence: the BRAIN-IoT framework's functional assurance.

Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Levent Gürgen, Richard Nicholson, Miquel Cantero, Mario Diaz-Nava, Enrico Ferrera

J. Supercomput., January, 2024

Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games.

Abdelhakim Baouya, Brahim Hamid, Levent Gürgen, Saddek Bensalem

Internet Things, 2024

Safeguarding Large Language Models: A Survey.

Yi Dong, Ronghui Mu, Yanghao Zhang, Siqi Sun, Tianle Zhang, Changshun Wu, Gaojie Jin, Yi Qi, Jinwei Hu, Jie Meng, Saddek Bensalem, Xiaowei Huang

CoRR, 2024

Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs.

Chih-Hong Cheng, Changshun Wu, Harald Ruess, Xingyu Zhao, Saddek Bensalem

CoRR, 2024

BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection.

Changshun Wu, Weicheng He, Chih-Hong Cheng, Xiaowei Huang, Saddek Bensalem

CoRR, 2024

Box-Based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study.

Weicheng He, Changshun Wu, Saddek Bensalem

Proceedings of the Runtime Verification - 24th International Conference, 2024

A User-Centric Privacy Control Framework for Decentralized IoT Platforms.

Xu Tao, Rui Zhao, Salim Chehida, Davide Conzon, Enrico Ferrera, Saddek Bensalem

Proceedings of the Quality of Information and Communications Technology, 2024

Neural Network Innovations in Image-Based Malware Classification: A Comparative Study.

Hamzah Al-Qadasi, Djafer Yahia Messaoud Benchadi, Salim Chehida, Kazuhiro Fukui, Saddek Bensalem

Proceedings of the Advanced Information Networking and Applications, 2024

2023

Towards Rigorous Design of OoD Detectors.

Chih-Hong Cheng, Changshun Wu, Harald Ruess, Saddek Bensalem

CoRR, 2023

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 Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu

Proceedings of the Bridging the Gap Between AI and Reality, 2023

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

Proceedings of the Bridging the Gap Between AI and Reality, 2023

DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes.

Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes.

Changshun Wu, Yliès Falcone, Saddek Bensalem

Proceedings of the Runtime Verification - 23rd International Conference, 2023

A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle.

Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu

Proceedings of the Companion Proceedings of the 16th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling and the 13th Enterprise Design and Engineering Working Conference: BES, DTE, FACETE, Tools & Demos, Forum, EDEN Doctoral Consortium co-located with PoEM 2023, Vienna, Austria, November 28, 2023

Difficulty and Severity-Oriented Metrics for Test Prioritization in Deep Learning Systems.

Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2023

2022

Learning and analysis of sensors behavior in IoT systems using statistical model checking.

Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga

Softw. Qual. J., 2022

Generation and verification of learned stochastic automata using k-NN and statistical model checking.

Abdelhakim Baouya, Salim Chehida, Samir Ouchani, Saddek Bensalem, Marius Bozga

Appl. Intell., 2022

Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems.

Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros, Weicheng He, Saddek Bensalem, Hisham AbdElSabour, Mohamed Abdelsalam, Ashraf Salem

Proceedings of the Modelling and Simulation for Autonomous Systems, 2022

BRAIN-IoT Architecture and Platform for Building IoT Systems.

Salim Chehida, Saddek Bensalem, Davide Conzon, Enrico Ferrera, Xu Tao

Proceedings of the 7th International Conference on Internet of Things, 2022

Formal Modelling and Security Analysis of Inter-Operable Systems.

Abdelhakim Baouya, Samir Ouchani, Saddek Bensalem

Proceedings of the Advances and Trends in Artificial Intelligence. Theory and Practices in Artificial Intelligence, 2022

Formal Specification for Learning-Enabled Autonomous Systems.

Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

Prioritizing Corners in OoD Detectors via Symbolic String Manipulation.

Chih-Hong Cheng, Changshun Wu, Emmanouil Seferis, Saddek Bensalem

Proceedings of the Automated Technology for Verification and Analysis, 2022

DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks.

Hamzah Al-Qadasi, Changshun Wu, Yliès Falcone, Saddek Bensalem

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2022

2021

On methods and tools for rigorous system design.

Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing

Int. J. Softw. Tools Technol. Transf., 2021

Programming dynamic reconfigurable systems.

Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis

Int. J. Softw. Tools Technol. Transf., 2021

Monitoring Distributed Component-Based Systems.

Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

Component-Based Approach Combining UML and BIP for Rigorous System Design.

Salim Chehida, Abdelhakim Baouya, Saddek Bensalem

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

A neural networks-based methodology for fitting data to probability distributions.

Siham Khoussi, Alan Heckert, Abdella Battou, Saddek Bensalem

Proceedings of the 18th IEEE/ACS International Conference on Computer Systems and Applications, 2021

2020

Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems.

Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo

Int. J. Softw. Tools Technol. Transf., 2020

Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems.

Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo

Int. J. Softw. Tools Technol. Transf., 2020

Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS.

Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach

Proceedings of the Recent Trends in Algebraic Development Techniques, 2020

Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems.

Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga

Proceedings of the Knowledge Innovation Through Intelligent Software Methodologies, Tools and Techniques, 2020

A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis.

Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Applied Statistical Model Checking for a Sensor Behavior Analysis.

Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga

Proceedings of the Quality of Information and Communications Technology, 2020

Runtime Verification of Timed Properties in Autonomous Robots.

Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Exploration of Impactful Countermeasures on IoT Attacks.

Salim Chehida, Abdelhakim Baouya, Marius Bozga, Saddek Bensalem

Proceedings of the 9th Mediterranean Conference on Embedded Computing, 2020

Fog Computing and Blockchain for Massive IoT Deployment.

Abdelhakim Baouya, Salim Chehida, Saddek Bensalem, Marius Bozga

Proceedings of the 9th Mediterranean Conference on Embedded Computing, 2020

Synthesizing Control for a System with Black Box Environment, Based on Deep Learning.

Simon Iosti, Doron Peled, Khen Aharon, Saddek Bensalem, Yoav Goldberg

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Formal Modeling and Simulation of Collaborative Intelligent Robots.

Abdelhakim Baouya, Salim Chehida, Miquel Cantero, Marta Millet, Saddek Bensalem, Marius Bozga

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2020

Asset-Driven Approach for Security Risk Assessment in IoT Systems.

Salim Chehida, Abdelhakim Baouya, Diego Fernández Alonso, Paul-Emmanuel Brun, Guillemette Massot, Marius Bozga, Saddek Bensalem

Proceedings of the Risks and Security of Internet and Systems, 2020

2019

Priority-based scheduling of mixed-critical jobs.

Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga

Real Time Syst., 2019

Local Planning Semantics: A Semantics for Distributed Real-Time Systems.

Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga

Leibniz Trans. Embed. Syst., 2019

Rigorous Design of FDIR Systems with BIP.

Iulia Dragomir, Saddek Bensalem

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019

Performance evaluation of a NDN forwarder using statistical model checking.

Siham Khoussi, Ayoub Nouri, Junxiao Shi, James Filliben, Lotfi Benmohamed, Abdella Battou, Saddek Bensalem

CoRR, 2019

Control Synthesis Through Deep Learning.

Doron Peled, Simon Iosti, Saddek Bensalem

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019

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

Proceedings of the Automated Technology for Verification and Analysis, 2019

2018

Global and Local Deadlock Freedom in BIP.

Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket

ACM Trans. Softw. Eng. Methodol., 2018

Maximal software execution time: a regression-based approach.

Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros

Innov. Syst. Softw. Eng., 2018

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

Innov. Syst. Softw. Eng., 2018

Performance evaluation of stochastic real-time systems with the SBIP framework.

Ayoub Nouri, Braham Lotfi Mediouni, Marius Bozga, Jacques Combaz, Saddek Bensalem, Axel Legay

Int. J. Crit. Comput. Based Syst., 2018

DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems.

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

Des. Autom. Embed. Syst., 2018

Tracing Distributed Component-Based Systems, a Brief Overview.

Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem

Proceedings of the Runtime Verification - 18th International Conference, 2018

Algorithmic Complexity of Correctness Testing in MC-Scheduling.

Rany Kahil, Dario Socci, Peter Poplavko, Saddek Bensalem

Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018

Predictability in Mixed-Criticality Systems.

Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem

Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

Left-Eigenvectors Are Certificates of the Orbit Problem.

Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem

Proceedings of the Reachability Problems - 12th International Conference, 2018

Mitigating Security Risks Through Attack Strategies Exploration.

Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach.

Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP.

Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism.

Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo

Proceedings of the Fundamental Approaches to Software Engineering, 2018

<i>S</i> BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems.

Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation.

Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga

Formal Aspects Comput., 2017

Monitoring Distributed Component-Based Systems.

Hosein Nazarpour, Yliès Falcone, Mohamad Jaber, Saddek Bensalem, Marius Bozga

CoRR, 2017

Regression-Based Statistical Bounds on Software Execution Time.

Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2017

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

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Improved Learning for Stochastic Timed Models by State-Merging Algorithms.

Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Saddek Bensalem

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

Synthesizing Invariants by Solving Solvable Loops.

Steven de Oliveira, Saddek Bensalem, Virgile Prevosto

Proceedings of the Automated Technology for Verification and Analysis, 2017

Knowledge Based Optimization for Distributed Real-Time Systems.

Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

<i>ASTROLABE</i>: A Rigorous Approach for System-Level Performance Modeling and Analysis.

Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem

ACM Trans. Embed. Comput. Syst., 2016

Component-based verification using incremental design and invariants.

Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan

Softw. Syst. Model., 2016

Distinguishing extended finite state machine configurations using predicate abstraction.

Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem

J. Softw. Eng. Res. Dev., 2016

Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems.

Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga

CoRR, 2016

Performance Evaluation of Complex Systems Using the SBIP Framework.

Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem

Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems.

Souha Ben Rayana, Marius Bozga, Saddek Bensalem, Jacques Combaz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Poster Abstract: Towards Correct Transformation: From High-Level Models to Time-Triggered Implementations.

Hela Guesmi, Belgacem Ben Hedia, Mathieu Jan, Simon Bliudze, Saddek Bensalem

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

A Model-Based Approach to Secure Multiparty Distributed Systems.

Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference.

Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Monitoring Multi-threaded Component-Based Systems.

Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Local Planning of Multiparty Interactions with Bounded Horizons.

Mahieddine Dellabani, Jacques Combaz, Marius Bozga, Saddek Bensalem

Proceedings of the FM 2016: Formal Methods, 2016

Compositional Parameter Synthesis.

Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Chih-Hong Cheng, Harald Ruess

Proceedings of the FM 2016: Formal Methods, 2016

A Compositional Approach to the Verification of Hybrid Systems.

Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga

Proceedings of the Theory and Practice of Formal Methods, 2016

Polynomial Invariants by Linear Algebra.

Steven de Oliveira, Saddek Bensalem, Virgile Prevosto

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Correctness of Service Components and Service Component Ensembles.

Jacques Combaz, Saddek Bensalem, Francesco Tiezzi, Andrea Margheri, Rosario Pugliese, Jan Kofron

Proceedings of the Software Engineering for Collective Autonomic Systems, 2015

Statistical model checking QoS properties of systems with SBIP.

Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay

Int. J. Softw. Tools Technol. Transf., 2015

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation.

Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem

Softw. Syst. Model., 2015

Optimized distributed implementation of multiparty interactions with Restriction.

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis

Sci. Comput. Program., 2015

Compositional Verification for Timed Systems Based on Automatic Invariant Generation.

Souha Ben Rayana, Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga, Jacques Combaz

Log. Methods Comput. Sci., 2015

Timed Orchestration for Component-based Systems.

Chih-Hong Cheng, Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem

CoRR, 2015

Building distributed sensor network applications using BIP.

Alexios Lekidis, Paraskevas Bourgos, Simplice Djoko Djoko, Marius Bozga, Saddek Bensalem

Proceedings of the IEEE Sensors Applications Symposium, 2015

Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models.

Ahlem Triki, Borzoo Bonakdarpour, Jacques Combaz, Saddek Bensalem

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Compositional Verification of Parameterised Timed Systems.

Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Optimized distributed implementation of timed component-based systems.

Ahlem Triki, Jacques Combaz, Saddek Bensalem

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

A Timed-Automata Based Middleware for Time-Critical Multicore Applications.

Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga

Proceedings of the 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2015

Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs.

Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

A Verifiable and Correct-by-Construction Controller for Robots in Human Environments.

Lavindra de Silva, Rongjie Yan, Félix Ingrand, Rachid Alami, Saddek Bensalem

Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction, 2015

Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms.

Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

A Robust Framework for Securing Composed Web Services.

Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Education and training challenges in the era of Cyber-Physical Systems: beyond traditional engineering.

Martin Törngren, Saddek Bensalem, John A. McDermid, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz

Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2015

Models for deterministic execution of real-time multiprocessor applications.

Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga

Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

A Theory Agenda for Component-Based Design.

Joseph Sifakis, Saddek Bensalem, Simon Bliudze, Marius Bozga

Proceedings of the Software, 2015

2014

Verification and validation meet planning and scheduling.

Saddek Bensalem, Klaus Havelund, Andrea Orlandini

Int. J. Softw. Tools Technol. Transf., 2014

Model-based validation of CANopen systems.

Alexios Lekidis, Marius Bozga, Saddek Bensalem

Proceedings of the 10th IEEE Workshop on Factory Communication Systems, 2014

Compositional Verification of Timed Systems.

Saddek Bensalem

Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, 2014

Compositional Invariant Generation for Timed Systems.

Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Faster Statistical Model Checking by Means of Abstraction and Learning.

Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem

Proceedings of the Runtime Verification - 5th International Conference, 2014

Building faithful high-level models and performance evaluation of manycore embedded systems.

Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Rigorous System Design Flow for Autonomous Systems.

Saddek Bensalem, Marius Bozga, Jacques Combaz, Ahlem Triki

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

Model-Driven Information Flow Security for Component-Based Systems.

Najah Ben Said, Takoua Abdellatif, Saddek Bensalem, Marius Bozga

Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

2013

Rigorous embedded design: challenges and perspectives.

Saddek Bensalem, Axel Legay, Marius Bozga

Int. J. Softw. Tools Technol. Transf., 2013

EFSMT: A Logical Framework for Cyber-Physical Systems.

Chih-Hong Cheng, Natarajan Shankar, Harald Ruess, Saddek Bensalem

CoRR, 2013

A Verifiable and Correct-by-Construction Controller for Robot Functional Levels.

Saddek Bensalem, Lavindra de Silva, Félix Ingrand, Rongjie Yan

CoRR, 2013

Stochastic modeling and performance analysis of multimedia SoCs.

Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Axel Legay, Saddek Bensalem, Samarjit Chakraborty

Proceedings of the 2013 International Conference on Embedded Computer Systems: Architectures, 2013

Synthesizing distributed scheduling implementation for probabilistic component-based systems.

Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

Performance Evaluation of Process Partitioning Using Probabilistic Model Checking.

Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf

Proceedings of the Hardware and Software: Verification and Testing, 2013

An Abstract Framework for Deadlock Prevention in BIP.

Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket

Proceedings of the Formal Techniques for Distributed Systems, 2013

Model-Based Implementation of Parallel Real-Time Systems.

Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis

Proceedings of the Fundamental Approaches to Software Engineering, 2013

Mixed Critical Earliest Deadline First.

Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga

Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

Incremental Generation of Linear Invariants for Component-Based Systems.

Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Statistical abstraction and model-checking of large heterogeneous systems.

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay

Int. J. Softw. Tools Technol. Transf., 2012

Rigorous design of robot software: A formal component-based approach.

Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Félix Ingrand

Robotics Auton. Syst., 2012

Distributed Priority Synthesis

Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Rigorous Component-Based System Design - (Invited Paper).

Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Knowledge Based Transactional Behavior.

Saddek Bensalem, Marius Bozga, Doron A. Peled, Jean Quilbeuf

Proceedings of the Hardware and Software: Verification and Testing, 2012

Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities.

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis

Proceedings of the Formal Techniques for Distributed Systems, 2012

Distributed priority synthesis using knowledge.

Chih-Hong Cheng, Rongjie Yan, Harald Ruess, Saddek Bensalem

Proceedings of the 2nd edition on Programming systems, 2012

Optimized distributed implementation of multiparty interactions with observation.

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis

Proceedings of the 2nd edition on Programming systems, 2012

2011

Rigorous Component-Based System Design Using the BIP Framework.

Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis

IEEE Softw., 2011

Priority scheduling of distributed systems based on model checking.

Ananda Basu, Saddek Bensalem, Doron A. Peled, Joseph Sifakis

Formal Methods Syst. Des., 2011

Distributed Priority Synthesis and its Applications

Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan, Harald Ruess

CoRR, 2011

A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems.

Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay, Rongjie Yan

Proceedings of the Software Composition - 10th International Conference, 2011

Runtime Verification of Component-Based Systems.

Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Model Construction and Priority Synthesis for Simple Interaction Systems.

Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois C. Knoll, Harald Ruess

Proceedings of the NASA Formal Methods, 2011

D-Finder 2: Towards Efficient Correctness of Incremental Design.

Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan

Proceedings of the NASA Formal Methods, 2011

Rigorous system level modeling and analysis of mixed HW/SW systems.

Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Efficient deadlock detection for concurrent systems.

Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Rigorous System Design: The BIP Approach.

Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status.

Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza, Eric Flamand, Jean-Pierre Krimm, Julien Mottin, Lars Schor, Pratyush Kumar, Hoeseok Yang, Devesh B. Chokshi, Lothar Thiele, Saddek Bensalem, Marius Bozga, Luca Benini, Mohamed M. Sabry, Yusuf Leblebici, Giovanni De Micheli, Diego Melpignano

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Component Assemblies in the Context of Manycore.

Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Time-predictable and composable architectures for dependable embedded systems.

Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis

Proceedings of the 11th International Conference on Embedded Software, 2011

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

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Compositional verification for component-based systems and application.

Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis

IET Softw., 2010

Detection of deadlock potentials in multithreaded programs.

Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang

IBM J. Res. Dev., 2010

Incremental Invariant Generation for Compositional Design.

Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Statistical Model Checking: An Overview.

Axel Legay, Benoît Delahaye, Saddek Bensalem

Proceedings of the Runtime Verification - First International Conference, 2010

Verification of an AFDX Infrastructure Using Simulations and Probabilities.

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis

Proceedings of the Runtime Verification - First International Conference, 2010

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay

Proceedings of the Formal Techniques for Distributed Systems, 2010

Incremental component-based construction and verification using invariants.

Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Knowledge Based Scheduling of Distributed Systems.

Saddek Bensalem, Doron A. Peled, Joseph Sifakis

Proceedings of the Time for Verification, 2010

Methods for Knowledge Based Controlling of Distributed Systems.

Saddek Bensalem, Marius Bozga, Susanne Graf, Doron A. Peled, Sophie Quinton

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Designing autonomous robots.

Saddek Bensalem, Matthieu Gallien, Félix Ingrand, Imen Kahloul, Thanh-Hung Nguyen

IEEE Robotics Autom. Mag., 2009

D-Finder: A Tool for Compositional Deadlock Detection and Verification.

Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Automatic generation of path conditions for concurrent timed systems.

Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis

Theor. Comput. Sci., 2008

Incremental Component-Based Construction and Verification of a Robotic System.

Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis

Proceedings of the ECAI 2008, 2008

2007

A Simplified Approach for Testing Real-Time Systems Based on Action Refinement.

Saddek Bensalem, Moez Krichen, Lotfi Majdoub, Riadh Robbana, Stavros Tripakis

Proceedings of the ISoLA 2007, 2007

Test Case Generation for Ultimately Periodic Paths.

Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis, Lenore D. Zuck

Proceedings of the Hardware and Software: Verification and Testing, 2007

2006

Confirmation of deadlock potentials detected by runtime analysis.

Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier

Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis.

Grigore Rosu, Saddek Bensalem

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Generating Path Conditions for Timed Systems.

Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Dynamic Deadlock Analysis of Multi-threaded Programs.

Saddek Bensalem, Klaus Havelund

Proceedings of the Hardware and Software Verification and Testing, 2005

2004

Testing Conformance of Real-Time Applications by Automatic Generation of Observers.

Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis

Proceedings of the Fourth Workshop on Runtime Verification, 2004

Automatic Generation of Path Conditions for Timed Systems.

Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003

Abstraction as the Key for Invariant Verification.

Saddek Bensalem, Susanne Graf, Yassine Lakhnech

Proceedings of the Verification: Theory and Practice, 2003

2001

Networks of Processes with Parameterized State Space.

Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech

Proceedings of the Verification of Parameterized Systems, 2001

Incremental Verification by Abstraction.

Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000

Abstracting WS1S Systems to Verify Parameterized Networks.

Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

A Transformational Approach for Generating Non-linear Invariants.

Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech

Proceedings of the Static Analysis, 7th International Symposium, 2000

1999

Automatic Generation of Invariants.

Saddek Bensalem, Yassine Lakhnech

Formal Methods Syst. Des., 1999

Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis.

Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech

Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998

InVeST: A Tool for the Verification of Invariants.

Saddek Bensalem, Yassine Lakhnech, Sam Owre

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

Computing Abstractions of Infinite State Systems Compositionally and Automatically.

Saddek Bensalem, Yassine Lakhnech, Sam Owre

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1996

Powerful Techniques for the Automatic Generation of Invariants.

Saddek Bensalem, Yassine Lakhnech, Hassen Saïdi

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Property Preserving Abstractions for the Verification of Concurrent Systems.

Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem

Formal Methods Syst. Des., 1995

1992

Property Preserving Simulations.

Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1985

Algèbre de programmes dans un univers type. (Program algebra in a type universe).

Saddek Bensalem

PhD thesis, 1985