Lakhnech, Yassine, 19..-....
Lakhnech, Yassine
Lakhnech, Y. (Yassine)
Yassine Lakhnech chercheur en informatique et président d'université
VIAF ID: 49938153 ( Personal )
Permalink: http://viaf.org/viaf/49938153
Preferred Forms
- 100 1 0 ‡a Lakhnech, Y. ‡q (Yassine)
-
-
- 100 1 _ ‡a Lakhnech, Yassine
-
-
-
- 100 1 _ ‡a Lakhnech, Yassine, ‡d 19..-....
- 100 0 _ ‡a Yassine Lakhnech ‡c chercheur en informatique et président d'université
4xx's: Alternate Name Forms (5)
Works
Title | Sources |
---|---|
Automatisation de la certification formelle de systèmes critiques par instrumentation d'interpréteurs abstraits | |
CitizenCampus : transitions, sciences et citoyenneté | |
Computational soundness of symbolic models for cryptographic protocols | |
Construction de systèmes répartis sécurisés à base de composants | |
Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions : Application to the BIP Framework. | |
Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal modelling and analysis of timed systems, FORMATS 2004 and Formal techniques in real-time and fault-tolerant systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings | |
Formal verification of secured routing protocols | |
Formalisation de preuves de sécurité concrète | |
FORMATS 2004 | |
From Programs to Systems - The Systems Perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings | |
FTRTFT 2004 | |
Harnessing forest automata for verification of heap manipulating programs. | |
Implantations distribuées de modèles à base de composants communicants par interactions multiparties avec priorités : application au langage BIP. | |
Méthodes algorithmiques de vérification des protocoles cryptographiques | |
Protocoles cryptographiques : lien entre les vues symboliques et computationnelles | |
Relational Verification of Programs with Integer Data. | |
Tool support for system specification, development and verification, c1999: | |
Tools' design and development for building secure component-based distributed systems. | |
Vérification automatique de protocoles d'examen, de monnaie, de réputation, et de routage. | |
Vérification formelle des protocoles de vote et de vente aux enchères : De l'anonymat à l'équité et la vérifiabilité. | |
Vérification relationnelle pour des programmes avec des données entières |