Saddek Bensalem

发表

Incremental Component-Based Construction and Verification of a Robotic System

Joseph Sifakis, Thanh-Hung Nguyen, Charles Lesire, 2008, ECAI.

Synthesizing Invariants by Solving Solvable Loops pdf

Virgile Prevosto, Saddek Bensalem, Steven de Oliveira, 2016, ATVA.

Applied Statistical Model Checking for a Sensor Behavior Analysis

Saddek Bensalem, Salim Chehida, Abdelhakim Baouya, 2020, QUATIC.

Detection of deadlock potentials in multithreaded programs

Eitan Farchi, Rahul Agarwal, Scott D. Stoller, 2010, IBM J. Res. Dev..

A Robust Framework for Securing Composed Web Services

Marius Bozga, Saddek Bensalem, Takoua Abdellatif, 2015, FACS.

Distributed Priority Synthesis and its Applications pdf

Chih-Hong Cheng, Harald Ruess, Saddek Bensalem, 2011, ArXiv.

Powerful Techniques for the Automatic Generation of Invariants

Hassen Saïdi, Yassine Lakhnech, Saddek Bensalem, 1996, CAV.

A model-based design flow for CAN-based systems

Marius Bozga, Saddek Bensalem, Alexios Lekidis, 2013 .

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

Saddek Bensalem, 1985 .

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

Panagiotis Katsaros, Saddek Bensalem, Fotios Gioulekas, 2019, International Journal on Software Tools for Technology Transfer.

Compositional Parameter Synthesis

Chih-Hong Cheng, Lacramioara Astefanoaei, Harald Ruess, 2016, FM.

Rigorous Design of FDIR Systems with BIP

Saddek Bensalem, Iulia Dragomir, 2019, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Local Planning of Multiparty Interactions with Bounded Horizons

Marius Bozga, Saddek Bensalem, Jacques Combaz, 2016, FM.

Automatic Generation of Invariants

Yassine Lakhnech, Saddek Bensalem, Y. Lakhnech, 1999, Formal Methods Syst. Des..

Property preserving abstractions for the verification of concurrent systems

Joseph Sifakis, Ahmed Bouajjani, Claire Loiseaux, 1995, Formal Methods Syst. Des..

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems

Axel Legay, Benoît Caillaud, Benoît Delahaye, 2010 .

Model-based validation of CANopen systems

Marius Bozga, Saddek Bensalem, Alexios Lekidis, 2014, 2014 10th IEEE Workshop on Factory Communication Systems (WFCS 2014).

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

Joseph Sifakis, Antoine El-Hokayem, Marius Bozga, 2020, SEFM.

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

Stavros Tripakis, Moez Krichen, Saddek Bensalem, 2007, ISoLA.

Model-Driven Information Flow Security for Component-Based Systems

Marius Bozga, Saddek Bensalem, Takoua Abdellatif, 2014, FPS@ETAPS.

Automatic Generation of Observers for the Dala Robot with TTG

Stavros Tripakis, Marius Bozga, Moez Krichen, 2008 .

Statistical model checking QoS properties of systems with SBIP

Cyrille Jégourel, Axel Legay, Benoît Delahaye, 2012, International Journal on Software Tools for Technology Transfer.

Experiment on Verification of a Planetary Rover Controller

Marius Bozga, Saddek Bensalem, Eleni Orfanidou, 2004 .

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

Doron A. Peled, Simon Iosti, Saddek Bensalem, 2020, ISoLA.

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

Yliès Falcone, Marius Bozga, Saddek Bensalem, 2016, Formal Aspects of Computing.

A Goal-oriented Autonomous Controller for Space Exploration

Lavindra de Silva, Simone Fratini, Riccardo Rasconi, 2011 .

Knowledge Based Optimization for Distributed Real-Time Systems

Marius Bozga, Saddek Bensalem, Jacques Combaz, 2017, 2017 24th Asia-Pacific Software Engineering Conference (APSEC).

Statistical abstraction and model-checking of large heterogeneous systems

Axel Legay, Benoît Delahaye, Marius Bozga, 2010, International Journal on Software Tools for Technology Transfer.

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

Marius Bozga, Saddek Bensalem, Peter Poplavko, 2015, 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

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

Lavindra de Silva, Saddek Bensalem, Félix Ingrand, 2011, ArXiv.

A Transformational Approach for Generating Non-linear Invariants

Yassine Lakhnech, Marius Bozga, Saddek Bensalem, 2000, SAS.

Model-Based Design of Resilient Systems Using Quantitative Risk Assessment

Saddek Bensalem, Ayoub Nouri, Iulia Dragomir, 2020, VECoS.

Compositional Verification for Component-Based Systems and Application

Joseph Sifakis, Thanh-Hung Nguyen, Marius Bozga, 2008, ATVA.

Building Faithful Embedded Systems Models: Challenges and Opportunities

Marius Bozga, Saddek Bensalem, Ayoub Nouri, 2017 .

Left-eigenvectors are certificates of the Orbit Problem pdf

Virgile Prevosto, Peter Habermehl, Saddek Bensalem, 2018, RP.

Towards Time-triggered Component-based System Models

Simon Bliudze, Saddek Bensalem, Jacques Combaz, 2015, ICSEA 2015.

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

Stavros Tripakis, Marius Bozga, Moez Krichen, 2005, Electron. Notes Theor. Comput. Sci..

Rigorous embedded design: challenges and perspectives

Axel Legay, Marius Bozga, Saddek Bensalem, 2013, International Journal on Software Tools for Technology Transfer.

Computing Abstractions of Infinite State Systems Compositionally and Automatically

Yassine Lakhnech, Saddek Bensalem, Sam Owre, 1998, CAV.

Regression-Based Statistical Bounds on Software Execution Time

Lefteris Angelis, Panagiotis Katsaros, Saddek Bensalem, 2017, VECoS.

Building secure-by-construction distributed component-based systems

Marius Bozga, Saddek Bensalem, Takoua Abdellatif, 2014 .

Statistical Model Checking QoS Properties of Systems with SBIP

Cyrille Jégourel, Axel Legay, Benoît Delahaye, 2012, ISoLA.

A Model-Based Approach to Secure Multiparty Distributed Systems

Marius Bozga, Saddek Bensalem, Takoua Abdellatif, 2016, ISoLA.

Rigorous System Design: The BIP Approach

Joseph Sifakis, Marius Bozga, Ananda Basu, 2011, MEMICS.

Priority Scheduling of Distributed Systems Based on Model Checking

Joseph Sifakis, Doron A. Peled, Ananda Basu, 2009, CAV.

Mixed Critical Earliest Deadline First

Marius Bozga, Saddek Bensalem, Peter Poplavko, 2013, 2013 25th Euromicro Conference on Real-Time Systems.

Property Preserving Simulations

Joseph Sifakis, Ahmed Bouajjani, Claire Loiseaux, 1992, CAV.

Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS pdf

Markus Roggenbach, Saddek Bensalem, Alexander Knapp, 2020, ArXiv.

Rigorous System Design Flow for Autonomous Systems

Marius Bozga, Saddek Bensalem, Jacques Combaz, 2014, ISoLA.

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

Parosh Aziz Abdulla, Ahmed Bouajjani, Yassine Lakhnech, 1999, CAV.

Verification and validation meet planning and scheduling

Klaus Havelund, Andrea Orlandini, Saddek Bensalem, 2013, International Journal on Software Tools for Technology Transfer.

Global and Local Deadlock Freedom in BIP

Joseph Sifakis, Fadi A. Zaraket, Paul C. Attie, 2018, ACM Trans. Softw. Eng. Methodol..

EFSMT: A Logical Framework for Cyber-Physical Systems pdf

Natarajan Shankar, Chih-Hong Cheng, Harald Ruess, 2013, ArXiv.

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

Luca Benini, Yusuf Leblebici, Giovanni De Micheli, 2011, FMCO.

Incremental component-based construction and verification using invariants

Joseph Sifakis, Axel Legay, Thanh-Hung Nguyen, 2010, Formal Methods in Computer Aided Design.

Optimized distributed implementation of multiparty interactions with Restriction

Joseph Sifakis, Marius Bozga, Saddek Bensalem, 2015, Sci. Comput. Program..

Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs

Marius Bozga, Saddek Bensalem, Peter Poplavko, 2015, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing.

Performance Evaluation of Complex Systems Using the SBIP Framework

Axel Legay, Marius Bozga, Saddek Bensalem, 2016, VECoS.

Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities

Joseph Sifakis, Marius Bozga, Saddek Bensalem, 2012, FMOODS/FORTE.

Automatic generation of path conditions for concurrent timed systems

Doron A. Peled, Stavros Tripakis, Hongyang Qu, 2008, Theor. Comput. Sci..

Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design

Simon Bliudze, Saddek Bensalem, 2018 .

Component Assemblies in the Context of Manycore

Joseph Sifakis, Marius Bozga, Ananda Basu, 2011, FMCO.

TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm

Simon Bliudze, Saddek Bensalem, Belgacem Ben Hedia, 2017, VECoS.

Verification & Validation Meets Planning & Scheduling

Klaus Havelund, Andrea Orlandini, Saddek Bensalem, 2013 .

Priority-based scheduling of mixed-critical jobs

Marius Bozga, Saddek Bensalem, Peter Poplavko, 2019, Real-Time Systems.

InVeST: A Tool for the Verification of Invariants

Yassine Lakhnech, Saddek Bensalem, Sam Owre, 1998, CAV.

Efficient deadlock detection for concurrent systems

Axel Legay, Doron A. Peled, Thanh-Hung Nguyen, 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).

System-Level Modeling, Analysis and Code Generation: Object Recognition Case Study

Julien Mottin, Marius Bozga, Francois Pacull, 2012 .

Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper)

Panagiotis Katsaros, Marius Bozga, Rany Kahil, 2017, SEFM.

An Abstract Framework for Deadlock Prevention in BIP

Joseph Sifakis, Fadi A. Zaraket, Paul C. Attie, 2013, FMOODS/FORTE.

Exploration of Impactful Countermeasures on IoT Attacks

Saddek Bensalem, Salim Chehida, Abdelhakim Baouya, 2020, 2020 9th Mediterranean Conference on Embedded Computing (MECO).

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

Marius Bozga, Saddek Bensalem, Jacques Combaz, 2016, TACAS.

Reducing False Positives in Runtime Analysis of Deadlocks

Klaus Havelund, Daniel Clancy, Saddek Bensalem, 2002 .

Correct Transformation of High-Level Models into Time-Triggered Implementations

Mathieu Jan, Simon Bliudze, Saddek Bensalem, 2016 .

Priority scheduling of distributed systems based on model checking

Joseph Sifakis, Doron A. Peled, Ananda Basu, 2009, Formal Methods Syst. Des..

Methods for Knowledge Based Controlling of Distributed Systems

Doron A. Peled, Marius Bozga, Sophie Quinton, 2010, ATVA.

Correctness of Service Components and Service Component Ensembles

Jan Kofron, Francesco Tiezzi, Rosario Pugliese, 2015, The ASCENS Approach.

From Programs to Systems. The Systems perspective in Computing

Axel Legay, Saddek Bensalem, Yassine Lakhneck, 2014, Lecture Notes in Computer Science.

Icy-Core Framework for Simulating Thermal Effects of Task Migration Algorithms on Multi- and Many-Core Architectures

François Pacull, Saddek Bensalem, Molka Becher, 2014, ICONS 2014.

Monitoring Multi-threaded Component-Based Systems

Yliès Falcone, Marius Bozga, Saddek Bensalem, 2016, IFM.

Predictability in Mixed-Criticality Systems

Rany Kahil, Saddek Bensalem, Peter Poplavko, 2018, 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm

Simon Bliudze, Saddek Bensalem, Belgacem Ben Hedia, 2018, Innov. Syst. Softw. Eng..

Optimized distributed implementation of multiparty interactions with observation

Joseph Sifakis, Marius Bozga, Saddek Bensalem, 2012, AGERE! 2012.

ASTROLABE

Axel Legay, Anca Mariana Molnos, Marius Bozga, 2016, ACM Trans. Embed. Comput. Syst..

Verification of an AFDX Infrastructure Using Simulations and Probabilities

Axel Legay, Benoît Delahaye, Marius Bozga, 2010, RV.

An Overview of SAL

César Muñoz, Yassine Lakhnech, John Rushby, 2000 .

D-Finder 2: Towards Efficient Correctness of Incremental Design

Joseph Sifakis, Axel Legay, Thanh-Hung Nguyen, 2011, NASA Formal Methods.

Tracing Distributed Component-Based Systems, a Brief Overview

Yliès Falcone, Marius Bozga, Saddek Bensalem, 2018, RV.

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

Panagiotis Katsaros, Saddek Bensalem, Fotios Gioulekas, 2019, International Journal on Software Tools for Technology Transfer.

Abstracting WS1S Systems to Verify Parameterized Networks

Karsten Stahl, Yassine Lakhnech, Saddek Bensalem, 2000, TACAS.

Dynamic Deadlock Analysis of Multi-threaded Programs

Klaus Havelund, Saddek Bensalem, K. Havelund, 2005, Haifa Verification Conference.

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

Marius Bozga, Rany Kahil, Saddek Bensalem, 2016, ISoLA.

Performance Evaluation of Process Partitioning Using Probabilistic Model Checking

Doron A. Peled, Borzoo Bonakdarpour, Marius Bozga, 2013, Haifa Verification Conference.

Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design: Preface

Simon Bliudze, Saddek Bensalem, 2018 .

Component-based verification using incremental design and invariants

Joseph Sifakis, Axel Legay, Thanh-Hung Nguyen, 2014, Software & Systems Modeling.

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

Joseph Sifakis, Marius Bozga, Saddek Bensalem, 2018, ISoLA.

Models for deterministic execution of real-time multiprocessor applications

Marius Bozga, Saddek Bensalem, Peter Poplavko, 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Compositional verification for component-based systems and application

Joseph Sifakis, Thanh-Hung Nguyen, Marius Bozga, 2010, IET Softw..

Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers

Doron Peled, Saddek Bensalem, 2009, RV.

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

Marius Bozga, Saddek Bensalem, Jacques Combaz, 2019, Leibniz Trans. Embed. Syst..

Algorithmic Complexity of Correctness Testing in MC-Scheduling

Rany Kahil, Saddek Bensalem, Peter Poplavko, 2018, RTNS.

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

Lothar Thiele, Benoît Dupont de Dinechin, Sylvain Girbal, 2018, Des. Autom. Embed. Syst..

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

Joseph Sifakis, Kai Huang, Marius Bozga, 2011, Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).

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

Axel Legay, Marius Bozga, Saddek Bensalem, 2018 .

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

Thanh-Hung Nguyen, Yliès Falcone, Marius Bozga, 2015, Software & Systems Modeling.

Rigorous Component-Based System Design - (Invited Paper)

Joseph Sifakis, Marius Bozga, Ananda Basu, 2012, WRLA.

Incremental Generation of Linear Invariants for Component-Based Systems

Axel Legay, Benoît Boyer, Marius Bozga, 2013, 2013 13th International Conference on Application of Concurrency to System Design.

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

Alberto L. Sangiovanni-Vincentelli, Bernhard Schätz, Roberto Passerone, 2015, WESE.

CPS: Significance, Challenges and Opportunities

Roberto Passerone, Martin Törngren, John A. McDermid, 2014 .

Performance evaluation of a NDN forwarder using statistical model checking pdf

Lotfi Benmohamed, Abdella Battou, Saddek Bensalem, 2019, ArXiv.

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

Joseph Sifakis, Thanh-Hung Nguyen, Marius Bozga, 2009, CAV.

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

Panagiotis Katsaros, Saddek Bensalem, Fotios Gioulekas, 2018, FASE.

Mitigating Security Risks Through Attack Strategies Exploration

Axel Legay, Marius Bozga, Saddek Bensalem, 2018, ISoLA.

Knowledge Based Transactional Behavior

Doron A. Peled, Marius Bozga, Saddek Bensalem, 2012, Haifa Verification Conference.

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

Axel Legay, Marius Bozga, Saddek Bensalem, 2018, Int. J. Crit. Comput. Based Syst..

Compositional Invariant Generation for Timed Systems

Lacramioara Astefanoaei, Marius Bozga, Saddek Bensalem, 2014, TACAS.

Rigorous Modeling and Validation of CANopen Systems

Marius Bozga, Saddek Bensalem, Alexios Lekidis, 2014 .

Knowledge Based Scheduling of Distributed Systems

Joseph Sifakis, Doron A. Peled, Saddek Bensalem, 2010, Essays in Memory of Amir Pnueli.

Autonomous Robot Software Design Challenge

Joseph Sifakis, Saddek Bensalem, Félix Ingrand, 2008 .

Designing autonomous robots

Thanh-Hung Nguyen, Matthieu Gallien, Saddek Bensalem, 2009, IEEE Robotics & Automation Magazine.

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

Axel Legay, Anca Mariana Molnos, Marius Bozga, 2014, 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE).

Networks of Processes with Parameterized State Space

Karsten Stahl, Yassine Lakhnech, Saddek Bensalem, 2001, VEPAS.

Fog Computing and Blockchain for Massive IoT Deployment

Saddek Bensalem, Salim Chehida, Abdelhakim Baouya, 2020, 2020 9th Mediterranean Conference on Embedded Computing (MECO).

Monitoring Distributed Component-Based Systems pdf

Yliès Falcone, Marius Bozga, Saddek Bensalem, 2017, FACS.

Control Synthesis Through Deep Learning

Doron A. Peled, Simon Iosti, Saddek Bensalem, 2019, From Reactive Systems to Cyber-Physical Systems.

Toward a More Dependable Software Architecture for Autonomous Robots

Thanh-Hung Nguyen, Matthieu Gallien, Saddek Bensalem, 2008 .

Characterization, Analysis, and Recommendations for Exploiting the Opportunities of Cyber-Physical Systems

Bernhard Schätz, Roberto Passerone, Alberto Sangiovanni-Vincentelli, 2017 .

Faster Statistical Model Checking by Means of Abstraction and Learning

Axel Legay, Marius Bozga, Saddek Bensalem, 2014, RV.

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

Lavindra de Silva, Saddek Bensalem, Félix Ingrand, 2012, Robotics Auton. Syst..

Model-Based Implementation of Parallel Real-Time Systems

Joseph Sifakis, Saddek Bensalem, Jacques Combaz, 2013, FASE.

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

Rachid Alami, Lavindra de Silva, Saddek Bensalem, 2015, HRI.

Programming Dynamic Reconfigurable Systems

Joseph Sifakis, Marius Bozga, Saddek Bensalem, 2018, FACS.

Confirmation of deadlock potentials detected by runtime analysis

Klaus Havelund, Saddek Bensalem, Laurent Mounier, 2006, PADTAD '06.

Maximal software execution time: a regression-based approach

Lefteris Angelis, Panagiotis Katsaros, Saddek Bensalem, 2018, Innovations in Systems and Software Engineering.

Building distributed sensor network applications using BIP

Marius Bozga, Saddek Bensalem, Alexios Lekidis, 2015, 2015 IEEE Sensors Applications Symposium (SAS).

Timed Orchestration for Component-based Systems pdf

Chih-Hong Cheng, Lacramioara Astefanoaei, Saddek Bensalem, 2015, ArXiv.

Verification and Evaluation of Computer and Communication Systems

Mohamed Faouzi Atig, Simon Bliudze, Bruno Monsuez, 2018, Lecture Notes in Computer Science.

Incremental Invariant Generation for Compositional Design

Joseph Sifakis, Axel Legay, Thanh-Hung Nguyen, 2010, 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.

Optimized distributed implementation of timed component-based systems

Saddek Bensalem, Jacques Combaz, Ahlem Triki, 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).

Time-predictable and composable architectures for dependable embedded systems

Edward A. Lee, Kees G. W. Goossens, Joseph Sifakis, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

Algorithms for Synthesizing Priorities in Component-Based Systems

Alois Knoll, Chih-Hong Cheng, Yu-Fang Chen, 2011, ATVA.

Generating Path Conditions for Timed Systems

Doron A. Peled, Stavros Tripakis, Hongyang Qu, 2005, IFM.

Polynomial Invariants by Linear Algebra

Virgile Prevosto, Saddek Bensalem, Steven de Oliveira, 2016, ATVA.

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

Axel Legay, Lavindra de Silva, Saddek Bensalem, 2011, SC@TOOLS.

Runtime Verification

Axel Legay, Gerhard Goos, Juris Hartmanis, 2013, Lecture Notes in Computer Science.

Compositional Verification of Parameterised Timed Systems

Lacramioara Astefanoaei, Marius Bozga, Saddek Bensalem, 2015, NFM.

Incremental Component-based Construction and Deadlock Checking

Joseph Sifakis, Thanh-Hung Nguyen, Saddek Bensalem, 2009 .

Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018

Simon Bliudze, Saddek Bensalem, 2018, MeTRiD@ETAPS.

Test Case Generation for Ultimately Periodic Paths

Doron A. Peled, Stavros Tripakis, Lenore D. Zuck, 2007, Haifa Verification Conference.

Stochastic modeling and performance analysis of multimedia SoCs

Axel Legay, Samarjit Chakraborty, Deepak Gangadharan, 2013, 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS).

Testing Conformance of Real-Time Applications: Case of Planetary Rover Controller

Stavros Tripakis, Marius Bozga, Moez Krichen, 2005 .

Statistical Model Checking: An Overview

Axel Legay, Benoît Delahaye, Saddek Bensalem, 2010, RV.

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

Marius Bozga, Saddek Bensalem, Peter Poplavko, 2015, 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems.

ERGO: A FRAMEWORK FOR THE DEVELOPMENT OF AUTONOMOUS ROBOTS

Malte Helmert, Thomas Keller, Mark Woods, 2017, ICRA 2017.

Distinguishing extended finite state machine configurations using predicate abstraction

Nina Yevtushenko, Khaled El-Fakih, Marius Bozga, 2016, Journal of Software Engineering Research and Development.

Performance Evaluation of the NDN Data Plane Using Statistical Model Checking

Lotfi Benmohamed, Abdella Battou, Saddek Bensalem, 2019, ATVA.

Automatic Generation of Path Conditions for Timed Systems

Doron A. Peled, Stavros Tripakis, Hongyang Qu, 2004, ISoLA.

Rigorous Component-Based System Design Using the BIP Framework

Joseph Sifakis, Thanh-Hung Nguyen, Marius Bozga, 2011, IEEE Software.

Compositional Verification for Timed Systems Based on Automatic Invariant Generation

Lacramioara Astefanoaei, Marius Bozga, Saddek Bensalem, 2015, Log. Methods Comput. Sci..

Improved Learning for Stochastic Timed Models by State-Merging Algorithms

Marius Bozga, Saddek Bensalem, Ayoub Nouri, 2017, NFM.

Model Construction and Priority Synthesis for Simple Interaction Systems

Alois Knoll, Chih-Hong Cheng, Harald Ruess, 2011, NASA Formal Methods.

Distributed priority synthesis using knowledge

Chih-Hong Cheng, Harald Ruess, Saddek Bensalem, 2012, AGERE! 2012.

The ERGO framework and its use in planetary/orbital scenarios

Mark Woods, Andrew Coles, Amanda Coles, 2018 .

Abstraction as the Key for Invariant Verification

Yassine Lakhnech, Saddek Bensalem, Susanne Graf, 2003, Verification: Theory and Practice.

Externalisation of Time-Triggered communication system in BIP high level models

Simon Bliudze, Saddek Bensalem, Belgacem Ben Hedia, 2014 .

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

Mathieu Jan, Simon Bliudze, Saddek Bensalem, 2016, 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

Incremental Verification by Abstraction

Yassine Lakhnech, Sergey Berezin, Saddek Bensalem, 2001, TACAS.

Test generation for duration systems

Stavros Tripakis, Moez Krichen, Saddek Bensalem, 2007 .

Synthesizing distributed scheduling implementation for probabilistic component-based systems

Axel Legay, Doron A. Peled, Saddek Bensalem, 2013, 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013).

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

Borzoo Bonakdarpour, Saddek Bensalem, Jacques Combaz, 2015, NFM.

A Theory Agenda for Component-Based Design

Joseph Sifakis, Simon Bliudze, Marius Bozga, 2015, Software, Services, and Systems.

Runtime Verification of Component-Based Systems

Thanh-Hung Nguyen, Yliès Falcone, Marius Bozga, 2011, SEFM.

Modeling Mixed-critical Systems in Real-time BIP

Marius Bozga, Saddek Bensalem, Peter Poplavko, 2013 .

Compositional Verification of Timed Systems

Saddek Bensalem, S. Bensalem, 2014, VECoS.

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

Grigore Rosu, Saddek Bensalem, S. Bensalem, 2006, CAV.