49938153

Preferred Forms

100 1 _ ‎‡a Lakhnech, Y.‏ ‎‡q (Yassine)‏
100 1 0 ‎‡a Lakhnech, Y.‏ ‎‡q (Yassine)‏
100 1 _ ‎‡a Lakhnech, Yassine‏ (sparse)
100 1 _ ‎‡a Lakhnech, Yassine‏
100 1 _ ‎‡a Lakhnech, Yassine‏
100 1 _ ‎‡a Lakhnech, Yassine‏
100 1 _ ‎‡a Lakhnech, Yassine,‏ ‎‡d 19..-....‏

4xx's: Alternate Name Forms (3)

Works

Title	Sources
Automatisation de la certification formelle de systèmes critiques par instrumentation d'interpréteurs abstraits
CitizenCampus : transitions, sciences et citoyenneté
Computational soundness of symbolic models for cryptographic protocols
Construction de systèmes répartis sécurisés à 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 sécurité concrè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 distribuées de modèles à base de composants communicants par interactions multiparties avec priorités : application au langage BIP.
Méthodes algorithmiques de vé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.
Vérification automatique de protocoles d'examen, de monnaie, de réputation, et de routage.
Vérification formelle des protocoles de vote et de vente aux enchères : De l'anonymat à l'équité et la vérifiabilité.
Vérification relationnelle pour des programmes avec des données entières

Selected Co-authors

Countries and Regions of Publication (3)

Publication Statistics

Selected Publishers (3)

About

Record Views

History of VIAF ID:49938153 (11)

Record ID	Action	Time
LC\|nb 99109513	add	2009-03-03T12:03:37+00:00
BIBSYS\|x04100644	delete	2012-11-27T04:00:16+00:00
NTA\|269104291	add	2012-12-19T19:11:18+00:00
ISNI\|000000003863857X	add	2013-09-16T16:15:07+00:00
SUDOC\|083574263	add	2014-06-17T21:44:08+00:00
BIBSYS\|4100644	add	2017-04-01T11:41:48.184366+00:00
DNB\|114799237	delete	2017-07-04T00:30:17.093449+00:00
RERO\|vtls011131124	delete	2020-06-17T04:32:50.757633+00:00
RERO\|A011131124	add	2020-06-17T21:23:41.239236+00:00
CAOONL\|ncf11391051	add	2020-07-14T13:53:29.664282+00:00
NKC\|xx0028540	delete	2021-01-31T07:06:38.169631+00:00

VIAF

Virtual International Authority File

Search

Lakhnech, Yassine, 19..-....

Lakhnech, Yassine

Lakhnech, Y. (Yassine)

VIAF ID: 49938153 ( Personal )

Permalink: http://viaf.org/viaf/49938153

Preferred Forms

4xx's: Alternate Name Forms (3)

Works

Selected Co-authors

Countries and Regions of Publication (3)

Publication Statistics

Publication History

Identifiers

Selected Publishers (3)

About

Personal Information

External Links

Record Views

History of VIAF ID:49938153 (11)