Bensalem, Saddek, 19..-...., informaticien
Bensalem, Saddek
VIAF ID: 306105071 ( Personal )
Permalink: http://viaf.org/viaf/306105071
Preferred Forms
-
- 100 1 _ ‡a Bensalem, Saddek
- 100 1 _ ‡a Bensalem, Saddek (sparse)
- 100 1 _ ‡a Bensalem, Saddek
-
- 100 1 _ ‡a Bensalem, Saddek, ‡d 19..-...., ‡c informaticien
Works
Title | Sources |
---|---|
Algèbre de programmes dans un univers type | |
Compositional verification of component-based real-time systems and applications | |
Conception correcte par construction de systèmes hybrides basée sur le raffinement et la preuve. | |
Correct-by-Construction Design of Hybrid Systems Based on Refinementand Proof. Guillaume Dupont | |
Filtrage par motif temporisé : Théorie et Applications. | |
Finding constancy in linear routines | |
Flot de conception rigoureux pour la programmation de plates-formes manycore.. | |
Formalismes temporisés paramétriques pour la spécification et la surveillance | |
From Programs to Systems - The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings | |
From timed component-based systems to time-triggered implementations : a correct-by-design approach. | |
Institution-based Semantics and Tool Support for the UML. | |
A method for designing critical software system coupled with a formal verification approach. | |
Méthode de conception de logiciel système critique couplée à une démarche de vérification formelle | |
Méthodes formelles pour les systèmes distribués temps-réel. | |
Model based testing for real-time systems. | |
Modélisation de la configuration automatique dans des systèmes auto-adaptatifs basés sur l'architecture | |
Modélisation et vérification formelle des performances des systèmes de réseau | |
monitoring multi-threaded and distributed (component-based) systems. | |
Ordonnancement des systèmes certifiés avec différents niveaux de criticité. | |
Parametric timed formalisms for specification and monitoring. | |
Pattern Matching with Time : Theory and Applications | |
Programmation efficace et sécurisé d'applications à mémoire partagée | |
Programming embedded manycore : refinement and optimizing compilation of a parallel action language for hierarchical state machines | |
Progrès récents en matière d’explicabilité formelle. | |
Recent advances in formal explainability | |
Recherche de constance dans les routines linéaires. | |
Rigorous Design Flow for Programming Manycore Platforms | |
Rigorous modeling and performance evaluation of networking systems. | |
Runtime verification, 2009: | |
Scheduling of certifiable mixed-criticality systems | |
Sécurité du flux d'information : de la vérification à l'implémentation. | |
Sémantique et outils institutionnels pour le UML | |
Surveillance de systèmes à composants multi-threads et distribués | |
Test de systèmes temps-réel à base de modèle | |
Toward a Framework for the Composition and Assessment of IoT and CPS Capabilities : Smart Cities Applications. | |
Towards efficient and secure shared memory applications. | |
Validation d'architectures temps-réel pour la robotique autonome | |
Vérification à l'exécution de spécifications décentralisées hiérarchiques | |
Vérification Constructive des Systèmes à base de Composants | |
Vérification et synthèse quantitative. | |
Vers un Framework pour la composition et l'évaluation des capacités IoT et CPS : applications dans le contexte des villes intelligentes |