The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jean Arlat: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Arnaud Albinet, Jean Arlat, Jean-Charles Fabre
    Characterization of the Impact of Faulty Drivers on the Robustness of the Linux Kernel. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:867-876 [Conf]
  2. Ali Kalakech, Karama Kanoun, Yves Crouzet, Jean Arlat
    Benchmarking The Dependability of Windows NT4, 2000 and XP. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:681-686 [Conf]
  3. Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun
    Experimental Analysis of the Errors Induced into Linux by Three Fault Injection Techniques. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:331-336 [Conf]
  4. Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
    Building SWIFI Tools from Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    DSN, 2003, pp:95-104 [Conf]
  5. Manuel Rodríguez, Arnaud Albinet, Jean Arlat
    MAFALDA-RT: A Tool for Dependability Assassment of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:267-272 [Conf]
  6. David Powell, Michel Cukier, Jean Arlat
    On Stratified Sampling for High Coverage Estimations. [Citation Graph (0, 0)][DBLP]
    EDCC, 1996, pp:37-54 [Conf]
  7. Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
    Wrapping Real-Time Systems from Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    EDCC, 2002, pp:253-270 [Conf]
  8. Manuel Rodríguez, Frédéric Salles, Jean-Charles Fabre, Jean Arlat
    MAFALDA: Microkernel Assessment by Fault Injection and Design Aid. [Citation Graph (0, 0)][DBLP]
    EDCC, 1999, pp:143-160 [Conf]
  9. Jean Arlat, Nobuyasu Kanekawa, Arturo M. Amendola, Jean-Luis Dufour, Yuji Hirao, Joseph A. Profeta III
    Dependability of Railway Control Systems. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:150-155 [Conf]
  10. Dimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet
    Fault Injection for the Formal Testing of Fault Tolerance. [Citation Graph (0, 0)][DBLP]
    FTCS, 1992, pp:345-354 [Conf]
  11. C. Béoumes, Karama Kanoun, Martine Aguera, Jean-Claude Laprie, Jean Arlat, Sylvain Metge, S. Bachmann, Jorge Moreira de Souza, C. Bourdeau, David Powell, J.-E. Doucet, P. Spiesser
    SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems. [Citation Graph (0, 0)][DBLP]
    FTCS, 1993, pp:668-673 [Conf]
  12. Eric Jenn, Jean Arlat, Marcus Rimén, Joakim Ohlsson, Johan Karlsson
    Fault Injection into VHDL Models: The MEFISTO Tool. [Citation Graph (0, 0)][DBLP]
    FTCS, 1994, pp:66-75 [Conf]
  13. David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
    Estimators for Fault Tolerance Coverage Evaluation. [Citation Graph (0, 0)][DBLP]
    FTCS, 1993, pp:228-237 [Conf]
  14. Frédéric Salles, Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
    MetaKernels and Fault Containment Wrappers. [Citation Graph (0, 0)][DBLP]
    FTCS, 1999, pp:22-29 [Conf]
  15. Tullio Vardanega, P. David, J.-F. Chane, W. Mader, R. Messaros, Jean Arlat
    On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection. [Citation Graph (0, 0)][DBLP]
    FTCS, 1995, pp:510-515 [Conf]
  16. D. Essame, Jean Arlat, David Powell
    Available fail-safe systems. [Citation Graph (0, 0)][DBLP]
    FTDCS, 1997, pp:176-182 [Conf]
  17. Frédéric Salles, Jean Arlat, Jean-Charles Fabre
    Can we rely on COTS microkernels for building fault-tolerant systems? [Citation Graph (0, 0)][DBLP]
    FTDCS, 1997, pp:189-195 [Conf]
  18. Eric Marsden, Nicolas Perrot, Jean-Charles Fabre, Jean Arlat
    Dependability Characterization of Middleware Services. [Citation Graph (0, 0)][DBLP]
    DIPES, 2002, pp:121-130 [Conf]
  19. Yves Crouzet, Jacques Collet, Jean Arlat
    Mitigating Soft Errors to Prevent a Hard Threat to Dependable Computing. [Citation Graph (0, 0)][DBLP]
    IOLTS, 2005, pp:295-298 [Conf]
  20. Jean Arlat
    From Experimental Assessment of Fault-Tolerant Systems to Dependability Benchmarking. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2002, pp:- [Conf]
  21. Jean-Charles Fabre, Manuel Rodríguez, Jean Arlat, J.-M. Sizun
    Building dependable COTS microkernel-based systems using MAFALDA. [Citation Graph (0, 0)][DBLP]
    PRDC, 2000, pp:85-94 [Conf]
  22. Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun, Thomas Marteau
    Analysis of the Effects of Real and Injected Software Faults: . [Citation Graph (0, 0)][DBLP]
    PRDC, 2002, pp:51-58 [Conf]
  23. Ali Kalakech, Tahar Jarboui, Jean Arlat, Yves Crouzet, Karama Kanoun
    Benchmarking Operating System Dependability: Windows 2000 as a Case Study. [Citation Graph (0, 0)][DBLP]
    PRDC, 2004, pp:261-270 [Conf]
  24. Mohamed Kaâniche, Yannick Le Guédart, Jean Arlat, Thierry Boyer
    An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2001, pp:130-144 [Conf]
  25. Eric Marsden, Jean-Charles Fabre, Jean Arlat
    Dependability of CORBA Systems: Service Characterization by Fault Injection. [Citation Graph (0, 0)][DBLP]
    SRDS, 2002, pp:276-285 [Conf]
  26. Jean-Claude Laprie, Jean Arlat, Christian Béounes, Karama Kanoun
    Definition and Analysis of Hardware- and Software-Fault-Tolerant Architectures. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1990, v:23, n:7, pp:39-51 [Journal]
  27. Jean Arlat, William C. Carter
    Implementation and Evaluation of a (b, k)-Adjacent Error-Correcting/Detecting Scheme for Supercomputer Systems. [Citation Graph (0, 0)][DBLP]
    IBM Journal of Research and Development, 1984, v:28, n:2, pp:159-169 [Journal]
  28. Jean Arlat, Alain Costes, Yves Crouzet, Jean-Claude Laprie, David Powell
    Fault Injection and Dependability Evaluation of Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1993, v:42, n:8, pp:913-923 [Journal]
  29. Jean Arlat, Yves Crouzet, Johan Karlsson, Peter Folkesson, Emmerich Fuchs, Günther H. Leber
    Comparison of Physical and Software-Implemented Fault Injection Techniques. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2003, v:52, n:9, pp:1115-1133 [Journal]
  30. Jean Arlat, Jean-Charles Fabre, Manuel Rodríguez, Frédéric Salles
    Dependability of COTS Microkernel-Based Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2002, v:51, n:2, pp:138-163 [Journal]
  31. Jean Arlat, Karama Kanoun, Jean-Claude Laprie
    Dependability Modeling and Evaluation of Software Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1990, v:39, n:4, pp:504-513 [Journal]
  32. Michel Cukier, David Powell, Jean Arlat
    Coverage Estimation Methods for Stratified Fault Injection. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1999, v:48, n:7, pp:707-723 [Journal]
  33. David Powell, Eliane Martins, Jean Arlat, Yves Crouzet
    Estimators for Fault Tolerance Coverage Evaluation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1995, v:44, n:2, pp:261-274 [Journal]
  34. Jean Arlat, Andrea Bondavalli, Boudewijn R. Haverkort, Paulo Veríssimo
    Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Dependable Sec. Comput., 2006, v:3, n:3, pp:169-171 [Journal]
  35. David Powell, Jean Arlat, Ljerka Beus-Dukic, Andrea Bondavalli, P. Coppola, Alessandro Fantechi, Eric Jenn, Christophe Rabéjac, Andy J. Wellings
    GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1999, v:10, n:6, pp:580-599 [Journal]
  36. 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. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:2, pp:166-182 [Journal]
  37. Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat
    Empaquetâches de tolérance aux fautes pour les systèmes temps réel. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2004, v:23, n:4, pp:479-514 [Journal]
  38. Jean Arlat, Ravishankar K. Iyer, Michael Nicolaidis
    Workshop on Dependable and Secure Nanocomputing. [Citation Graph (0, 0)][DBLP]
    DSN, 2007, pp:809-810 [Conf]
  39. Jean Arlat
    Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing? [Citation Graph (0, 0)][DBLP]
    LADC, 2007, pp:3-6 [Conf]

  40. Second workshop on dependable and secure nanocomputing. [Citation Graph (, )][DBLP]


  41. Third workshop on dependable and secure nanocomputing. [Citation Graph (, )][DBLP]


  42. Communication Integrity in Networks for Critical Control Systems. [Citation Graph (, )][DBLP]


  43. Safety and Security Architectures for Avionics. [Citation Graph (, )][DBLP]


  44. Formal Specification for Building Robust Real-time Microkernels. [Citation Graph (, )][DBLP]


Search in 0.020secs, Finished in 0.022secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002