Yves Crouzet

	2012
25		Yves Crouzet, Karama Kanoun: System Dependability: Characterization and Benchmarking. Advances in Computers 84: 93-139 (2012)
	2006
24		Anis Youssef, Yves Crouzet, Agnan de Bonneval, Jean Arlat, Jean-Jacques Aubert, Patrice Brot: Communication Integrity in Networks for Critical Control Systems. EDCC 2006: 23-34
23		Jacques Henri Collet, Piotr Zajac, Yves Crouzet, Andrzej Napieralski: Contribution of Communications to Dependability in Massively-Defective General-Purpose Nanoarchitectures. IOLTS 2006: 219-228
	2005
22		Yves Crouzet, Jacques Henri Collet, Jean Arlat: Mitigating Soft Errors to Prevent a Hard Threat to Dependable Computing. IOLTS 2005: 295-298
21		Karama Kanoun, Yves Crouzet, Ali Kalakech, Ana-Elena Rugina, Philippe Rumeau: Benchmarking the Dependability of Windows and Linux Using PostMark Workloads. ISSRE 2005: 11-20
	2004
20		Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat: Benchmarking The Dependability of Windows NT4, 2000 and XP. DSN 2004: 681-686
19		Philippe David, Hélène Waeselynck, Yves Crouzet: Open source software in critical systems: Motivation and challenges. IFIP Congress Topical Sessions 2004: 667-678
18		Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun: Benchmarking Operating System Dependability: Windows 2000 as a Case Study. PRDC 2004: 261-270
	2003
17		Jean Arlat, Yves Crouzet, Johan Karlsson, Peter Folkesson, Emmerich Fuchs, Günther H. Leber: Comparison of Physical and Software-Implemented Fault Injection Techniques. IEEE Trans. Computers 52(9): 1115-1133 (2003)
	2002
16		Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun: Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques. DSN 2002: 331-336
15		Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau: Analysis of the Effects of Real and Injected Software Faults: . PRDC 2002: 51-58
	2001
14		Alberto Arazo, Yves Crouzet: Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. ICECCS 2001: 69-79
	2000
13		Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun: Dependability of Computer Control Systems in Power Plants. SAFECOMP 2000: 165-175
	1999
12		Jin Mo, Yves Crouzet: A Method for Operator Error Detection Based on Plan Recognition. SAFECOMP 1999: 125-138
	1998
11		Jérome Boué, Philippe Pétillon, Yves Crouzet: MEFISTO-L: A VHDL-Based Fault Injection Tool for the Experimental Assessment of Fault Tolerance. FTCS 1998: 168-173
	1995
10		David Powell, Eliane Martins, Jean Arlat, Yves Crouzet: Estimators for Fault Tolerance Coverage Evaluation. IEEE Trans. Computers 44(2): 261-274 (1995)
	1994
9		Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet: On Statistical Structural Testing of Synchronous Data Flow Programs. EDCC 1994: 250-267
	1993
8		David Powell, Eliane Martins, Jean Arlat, Yves Crouzet: Estimators for Fault Tolerance Coverage Evaluation. FTCS 1993: 228-237
7		Jean Arlat, Alain Costes, Yves Crouzet, Jean-Claude Laprie, David Powell: Fault Injection and Dependability Evaluation of Fault-Tolerant Systems. IEEE Trans. Computers 42(8): 913-923 (1993)
	1992
6		Dimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet: Fault Injection for the Formal Testing of Fault Tolerance. FTCS 1992: 345-354
	1991
5		Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet: An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation. FTCS 1991: 410-417
	1990
4		Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell: Fault Injection for Dependability Validation: A Methodology and Some Applications. IEEE Trans. Software Eng. 16(2): 166-182 (1990)
	1989
3		Jean Arlat, Yves Crouzet, Jean-Claude Laprie: Fault injection for dependability validation of fault-tolerant computing systems. FTCS 1989: 348-355
	1980
2		J. Galiay, Yves Crouzet, M. Vergniault: Physical Versus Logical Fault Models MOS LSI Circuits: Impact on Their Testability. IEEE Trans. Computers 29(6): 527-531 (1980)
1		Yves Crouzet, Christian Landrault: Design of Self-Checking MOS-LSI Circuits: Application to a Four-Bit Microprocessor. IEEE Trans. Computers 29(6): 532-537 (1980)

Coauthor Index

1	Martine Aguera	[4]
2	Cláudia Almeida	[13]
3	Louis Amat	[4]
4	Alberto Arazo	[13] [14]
5	Jean Arlat	[3] [4] [6] [7] [8] [10] [15] [16] [17] [18] [20] [22] [24]
6	Jean-Jacques Aubert	[24]
7	Dimiter R. Avresky (D. R. Avresky)	[6]
8	Agnan de Bonneval	[24]
9	Jérome Boué	[11]
10	Patrice Brot	[24]
11	Jacques Henri Collet	[22] [23]
12	Alain Costes	[7]
13	Philippe David	[19]
14	Jean-Charles Fabre	[4]
15	Peter Folkesson	[17]
16	Emmerich Fuchs	[17]
17	J. Galiay	[2]
18	Tahar Jarboui	[15] [16] [18]
19	Ali Kalakech	[18] [20] [21]
20	Karama Kanoun	[13] [15] [16] [18] [20] [21] [25]
21	Johan Karlsson	[17]
22	Christian Landrault	[1]
23	Jean-Claude Laprie	[3] [4] [6] [7]
24	Günther H. Leber	[17]
25	Thomas Marteau	[15]
26	Eliane Martins	[4] [8] [10]
27	Christine Mazuet	[9]
28	Jin Mo	[12]
29	Andrzej Napieralski	[23]
30	Philippe Pétillon	[11]
31	David Powell	[4] [7] [8] [10]
32	Ana-Elena Rugina	[21]
33	Philippe Rumeau	[21]
34	Pascale Thévenod-Fosse	[5] [9]
35	M. Vergniault	[2]
36	Hélène Waeselynck	[5] [19]
37	Anis Youssef	[24]
38	Piotr Zajac	[23]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page