Search

Your search keyword '"Laprie, A."' showing total 31 results
Start Over Author "Laprie, A." Journal predictably dependable computing systems
31 results on '"Laprie, A."'

1. Dependability Modelling and Evaluation of Software Fault-Tolerant Systems

Author

Arlat, Jean, Kanoun, Karama, Laprie, Jean-Claude, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

2. Software Reliability Trend Analyses: From Theoretical to Practical Considerations

Author

Kanoun, Karama, Laprie, Jean-Claude, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

3. The Transformation Approach to the Modelling and Evaluation of Reliability and Availability Growth

Author

Laprie, Jean-Claude, Béounes, Christian, Kaâniche, Mohamed, Kanoun, Karama, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

4. Definition and Analysis of Hardware-and-Software Fault-Tolerant Architectures

Author

Laprie, Jean-Claude, Arlat, Jean, Béounes, Christian, Kanoun, Karama, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

5. Dependability — Its Attributes, Impairments and Means

Author

Laprie, Jean-Claude, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

6. Combination of Predictions Obtained from Different Software Reliability Growth Models

Author

Lu, Minyan, Brocklehurst, Sarah, Littlewood, Bev, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

7. Towards Operational Measures of Computer Security: Experimentation and Modelling

Author

Olovsson, Tomas, Jonsson, Erland, Brocklehurst, Sarah, Littlewood, Bev, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

8. Towards Operational Measures of Computer Security: Concepts

Author

Littlewood, Bev, Brocklehurst, Sarah, Fenton, Norman, Mellor, Peter, Page, Stella, Wright, David, Dobson, John, McDermid, John, Gollmann, Dieter, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

9. Validation of Ultra-High Dependability for Software-based Systems

Author

Littlewood, Bev, Strigini, Lorenzo, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

10. Computable Dependability Bounds for Large Markov Chains

Author

Courtois, Pierre-Jacques, Semal, Pierre, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

11. Fast Numerical Solution for a Class of Markov Models

Author

Chakka, Ram, Mitrani, Isi, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

12. Designing Secure and Reliable Applications using Fragmentation-Redundancy-Scattering: an Object-Oriented Approach

Author

Fabre, Jean-Charles, Deswarte, Yves, Randell, Brian, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

13. Dependability Analysis of Iterative Fault-Tolerant Software Considering Correlation

Author

Bondavalli, Andrea, Chiaradonna, Silvano, Di Giandomenico, Felicita, Strigini, Lorenzo, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

14. New Ways to Get Accurate Reliability Measures

Author

Brocklehurst, Sarah, Littlewood, Bev, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

15. Estimators for Fault Tolerance Coverage Evaluation

Author

Powell, David, Martins, Eliane, Arlat, Jean, Crouzet, Yves, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

16. Fault Injection into VHDL Models: The MEFISTO Tool

Author

Jenn, Eric, Arlat, Jean, Rimén, Marcus, Ohlsson, Joakim, Karlsson, Johan, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

17. Testing Distributed Real-Time Systems: An Overview

Author

Schütz, Werner, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

18. Integration and Comparison of Three Physical Fault Injection Techniques

Author

Karlsson, Johan, Folkesson, Peter, Arlat, Jean, Crouzet, Yves, Leber, Günther, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

19. An Experimental Evaluation of Formal Testing and Statistical Testing

Author

Marre, Bruno, Thévenod-Fosse, Pascale, Waeselynck, Hélène, Le Gall, Pascale, Crouzet, Yves, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

20. From Recovery Blocks to Concurrent Atomic Actions

Author

Randell, Brian, Romanovsky, Alexander, Rubira, Cecilia M. F., Stroud, Robert J., Wu, Zhixue, Xu, Jie, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

21. The Time-Triggered Approach to Real-Time System Design

Author

Kopetz, Hermann, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

22. Software Statistical Testing

Author

Thévenod-Fosse, Pascale, Waeselynck, Hélène, Crouzet, Yves, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

23. Advantages and Limits of Formal Approaches for Ultra-High Dependability

Author

Gaudel, Marie-Claude, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

24. Failure Mode Assumptions and Assumption Coverage

Author

Powell, David, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

25. Rational Design of Multiple-Redundant Systems: Adjudication and Fault Treatment

Author

Bondavalli, Andrea, Chiaradonna, Silvano, Di Giandomenico, Felicita, Strigini, Lorenzo, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

26. Software Measurement: A Necessary Scientific Basis

Author

Fenton, Norman Elliott, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

27. The PDCS Implementation of MARS Hardware and Software

Author

Reisinger, Johannes, Steininger, Andreas, Leber, Günther, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

28. Implementing Fault-Tolerant Applications Using Reflective Object-Oriented Programming

Author

Fabre, Jean-Charles, Nicomette, Vincent, Pérennou, Tanguy, Stroud, Robert, Wu, Zhixue, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

29. Analysis of Safety Requirements for Process Control Systems

Author

Anderson, Tom, de Lemos, Rogério, Saeed, Amer, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

30. Dynamic Adjustment of Dependability and Efficiency in Fault-Tolerant Software

Author

Xu, Jie, Bondavalli, Andrea, Di Giandomenico, Felicita, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

31. Real-Time System Scheduling

Author

Audsley, Neil, Burns, Alan, Davis, Rob, Tindell, Ken, Wellings, Andy, European Commission, DG III, Aigrain, P., editor, Aldana, F., editor, Danielmeyer, H. G., editor, Faugeras, O., editor, Gallaire, H., editor, Kowalski, R. A., editor, Lehn, J. M., editor, Levi, G., editor, Metakides, G., editor, Oakley, B., editor, Rasmussen, J., editor, Tribolet, J., editor, Tsichritzis, D., editor, Van Overstraeten, R., editor, Wrixon, G., editor, Randell, Brian, editor, Laprie, Jean-Claude, editor, Kopetz, Hermann, editor, and Littlewood, Bev, editor

Published
1995
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results