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

Property Preserving Simulations. - Saddek Bensalem; Ahmed Bouajjani; Claire Loiseaux; Joseph Sifakis (CAV, 1992)

Property Preserving Abstractions for the Verification of Concurrent Systems. - Claire Loiseaux; Susanne Graf; Joseph Sifakis; Ahmed Bouajjani; Saddek Bensalem (Formal Methods Syst. Des., 1995)

Powerful Techniques for the Automatic Generation of Invariants. - Saddek Bensalem; Yassine Lakhnech; Hassen Saïdi (CAV, 1996)

Computing Abstractions of Infinite State Systems Compositionally and Automatically. - Saddek Bensalem; Yassine Lakhnech; Sam Owre (CAV, 1998)

InVeST: A Tool for the Verification of Invariants. - Saddek Bensalem; Yassine Lakhnech; Sam Owre (CAV, 1998)

Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. - Parosh Aziz Abdulla; Aurore Annichini; Saddek Bensalem; Ahmed Bouajjani; Peter Habermehl; Yassine Lakhnech (CAV, 1999)

Automatic Generation of Invariants. - Saddek Bensalem; Yassine Lakhnech (Formal Methods Syst. Des., 1999)

A Transformational Approach for Generating Non-linear Invariants. - Saddek Bensalem; Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Yassine Lakhnech (SAS, 2000)

Abstracting WS1S Systems to Verify Parameterized Networks. - Kai Baukus; Saddek Bensalem; Yassine Lakhnech; Karsten Stahl (TACAS, 2000)

Incremental Verification by Abstraction. - Yassine Lakhnech; Saddek Bensalem; Sergey Berezin; Sam Owre (TACAS, 2001)

Networks of Processes with Parameterized State Space. - Kai Baukus; Karsten Stahl; Saddek Bensalem; Yassine Lakhnech (VEPAS, 2001)

Abstraction as the Key for Invariant Verification. - Saddek Bensalem; Susanne Graf; Yassine Lakhnech (Verification: Theory and Practice, 2003)

Automatic Generation of Path Conditions for Timed Systems. - Saddek Bensalem; Doron A. Peled; Hongyang Qu 001; Stavros Tripakis (ISoLA (Preliminary proceedings), 2004)

Testing Conformance of Real-Time Applications by Automatic Generation of Observers. - Saddek Bensalem; Marius Bozga; Moez Krichen; Stavros Tripakis (RV@ETAPS, 2004)

Dynamic Deadlock Analysis of Multi-threaded Programs. - Saddek Bensalem; Klaus Havelund (Haifa Verification Conference, 2005)

Generating Path Conditions for Timed Systems. - Saddek Bensalem; Doron A. Peled; Hongyang Qu 001; Stavros Tripakis (IFM, 2005)

Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis. - Grigore Rosu; Saddek Bensalem (CAV, 2006)

Confirmation of deadlock potentials detected by runtime analysis. - Saddek Bensalem; Jean-Claude Fernandez; Klaus Havelund; Laurent Mounier (PADTAD, 2006)

Test Case Generation for Ultimately Periodic Paths. - Saddek Bensalem; Doron A. Peled; Hongyang Qu 001; Stavros Tripakis; Lenore D. Zuck (Haifa Verification Conference, 2007)

A Simplified Approach for Testing Real-Time Systems Based on Action Refinement. - Saddek Bensalem; Moez Krichen; Lotfi Majdoub; Riadh Robbana; Stavros Tripakis (ISoLA, 2007)

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 (ECAI, 2008)

Automatic generation of path conditions for concurrent timed systems. - Saddek Bensalem; Doron A. Peled; Hongyang Qu 001; Stavros Tripakis (Theor. Comput. Sci., 2008)

D-Finder: A Tool for Compositional Deadlock Detection and Verification. - Saddek Bensalem; Marius Bozga; Thanh-Hung Nguyen; Joseph Sifakis (CAV, 2009)

Designing autonomous robots. - Saddek Bensalem; Matthieu Gallien; Félix Ingrand; Imen Kahloul; Thanh-Hung Nguyen (IEEE Robotics Autom. Mag., 2009)

Methods for Knowledge Based Controlling of Distributed Systems. - Saddek Bensalem; Marius Bozga; Susanne Graf; Doron A. Peled; Sophie Quinton (ATVA, 2010)

Knowledge Based Scheduling of Distributed Systems. - Saddek Bensalem; Doron A. Peled; Joseph Sifakis (Essays in Memory of Amir Pnueli, 2010)

Incremental component-based construction and verification using invariants. - Saddek Bensalem; Marius Bozga; Axel Legay; Thanh-Hung Nguyen; Joseph Sifakis; Rongjie Yan (FMCAD, 2010)

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. - Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Caillaud; Benoît Delahaye; Axel Legay (FMOODS/FORTE, 2010)

Verification of an AFDX Infrastructure Using Simulations and Probabilities. - Ananda Basu; Saddek Bensalem; Marius Bozga; Benoît Delahaye; Axel Legay; Emmanuel Sifakis (RV, 2010)

Statistical Model Checking: An Overview. - Axel Legay; Benoît Delahaye; Saddek Bensalem (RV, 2010)

Incremental Invariant Generation for Compositional Design. - Saddek Bensalem; Axel Legay; Thanh-Hung Nguyen; Joseph Sifakis; Rongjie Yan (TASE, 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)

Compositional verification for component-based systems and application. - Saddek Bensalem; Marius Bozga; Thanh-Hung Nguyen; Joseph Sifakis (IET Softw., 2010)

Algorithms for Synthesizing Priorities in Component-Based Systems. - Chih-Hong Cheng; Saddek Bensalem; Yu-Fang Chen 001; Rongjie Yan; Barbara Jobstmann; Harald Ruess; Christian Buckl; Alois C. Knoll (ATVA, 2011)

Time-predictable and composable architectures for dependable embedded systems. - Saddek Bensalem; Kees Goossens; Christoph M. Kirsch; Roman Obermaisser; Edward A. Lee; Joseph Sifakis (EMSOFT, 2011)

Component Assemblies in the Context of Manycore. - Ananda Basu; Saddek Bensalem; Marius Bozga; Paraskevas Bourgos; Mayur Maheshwari; Joseph Sifakis (FMCO, 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; et al. (FMCO, 2011)

Rigorous System Design: The BIP Approach. - Ananda Basu; Saddek Bensalem; Marius Bozga; Paraskevas Bourgos; Joseph Sifakis (MEMICS, 2011)

Efficient deadlock detection for concurrent systems. - Saddek Bensalem; Andreas Griesmayer; Axel Legay; Thanh-Hung Nguyen; Doron A. Peled (MEMOCODE, 2011)

Rigorous system level modeling and analysis of mixed HW/SW systems. - Paraskevas Bourgos; Ananda Basu; Marius Bozga; Saddek Bensalem; Joseph Sifakis; Kai Huang (MEMOCODE, 2011)

D-Finder 2: Towards Efficient Correctness of Incremental Design. - Saddek Bensalem; Andreas Griesmayer; Axel Legay; Thanh-Hung Nguyen; Joseph Sifakis; Rongjie Yan (NASA Formal Methods, 2011)

Model Construction and Priority Synthesis for Simple Interaction Systems. - Chih-Hong Cheng; Saddek Bensalem; Barbara Jobstmann; Rongjie Yan; Alois C. Knoll; Harald Ruess (NASA Formal Methods, 2011)

Runtime Verification of Component-Based Systems. - Yliès Falcone; Mohamad Jaber 001; Thanh-Hung Nguyen; Marius Bozga; Saddek Bensalem (SEFM, 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 (SC@TOOLS, 2011)

Distributed Priority Synthesis and its Applications - Chih-Hong Cheng; Saddek Bensalem; Rongjie Yan; Harald Ruess (CoRR, 2011)

Priority scheduling of distributed systems based on model checking. - Ananda Basu; Saddek Bensalem; Doron A. Peled; Joseph Sifakis (Formal Methods Syst. Des., 2011)

Rigorous Component-Based System Design Using the BIP Framework. - Ananda Basu; Saddek Bensalem; Marius Bozga; Jacques Combaz; Mohamad Jaber 001; Thanh-Hung Nguyen; Joseph Sifakis (IEEE Softw., 2011)

Optimized distributed implementation of multiparty interactions with observation. - Saddek Bensalem; Marius Bozga; Jean Quilbeuf; Joseph Sifakis (AGERE!@SPLASH, 2012)

Distributed priority synthesis using knowledge. - Chih-Hong Cheng; Rongjie Yan; Harald Ruess; Saddek Bensalem (AGERE!@SPLASH, 2012)

Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. - Saddek Bensalem; Marius Bozga; Jean Quilbeuf; Joseph Sifakis (FMOODS/FORTE, 2012)

Knowledge Based Transactional Behavior. - Saddek Bensalem; Marius Bozga; Doron A. Peled; Jean Quilbeuf (Haifa Verification Conference, 2012)

Rigorous Component-Based System Design - (Invited Paper). - Ananda Basu; Saddek Bensalem; Marius Bozga; Joseph Sifakis (WRLA, 2012)

Distributed Priority Synthesis - Chih-Hong Cheng; Rongjie Yan; Saddek Bensalem; Harald Ruess (SSV, 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)

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)

Incremental Generation of Linear Invariants for Component-Based Systems. - Saddek Bensalem; Marius Bozga; Benoît Boyer; Axel Legay (ACSD, 2013)

Mixed Critical Earliest Deadline First. - Dario Socci; Peter Poplavko; Saddek Bensalem; Marius Bozga (ECRTS, 2013)

Model-Based Implementation of Parallel Real-Time Systems. - Ahlem Triki; Jacques Combaz; Saddek Bensalem; Joseph Sifakis (FASE, 2013)

An Abstract Framework for Deadlock Prevention in BIP. - Paul C. Attie; Saddek Bensalem; Marius Bozga; Mohamad Jaber 001; Joseph Sifakis; Fadi A. Zaraket (FMOODS/FORTE, 2013)

Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. - Saddek Bensalem; Borzoo Bonakdarpour; Marius Bozga; Doron A. Peled; Jean Quilbeuf (Haifa Verification Conference, 2013)

Synthesizing distributed scheduling implementation for probabilistic component-based systems. - Saddek Bensalem; Axel Legay; Ayoub Nouri; Doron A. Peled (MEMOCODE, 2013)

Stochastic modeling and performance analysis of multimedia SoCs. - Balaji Raman 001; Ayoub Nouri; Deepak Gangadharan; Marius Bozga; Ananda Basu; Mayur Maheshwari; Axel Legay; Saddek Bensalem; Samarjit Chakraborty (ICSAMOS, 2013)

A Verifiable and Correct-by-Construction Controller for Robot Functional Levels. - Saddek Bensalem; Lavindra de Silva; Félix Ingrand; Rongjie Yan (CoRR, 2013)

EFSMT: A Logical Framework for Cyber-Physical Systems. - Chih-Hong Cheng; Natarajan Shankar; Harald Ruess; Saddek Bensalem (CoRR, 2013)

Rigorous embedded design: challenges and perspectives. - Saddek Bensalem; Axel Legay; Marius Bozga (Int. J. Softw. Tools Technol. Transf., 2013)

Model-Driven Information Flow Security for Component-Based Systems. - Najah Ben Said; Takoua Abdellatif; Saddek Bensalem; Marius Bozga (FPS@ETAPS, 2014)

Rigorous System Design Flow for Autonomous Systems. - Saddek Bensalem; Marius Bozga; Jacques Combaz; Ahlem Triki (ISoLA (1), 2014)

Building faithful high-level models and performance evaluation of manycore embedded systems. - Ayoub Nouri; Marius Bozga; Anca Molnos; Axel Legay; Saddek Bensalem (MEMOCODE, 2014)

Faster Statistical Model Checking by Means of Abstraction and Learning. - Ayoub Nouri; Balaji Raman 001; Marius Bozga; Axel Legay; Saddek Bensalem (RV, 2014)

Compositional Invariant Generation for Timed Systems. - Lacramioara Astefanoaei; Souha Ben Rayana; Saddek Bensalem; Marius Bozga; Jacques Combaz (TACAS, 2014)

Compositional Verification of Timed Systems. - Saddek Bensalem (VECoS, 2014)

Model-based validation of CANopen systems. - Alexios Lekidis; Marius Bozga; Saddek Bensalem (WFCS, 2014)

Verification and validation meet planning and scheduling. - Saddek Bensalem; Klaus Havelund; Andrea Orlandini (Int. J. Softw. Tools Technol. Transf., 2014)

A Theory Agenda for Component-Based Design. - Joseph Sifakis; Saddek Bensalem; Simon Bliudze; Marius Bozga (Software, Services, and Systems, 2015)

Models for deterministic execution of real-time multiprocessor applications. - Peter Poplavko; Dario Socci; Paraskevas Bourgos; Saddek Bensalem; Marius Bozga (DATE, 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 (WESE, 2015)

A Robust Framework for Securing Composed Web Services. - Najah Ben Said; Takoua Abdellatif; Saddek Bensalem; Marius Bozga (FACS, 2015)

Time-Triggered Mixed-Critical Scheduler on Single and Multi-processor Platforms. - Dario Socci; Peter Poplavko; Saddek Bensalem; Marius Bozga (HPCC/CSS/ICESS, 2015)

A Verifiable and Correct-by-Construction Controller for Robots in Human Environments. - Lavindra de Silva; Rongjie Yan; Félix Ingrand; Rachid Alami 001; Saddek Bensalem (HRI (Extended Abstracts), 2015)

Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs. - Dario Socci; Peter Poplavko; Saddek Bensalem; Marius Bozga (ISORC, 2015)

A Timed-Automata Based Middleware for Time-Critical Multicore Applications. - Dario Socci; Peter Poplavko; Saddek Bensalem; Marius Bozga (ISORC Workshops, 2015)

Optimized distributed implementation of timed component-based systems. - Ahlem Triki; Jacques Combaz; Saddek Bensalem (MEMOCODE, 2015)

Compositional Verification of Parameterised Timed Systems. - Lacramioara Astefanoaei; Souha Ben Rayana; Saddek Bensalem; Marius Bozga; Jacques Combaz (NFM, 2015)

Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models. - Ahlem Triki; Borzoo Bonakdarpour; Jacques Combaz; Saddek Bensalem (NFM, 2015)

Building distributed sensor network applications using BIP. - Alexios Lekidis; Paraskevas Bourgos; Simplice Djoko Djoko; Marius Bozga; Saddek Bensalem (SAS, 2015)

Timed Orchestration for Component-based Systems. - Chih-Hong Cheng; Lacramioara Astefanoaei; Souha Ben Rayana; Saddek Bensalem (CoRR, 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)

Optimized distributed implementation of multiparty interactions with Restriction. - Saddek Bensalem; Marius Bozga; Jean Quilbeuf; Joseph Sifakis (Sci. Comput. Program., 2015)

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. - Yliès Falcone; Mohamad Jaber 001; Thanh-Hung Nguyen; Marius Bozga; Saddek Bensalem (Softw. Syst. Model., 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)

Correctness of Service Components and Service Component Ensembles. - Jacques Combaz; Saddek Bensalem; Francesco Tiezzi 001; Andrea Margheri; Rosario Pugliese; Jan Kofron (The ASCENS Approach, 2015)

Polynomial Invariants by Linear Algebra. - Steven de Oliveira; Saddek Bensalem; Virgile Prevosto (ATVA, 2016)

A Compositional Approach to the Verification of Hybrid Systems. - Lacramioara Astefanoaei; Saddek Bensalem; Marius Bozga (Theory and Practice of Formal Methods, 2016)

Compositional Parameter Synthesis. - Lacramioara Astefanoaei; Saddek Bensalem; Marius Bozga; Chih-Hong Cheng; Harald Ruess (FM, 2016)

Local Planning of Multiparty Interactions with Bounded Horizons. - Mahieddine Dellabani; Jacques Combaz; Marius Bozga; Saddek Bensalem (FM, 2016)

Monitoring Multi-threaded Component-Based Systems. - Hosein Nazarpour; Yliès Falcone; Saddek Bensalem; Marius Bozga; Jacques Combaz (IFM, 2016)

Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference. - Peter Poplavko; Rany Kahil; Dario Socci; Saddek Bensalem; Marius Bozga (ISoLA (1), 2016)

A Model-Based Approach to Secure Multiparty Distributed Systems. - Najah Ben Said; Takoua Abdellatif; Saddek Bensalem; Marius Bozga (ISoLA (1), 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 (RTAS, 2016)

RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems. - Souha Ben Rayana; Marius Bozga; Saddek Bensalem; Jacques Combaz (TACAS, 2016)

Performance Evaluation of Complex Systems Using the SBIP Framework. - Ayoub Nouri; Marius Bozga; Axel Legay; Saddek Bensalem (VECoS, 2016)

Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems. - Hosein Nazarpour; Yliès Falcone; Saddek Bensalem; Marius Bozga (CoRR, 2016)

Distinguishing extended finite state machine configurations using predicate abstraction. - Khaled El-Fakih; Nina Yevtushenko 001; Marius Bozga; Saddek Bensalem (J. Softw. Eng. Res. Dev., 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)

ASTROLABE: 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)

Knowledge Based Optimization for Distributed Real-Time Systems. - Mahieddine Dellabani; Jacques Combaz; Saddek Bensalem; Marius Bozga (APSEC, 2017)

Synthesizing Invariants by Solving Solvable Loops. - Steven de Oliveira; Saddek Bensalem; Virgile Prevosto (ATVA, 2017)

Improved Learning for Stochastic Timed Models by State-Merging Algorithms. - Braham Lotfi Mediouni; Ayoub Nouri; Marius Bozga; Saddek Bensalem (NFM, 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 (SEFM, 2017)

Regression-Based Statistical Bounds on Software Execution Time. - Peter Poplavko; Ayoub Nouri; Lefteris Angelis; Alexandros Zerzelidis; Saddek Bensalem; Panagiotis Katsaros (VECoS, 2017)

Monitoring Distributed Component-Based Systems. - Hosein Nazarpour; Yliès Falcone; Mohamad Jaber 001; Saddek Bensalem; Marius Bozga (CoRR, 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)

S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. - Braham Lotfi Mediouni; Ayoub Nouri; Marius Bozga; Mahieddine Dellabani; Axel Legay; Saddek Bensalem (ATVA, 2018)

A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. - Fotios Gioulekas; Peter Poplavko; Panagiotis Katsaros; Saddek Bensalem; Pedro Palomo (FASE, 2018)

Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. - Rim El Ballouli; Saddek Bensalem; Marius Bozga; Joseph Sifakis (ISoLA (3), 2018)

Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. - Iulia Dragomir; Simon Iosti; Marius Bozga; Saddek Bensalem (ISoLA (3), 2018)

Mitigating Security Risks Through Attack Strategies Exploration. - Braham Lotfi Mediouni; Ayoub Nouri; Marius Bozga; Axel Legay; Saddek Bensalem (ISoLA (2), 2018)

Left-Eigenvectors Are Certificates of the Orbit Problem. - Steven de Oliveira; Virgile Prevosto; Peter Habermehl; Saddek Bensalem (RP, 2018)

Predictability in Mixed-Criticality Systems. - Rany Kahil; Peter Poplavko; Dario Socci; Saddek Bensalem (RTCSA, 2018)

Algorithmic Complexity of Correctness Testing in MC-Scheduling. - Rany Kahil; Dario Socci; Peter Poplavko; Saddek Bensalem (RTNS, 2018)

Tracing Distributed Component-Based Systems, a Brief Overview. - Yliès Falcone; Hosein Nazarpour; Mohamad Jaber 001; Marius Bozga; Saddek Bensalem (RV, 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 001; Nikolay Stoimenov; Paraskevas Bourgos; Lothar Thiele; Marius Bozga; Saddek Bensalem; Sylvain Girbal; Madeleine Faugère; Romain Soulat; et al. (Des. Autom. Embed. Syst., 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)

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)

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)

Global and Local Deadlock Freedom in BIP. - Paul C. Attie; Saddek Bensalem; Marius Bozga; Mohamad Jaber 001; Joseph Sifakis; Fadi A. Zaraket (ACM Trans. Softw. Eng. Methodol., 2018)

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 (ATVA, 2019)

Control Synthesis Through Deep Learning. - Doron Peled; Simon Iosti; Saddek Bensalem (From Reactive Systems to Cyber-Physical Systems, 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)

Rigorous Design of FDIR Systems with BIP. - Iulia Dragomir; Saddek Bensalem (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019)

Local Planning Semantics: A Semantics for Distributed Real-Time Systems. - Mahieddine Dellabani; Jacques Combaz; Saddek Bensalem; Marius Bozga (Leibniz Trans. Embed. Syst., 2019)

Priority-based scheduling of mixed-critical jobs. - Dario Socci; Peter Poplavko; Saddek Bensalem; Marius Bozga (Real Time Syst., 2019)

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 (CRiSIS, 2020)

Formal Modeling and Simulation of Collaborative Intelligent Robots. - Abdelhakim Baouya; Salim Chehida; Miquel Cantero; Marta Millet; Saddek Bensalem; Marius Bozga (ESOCC Workshops, 2020)

Synthesizing Control for a System with Black Box Environment, Based on Deep Learning. - Simon Iosti; Doron Peled; Khen Aharon; Saddek Bensalem; Yoav Goldberg (ISoLA (2), 2020)

Fog Computing and Blockchain for Massive IoT Deployment. - Abdelhakim Baouya; Salim Chehida; Saddek Bensalem; Marius Bozga (MECO, 2020)

Exploration of Impactful Countermeasures on IoT Attacks. - Salim Chehida; Abdelhakim Baouya; Marius Bozga; Saddek Bensalem (MECO, 2020)

Runtime Verification of Timed Properties in Autonomous Robots. - Mohammed Foughali; Saddek Bensalem; Jacques Combaz; Félix Ingrand (MEMOCODE, 2020)

Applied Statistical Model Checking for a Sensor Behavior Analysis. - Salim Chehida; Abdelhakim Baouya; Saddek Bensalem; Marius Bozga (QUATIC, 2020)

A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. - Antoine El-Hokayem; Saddek Bensalem; Marius Bozga; Joseph Sifakis (SEFM, 2020)

Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems. - Abdelhakim Baouya; Salim Chehida; Saddek Bensalem; Marius Bozga (SoMeT, 2020)

Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS. - Tobias Rosenberger; Saddek Bensalem; Alexander Knapp; Markus Roggenbach (WADT, 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)

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)

A neural networks-based methodology for fitting data to probability distributions. - Siham Khoussi; Alan Heckert; Abdella Battou; Saddek Bensalem (AICCSA, 2021)

Component-Based Approach Combining UML and BIP for Rigorous System Design. - Salim Chehida; Abdelhakim Baouya; Saddek Bensalem (FACS, 2021)

Monitoring Distributed Component-Based Systems. - Yliès Falcone; Hosein Nazarpour; Saddek Bensalem; Marius Bozga (FACS, 2021)

Programming dynamic reconfigurable systems. - Rim El Ballouli; Saddek Bensalem; Marius Bozga; Joseph Sifakis (Int. J. Softw. Tools Technol. Transf., 2021)

On methods and tools for rigorous system design. - Simon Bliudze; Panagiotis Katsaros; Saddek Bensalem; Martin Wirsing (Int. J. Softw. Tools Technol. Transf., 2021)

DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks. - Hamzah Al-Qadasi; Changshun Wu; Yliès Falcone; Saddek Bensalem (AITest, 2022)

Prioritizing Corners in OoD Detectors via Symbolic String Manipulation. - Chih-Hong Cheng; Changshun Wu; Emmanouil Seferis; Saddek Bensalem (ATVA, 2022)

Formal Specification for Learning-Enabled Autonomous Systems. - Saddek Bensalem; Chih-Hong Cheng; Xiaowei Huang 001; Panagiotis Katsaros; Adam Molin; Dejan Nickovic; Doron Peled (NSV/FoMLAS@CAV, 2022)

Formal Modelling and Security Analysis of Inter-Operable Systems. - Abdelhakim Baouya; Samir Ouchani; Saddek Bensalem (IEA/AIE, 2022)

BRAIN-IoT Architecture and Platform for Building IoT Systems. - Salim Chehida; Saddek Bensalem; Davide Conzon; Enrico Ferrera; Xu Tao (IoTBDS, 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 (MESAS, 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)

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)

Difficulty and Severity-Oriented Metrics for Test Prioritization in Deep Learning Systems. - Hamzah Al-Qadasi; Yliès Falcone; Saddek Bensalem (AITest, 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 (PoEM Companion, 2023)

Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. - Changshun Wu; Yliès Falcone; Saddek Bensalem (RV, 2023)

DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes. - Hamzah Al-Qadasi; Yliès Falcone; Saddek Bensalem (AISoLA, 2023)

What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety-Critical Systems. - Saddek Bensalem; Chih-Hong Cheng; Wei Huang 035; Xiaowei Huang 001; Changshun Wu; Xingyu Zhao 001 (AISoLA, 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 001; Antoine Delacourt; Hasan Esen; Alexandru Forrai; Weicheng He; et al. (AISoLA, 2023)

Towards Rigorous Design of OoD Detectors. - Chih-Hong Cheng; Changshun Wu; Harald Ruess; Saddek Bensalem (CoRR, 2023)

Neural Network Innovations in Image-Based Malware Classification: A Comparative Study. - Hamzah Al-Qadasi; Djafer Yahia Messaoud Benchadi; Salim Chehida; Kazuhiro Fukui; Saddek Bensalem (AINA (4), 2024)

Model-Based Reliability, Availability, and Maintainability Analysis for Satellite Systems with Collaborative Maneuvers via Stochastic Games. - Abdelhakim Baouya; Brahim Hamid; Otmane Aït Mohamed; Saddek Bensalem (SEAA, 2024)

BAM: Box Abstraction Monitors for Real-time OoD Detection in Object Detection. - Changshun Wu; Weicheng He; Chih-Hong Cheng; Xiaowei Huang 001; Saddek Bensalem (IROS, 2024)

A User-Centric Privacy Control Framework for Decentralized IoT Platforms. - Xu Tao; Rui Zhao; Salim Chehida; Davide Conzon; Enrico Ferrera; Saddek Bensalem (QUATIC, 2024)

Box-Based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study. - Weicheng He; Changshun Wu; Saddek Bensalem (RV, 2024)

Formal Specification, Assessment, and Enforcement of Fairness for Generative AIs. - Chih-Hong Cheng; Changshun Wu; Harald Ruess; Xingyu Zhao 001; Saddek Bensalem (CoRR, 2024)

Safeguarding Large Language Models: A Survey. - Yi Dong 002; Ronghui Mu; Yanghao Zhang; Siqi Sun; Tianle Zhang; Changshun Wu; Gaojie Jin; Yi Qi; Jinwei Hu; Jie Meng; Saddek Bensalem; Xiaowei Huang 001 (CoRR, 2024)

Rigorous Security Analysis of RabbitMQ Broker with Concurrent Stochastic Games. - Abdelhakim Baouya; Brahim Hamid; Levent Gürgen; Saddek Bensalem (Internet Things, 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., 2024)

Bridging formal methods and machine learning with model checking and global optimisation. - Saddek Bensalem; Xiaowei Huang 001; Wenjie Ruan; Qiyi Tang 001; Changshun Wu; Xingyu Zhao 001 (J. Log. Algebraic Methods Program., 2024)

Model-based design of resilient systems using quantitative risk assessment. - Braham Lotfi Mediouni; Iulia Dragomir; Ayoub Nouri; Saddek Bensalem (Innov. Syst. Softw. Eng., 2024)

A survey of safety and trustworthiness of large language models through the lens of verification and validation. - Xiaowei Huang 001; Wenjie Ruan; Wei Huang 035; Gaojie Jin; Yi Dong 002; Changshun Wu; Saddek Bensalem; Ronghui Mu; Yi Qi; Xingyu Zhao 001; Kaiwen Cai; Yanghao Zhang; et al. (Artif. Intell. Rev., 2024)

Out-of-Distribution Detectors: Not Yet Primed for Practical Deployment. - Changshun Wu; Wendi Ding; Xiaowei Huang 001; Saddek Bensalem (ICASSP, 2025)

Detection and Mitigation of Clock Deviation in the Verification & Validation of Drone-aided Lifting Operations. - Abdelhakim Baouya; Brahim Hamid; Otmane Aït Mohamed; Saddek Bensalem (Ad Hoc Networks, 2025)

Digital twin for the formal analysis of a depth of anesthesia controller. - Mohamed Abdelsalam; Saddek Bensalem; Antoine Delacourt; Weicheng He; Panagiotis Katsaros; Nikolaos Kekatos; Ricardo Ruiz Nolasco; Doron Peled; Matthieu Ponchant; Ismail Ryad; Anastasios Temperekidis; Changshun Wu (Simul., 2025)

Modeling and analysis of data corruption attacks and energy consumption effects on edge servers using concurrent stochastic games. - Abdelhakim Baouya; Brahim Hamid; Levent Gürgen; Saddek Bensalem (Soft Comput., 2025)

Mitigating Hallucinations in YOLO-based Object Detection Models: A Revisit to Out-of-Distribution Detection. - Weicheng He; Changshun Wu; Chih-Hong Cheng; Xiaowei Huang 001; Saddek Bensalem (CoRR, 2025)

LoRA-BAM: Input Filtering for Fine-tuned LLMs via Boxed Abstraction Monitors over LoRA Layers. - Changshun Wu; Tianyi Duan; Saddek Bensalem; Chih-Hong Cheng (CoRR, 2025)