Yassine Lakhnech

	2009
52		Cristian Ene, Yassine Lakhnech, Van Chan Ngo: Formal Indistinguishability Extended to the Random Oracle Model. ESORICS 2009: 555-570
51		Marius Bozga, Radu Iosif, Yassine Lakhnech: Flat Parametric Counter Automata. Fundam. Inform. 91(2): 275-303 (2009)
	2008
50		Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech: Towards automated proofs for asymmetric encryption schemes in the random oracle model. ACM Conference on Computer and Communications Security 2008: 371-380
	2007
49		Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi: A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness. CRYPTO 2007: 482-499
48		Judicaël Courant, Cristian Ene, Yassine Lakhnech: Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption. FSTTCS 2007: 364-375
47		Romain Janvier, Yassine Lakhnech, Laurent Mazaré: Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions. Electr. Notes Theor. Comput. Sci. 186: 121-139 (2007)
	2006
46		Marion Daubignard, Romain Janvier, Yassine Lakhnech, Laurent Mazaré: Game-Based Criterion Partition Applied to Computational Soundness of Adaptive Security. Formal Aspects in Security and Trust 2006: 47-64
45		Marius Bozga, Radu Iosif, Yassine Lakhnech: Flat Parametric Counter Automata. ICALP (2) 2006: 577-588
44		Liana Bozga, Yassine Lakhnech, Michaël Périn: Pattern-based abstraction for verifying secrecy in protocols. STTT 8(1): 57-76 (2006)
	2005
43		Romain Janvier, Yassine Lakhnech, Laurent Mazaré: Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries. ESOP 2005: 172-185
42		Liana Bozga, Cristian Ene, Romain Janvier, Yassine Lakhnech, Laurent Mazaré, Michaël Périn: Automatic Verification of Security Properties Based on Abstractions. VISSAS 2005: 23-53
41		Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
40		Liana Bozga, Cristian Ene, Yassine Lakhnech: A symbolic decision procedure for cryptographic protocols with time stamps. J. Log. Algebr. Program. 65(1): 1-35 (2005)
	2004
39		Yassine Lakhnech, Sergio Yovine: 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 Springer 2004
38		Liana Bozga, Cristian Ene, Yassine Lakhnech: A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract). CONCUR 2004: 177-192
37		Liana Bozga, Cristian Ene, Yassine Lakhnech: On the Existence of an Effective and Complete Inference System for Cryptographic Protocols. FoSSaCS 2004: 42-57
36		Marius Bozga, Radu Iosif, Yassine Lakhnech: On Logics of Aliasing. SAS 2004: 344-360
	2003
35		Liana Bozga, Yassine Lakhnech, Michaël Périn: HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols. CAV 2003: 219-222
34		Marius Bozga, Radu Iosif, Yassine Lakhnech: Storeless semantics and alias logic. PEPM 2003: 55-65
33		Liana Bozga, Yassine Lakhnech, Michaël Périn: Pattern-Based Abstraction for Verifying Secrecy in Protocols. TACAS 2003: 299-314
32		Saddek Bensalem, Susanne Graf, Yassine Lakhnech: Abstraction as the Key for Invariant Verification. Verification: Theory and Practice 2003: 67-99
	2002
31		Kai Baukus, Yassine Lakhnech, Karsten Stahl: Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness. VMCAI 2002: 317-330
30		Dennis Dams, Yassine Lakhnech, Martin Steffen: Iterating transducers. J. Log. Algebr. Program. 52-53: 109-127 (2002)
	2001
29		Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Concurrency Verification: Introduction to Compositional and Noncompositional Methods Cambridge University Press 2001
28		Dennis Dams, Yassine Lakhnech, Martin Steffen: Iterating Transducers. CAV 2001: 286-297
27		Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu: Analyzing Fair Parametric Extended Automata. SAS 2001: 335-355
26		Yassine Lakhnech, Saddek Bensalem, Sergey Berezin, Sam Owre: Incremental Verification by Abstraction. TACAS 2001: 98-112
25		Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech: Networks of Processes with Parameterized State Space. Electr. Notes Theor. Comput. Sci. 50(4): (2001)
24		Kai Baukus, Yassine Lakhnech, Karsten Stahl: Verification of Parameterized Protocols. J. UCS 7(2): 141-158 (2001)
	2000
23		Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. FBT 2000: 3-5
22		Kai Baukus, Yassine Lakhnech, Karsten Stahl: Verifying Universal Properties of Parameterized Networks. FTRTFT 2000: 291-303
21		Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Yassine Lakhnech: A Transformational Approach for Generating Non-linear Invariants. SAS 2000: 58-74
20		Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl: Abstracting WS1S Systems to Verify Parameterized Networks. TACAS 2000: 188-203
	1999
19		Parosh Aziz Abdulla, Aurore Annichini, Saddek Bensalem, Ahmed Bouajjani, Peter Habermehl, Yassine Lakhnech: Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis. CAV 1999: 146-159
18		Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen: Divide, Abstract, and Model-Check. SPIN 1999: 57-76
17		Saddek Bensalem, Yassine Lakhnech: Automatic Generation of Invariants. Formal Methods in System Design 15(1): 75-92 (1999)
	1998
16		Saddek Bensalem, Yassine Lakhnech, Sam Owre: Computing Abstractions of Infinite State Systems Compositionally and Automatically. CAV 1998: 319-331
15		Saddek Bensalem, Yassine Lakhnech, Sam Owre: InVeST: A Tool for the Verification of Invariants. CAV 1998: 505-510
14		Erich Mikk, Yassine Lakhnech, Michael Siegel, Gerard J. Holzmann: Implementing Statecharts in PROMELA/SPIN. WIFT 1998: 90-101
	1997
13		Erich Mikk, Yassine Lakhnech, Michael Siegel: Hierarchical Automata as Model for Statecharts. ASIAN 1997: 181-196
12		Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig: Comparing Timed C/E Systems with Timed Automata (Abstract). HART 1997: 81-86
11		Yassine Lakhnech, Michael Siegel: Deductive verification of stabilizing systems. WSS 1997: 201-216
	1996
10		Saddek Bensalem, Yassine Lakhnech, Hassen Saïdi: Powerful Techniques for the Automatic Generation of Invariants. CAV 1996: 323-335
9		Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp: Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development. FME 1996: 595-608
8		Ahmed Bouajjani, Yassine Lakhnech, Sergio Yovine: Model-Checking for Extended Timed Temporal Logics. FTRTFT 1996: 306-326
	1995
7		Ahmed Bouajjani, Yassine Lakhnech, Riadh Robbana: From Duration Calculus To Linear Hybrid Automata. CAV 1995: 196-210
6		Ahmed Bouajjani, Yassine Lakhnech: Temporal Logic + Timed Automata: Expressiveness and Decidability. CONCUR 1995: 531-545
5		Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever: Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems. FSTTCS 1995: 80-95
4		Ahmed Bouajjani, Yassine Lakhnech: Logics vs. Automata: The Hybrid Case. Hybrid Systems 1995: 531-542
3		Yassine Lakhnech, Jozef Hooman: Metric Temporal Logic with Durations. Theor. Comput. Sci. 138(1): 169-199 (1995)
	1994
2		Yassine Lakhnech, Jozef Hooman: Reasoning about Durations in Metric Temporal Logic. FTRTFT 1994: 488-510
	1992
1		Bettina Buth, Karl-Heinz Buth, Martin Fränzle, Burghard von Karger, Yassine Lakhnech, Hans Langmaack, Markus Müller-Olm: Provably Correct Compiler Development and Implementation. CC 1992: 141-155

Coauthor Index

1	Parosh Aziz Abdulla	[19]
2	Luís Almeida	[41]
3	Aurore Annichini	[19]
4	Kai Baukus	[18] [20] [22] [24] [25] [31]
5	Saddek Bensalem	[10] [15] [16] [17] [19] [20] [21] [25] [26] [32]
6	Albert Benveniste	[41]
7	Sergey Berezin	[26]
8	Frank S. de Boer	[23] [29]
9	Ahmed Bouajjani	[4] [6] [7] [8] [19] [27]
10	Bruno Bouyssounouse	[41]
11	Liana Bozga	[33] [35] [37] [38] [40] [42] [44]
12	Marius Bozga	[21] [34] [36] [45] [51]
13	Emmanuel Bresson	[49]
14	Bettina Buth	[1]
15	Karl-Heinz Buth	[1]
16	Giorgio C. Buttazzo	[41]
17	Paul Caspi	[41]
18	Aurore Collomb-Annichini	[27]
19	Judicaël Courant	[48] [50]
20	Ivica Crnkovic	[41]
21	Werner Damm	[41]
22	Dennis Dams	[28] [30]
23	Marion Daubignard	[46] [50]
24	Cristian Ene	[37] [38] [40] [42] [48] [50] [52]
25	Jakob Engblom	[41]
26	Sebastian Engell	[12]
27	Jean-Claude Fernandez	[21]
28	Gerhard Fohler	[41]
29	Martin Fränzle	[1]
30	Marisol García-Valls	[41]
31	Lucian Ghirvu	[21]
32	Susanne Graf	[32]
33	Peter Habermehl	[19]
34	Ulrich Hannemann	[5] [9] [23] [29]
35	Gerard J. Holzmann	[14]
36	Jozef Hooman	[2] [3] [23] [29]
37	Ralf Huuck	[12]
38	Radu Iosif	[34] [36] [45] [51]
39	Romain Janvier	[42] [43] [46] [47]
40	Burghard von Karger	[1]
41	Hermann Kopetz	[41]
42	Stefan Kowalewski	[12]
43	Pascal Lafourcade	[50]
44	Hans Langmaack	[1]
45	François Laroussinie	[41]
46	Luciano Lavagno	[41]
47	Giuseppe Lipari	[41]
48	Florence Maraninchi	[41]
49	Laurent Mazaré	[42] [43] [46] [47] [49]
50	Erich Mikk	[13] [14]
51	Markus Müller-Olm	[1]
52	Van Chan Ngo	[52]
53	Sam Owre	[15] [16] [26]
54	Michaël Périn	[33] [35] [42] [44]
55	Philipp Peti	[41]
56	Mannes Poel	[23] [29]
57	Jörg Preußig	[12]
58	Juan Antonio de la Puente	[41]
59	Riadh Robbana	[7]
60	Willem P. de Roever	[5] [9] [23] [29]
61	Hassen Saïdi	[10]
62	Alberto L. Sangiovanni-Vincentelli	[41]
63	Norman Scaife	[41]
64	Michael Siegel	[11] [13] [14]
65	Joseph Sifakis	[41]
66	Mihaela Sighireanu	[27]
67	Robert de Simone	[41]
68	Karsten Stahl	[18] [20] [22] [24] [25] [31]
69	Martin Steffen	[18] [28] [30]
70	Frank A. Stomp	[9]
71	Martin Törngren	[41]
72	Luis Urbina	[12]
73	Paulo Veríssimo	[41]
74	Bogdan Warinschi	[49]
75	Andy J. Wellings	[41]
76	Reinhard Wilhelm	[41]
77	Tim A. C. Willemse	[41]
78	Wang Yi	[41]
79	Sergio Yovine	[8] [39]
80	Job Zwiers	[5] [9] [23] [29]

Colors in the list of coauthors