![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Yves Crouzet
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [c21]Amira Zammali, Agnan de Bonneval, Yves Crouzet:
A Diversity-Based Approach for Communication Integrity in Critical Embedded Systems. HASE 2015: 215-222 - 2014
- [c20]Amira Zammali, Agnan de Bonneval, Yves Crouzet:
A Multi-function Error Detection Policy to Enhance Communication Integrity in Critical Embedded Systems. SERE (Companion) 2014: 19-24 - 2012
- [j10]Yves Crouzet, Karama Kanoun:
System Dependability: Characterization and Benchmarking. Adv. Comput. 84: 93-139 (2012)
2000 – 2009
- 2006
- [c19]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 - [c18]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
- [c17]Yves Crouzet, Jacques Henri Collet, Jean Arlat:
Mitigating Soft Errors to Prevent a Hard Threat to Dependable Computing. IOLTS 2005: 295-298 - [c16]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
- [c15]Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat:
Benchmarking The Dependability of Windows NT4, 2000 and XP. DSN 2004: 681-686 - [c14]Philippe David, Hélène Waeselynck, Yves Crouzet:
Open source software in critical systems: Motivation and challenges. IFIP Congress Topical Sessions 2004: 667-677 - [c13]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
- [j9]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
- [c12]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 - [c11]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
- [c10]Alberto Arazo, Yves Crouzet:
Formal Guides for Experimentally Verifying Complex Software-Implemented Fault Tolerance Mechanisms. ICECCS 2001: 69-79 - 2000
- [c9]Cláudia Almeida, Alberto Arazo, Yves Crouzet, Karama Kanoun:
Dependability of Computer Control Systems in Power Plants. SAFECOMP 2000: 165-175
1990 – 1999
- 1999
- [j8]Jean Arlat, Jérome Boué, Yves Crouzet:
Validation-based development of dependable systems. IEEE Micro 19(4): 66-79 (1999) - [c8]Jin Mo, Yves Crouzet:
A Method for Operator Error Detection Based on Plan Recognition. SAFECOMP 1999: 125-138 - 1998
- [c7]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 - 1996
- [j7]Dimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet:
Fault injection for formal testing of fault tolerance. IEEE Trans. Reliab. 45(3): 443-455 (1996) - [c6]Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet:
Defining the Unit Testing Level of Synchronous Data Flow Programs. SAFECOMP 1996: 115-125 - 1995
- [j6]David Powell, Eliane Martins, Jean Arlat, Yves Crouzet:
Estimators for Fault Tolerance Coverage Evaluation. IEEE Trans. Computers 44(2): 261-274 (1995) - 1994
- [c5]Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet:
On Statistical Structural Testing of Synchronous Data Flow Programs. EDCC 1994: 250-267 - 1993
- [j5]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) - [c4]David Powell, Eliane Martins, Jean Arlat, Yves Crouzet:
Estimators for Fault Tolerance Coverage Evaluation. FTCS 1993: 228-237 - 1992
- [c3]Dimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet:
Fault Injection for the Formal Testing of Fault Tolerance. FTCS 1992: 345-354 - 1991
- [c2]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
- [j4]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)
1980 – 1989
- 1989
- [c1]Jean Arlat, Yves Crouzet, Jean-Claude Laprie:
Fault injection for dependability validation of fault-tolerant computing systems. FTCS 1989: 348-355 - 1986
- [j3]Yves Crouzet, Jacques Chavade:
A 6800 coprocessor for error detection in microcomputers: The PAD. Proc. IEEE 74(5): 723-731 (1986) - 1980
- [j2]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) - [j1]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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-25 19:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint