Knowledge Tree

researcher / Saddek Bensalem

Saddek Bensalem

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Algèbre de programmes dans un univers type

Directed Thesis:

Modélisation et analyse de systèmes stochastiques et temps réel

Schedulability in Mixed-criticality Systems

Modélisation de la configuration automatique dans des systèmes auto-adaptatifs basés sur l'architecture

Formal methods for distributed real-time systems

Finding constancy in linear routines

Des systèmes à base de composants aux implémentations cadencées par le temps : une approche correcte par conception

Surveillance de systèmes à composants multi-threads et distribués

Information Flow Security in Component-Based Models : From verification to Implementation

Compositional verification of component-based real-time systems and applications

Scheduling of certifiable mixed-criticality systems

Distributed Implementations of Timed Component-based Systems

Rigorous System-level Modeling and Performance Evaluation for Embedded System Design

Quantitative Verification and Synthesis

Programmation efficace et sécurisé d'applications à mémoire partagée

Rigorous Design Flow for Programming Manycore Platforms

Vérification Constructive des Systèmes à base de Composants

Test de systèmes temps-réel à base de modèle