-
1
-
-
78650245906
-
Formal analysis of log files
-
H. Barringer, A. Groce, K. Havelund, and M. Smith, "Formal Analysis of Log Files," J. Aerospace Computing, Information and Comm., vol. 7, no. 11, pp. 365-390, 2010.
-
(2010)
J. Aerospace Computing, Information and Comm
, vol.7
, Issue.11
, pp. 365-390
-
-
Barringer, H.1
Groce, A.2
Havelund, K.3
Smith, M.4
-
2
-
-
84912124459
-
Runtime reflection: Dynamic model-based analysis of component-based distributed embedded systems
-
A. Bauer, M. Leucker, and C. Schallhart, "Runtime Reflection: Dynamic Model-Based Analysis of Component-Based Distributed Embedded Systems," Modellierung von Automotive Systems, 2006.
-
(2006)
Modellierung von Automotive Systems
-
-
Bauer, A.1
Leucker, M.2
Schallhart, C.3
-
3
-
-
51549115650
-
Error containment in the time-triggered system-on-A-chip architecture
-
June
-
R. Obermaisser, H. Kopetz, C. El Salloum, and B. Huber, "Error Containment in the Time-Triggered System-on-a-Chip Architecture," Proc. Int'l Embedded Systems Symp., June 2007.
-
(2007)
Proc. Int'l Embedded Systems Symp
-
-
Obermaisser, R.1
Kopetz, H.2
El Salloum, C.3
Huber, B.4
-
5
-
-
41149177167
-
Measurement- based analysis of networked system availability
-
Springer
-
R.K. Iyer, Z. Kalbarczyk, and M. Kalyanakrishnan, "Measurement- Based Analysis of Networked System Availability," Performance Evaluation: Origins and Directions, pp. 161-199, Springer, 2000.
-
(2000)
Performance Evaluation: Origins and Directions
, pp. 161-199
-
-
Iyer, R.K.1
Kalbarczyk, Z.2
Kalyanakrishnan, M.3
-
6
-
-
0033344278
-
Failure data analysis of a LAN of Windows NT based computers
-
M. Kalyanakrishnam, Z. Kalbarczyk, and R.K. Iyer, "Failure Data Analysis of a LAN of Windows NT Based Computers," Proc. Int'l Symp. Reliable Distributed Systems, pp. 178-187, 1999. (Pubitemid 30520722)
-
(1999)
Proceedings of the IEEE Symposium on Reliable Distributed Systems
, pp. 178-187
-
-
Kalyanakrishnam, M.1
Kalbarczyk, Z.2
Iyer, R.3
-
8
-
-
33847328785
-
Availability assessment of sunos/ solaris unix systems based on syslogd and wtmpx log files: A case study
-
C. Simache and M. Kaâniche, "Availability Assessment of SunOS/ Solaris Unix Systems Based on Syslogd and Wtmpx Log Files: A Case Study," Proc. Pacific Rim Int'l Symp. Dependable Computing, pp. 49-56.
-
Proc. Pacific Rim Int'l Symp. Dependable Computing
, pp. 49-56
-
-
Simache, C.1
Kaâniche, M.2
-
9
-
-
33845589803
-
BlueGene/L failure analysis and prediction models
-
DOI 10.1109/DSN.2006.18, 1633531, Proceedings - DSN 2006: 2006 International Conference on Dependable Systems and Networks
-
Y. Liang, Y. Zhang, A. Sivasubramaniam, M. Jette, and R.K. Sahoo, "Bluegene/L Failure Analysis and Prediction Models," Proc. Int'l Conf. Dependable Systems and Networks, pp. 425-434, 2006. (Pubitemid 44930443)
-
(2006)
Proceedings of the International Conference on Dependable Systems and Networks
, vol.2006
, pp. 425-434
-
-
Liang, Y.1
Zhang, Y.2
Jette, M.3
Sivasubramaniam, A.4
Sahoo, R.5
-
10
-
-
80051915968
-
Improving log-based field failure data analysis of multi-node computing systems
-
A. Pecchia, D. Cotroneo, Z. Kalbarczyk, and R.K. Iyer, "Improving Log-Based Field Failure Data Analysis of Multi-Node Computing Systems," Proc. Int'l Conf. Dependable Systems and Networks, pp. 97-108, 2011.
-
(2011)
Proc. Int'l Conf. Dependable Systems and Networks
, pp. 97-108
-
-
Pecchia, A.1
Cotroneo, D.2
Kalbarczyk, Z.3
Iyer, R.K.4
-
12
-
-
33845593340
-
A large-scale study of failures in high-performance computing systems
-
DOI 10.1109/DSN.2006.5, 1633514, Proceedings - DSN 2006: 2006 International Conference on Dependable Systems and Networks
-
B. Schroeder and G.A. Gibson, "A Large-Scale Study of Failures in High-Performance Computing Systems," Proc. Int'l Conf. Dependable Systems and Networks, pp. 249-258, 2006. (Pubitemid 44930426)
-
(2006)
Proceedings of the International Conference on Dependable Systems and Networks
, vol.2006
, pp. 249-258
-
-
Schroeder, B.1
Gibson, G.A.2
-
13
-
-
12344308304
-
Basic concepts and taxonomy of dependable and secure computing
-
DOI 10.1109/TDSC.2004.2
-
A. Avizienis, J.C. Laprie, B. Randell, and C. Landwehr, "Basic Concepts and Taxonomy of Dependable and Secure Computing," IEEE Trans. Dependable and Secure Computing, vol. 1, no. 1, pp. 11- 33, Jan.-Mar. 2004. (Pubitemid 40134576)
-
(2004)
IEEE Transactions on Dependable and Secure Computing
, vol.1
, Issue.1
, pp. 11-33
-
-
Avizienis, A.1
Laprie, J.-C.2
Randell, B.3
Landwehr, C.4
-
16
-
-
0035682222
-
Measurements-based availability analysis of unix systems in a distributed environment
-
C. Simache and M. Kaâniche, "Measurements-Based Availability Analysis of Unix Systems in a Distributed Environment," Proc. Int'l Symp. Software Reliability Eng., 2001.
-
(2001)
Proc. Int'l Symp. Software Reliability Eng
-
-
Simache, C.1
Kaâniche, M.2
-
17
-
-
77952378080
-
Critical event prediction for proactive management in large-scale computer clusters
-
R.K. Sahoo, A.J. Oliner, I. Rish, M. Gupta, J.E. Moreira, S. Ma, R. Vilalta, and A. Sivasubramaniam, "Critical Event Prediction for Proactive Management in Large-Scale Computer Clusters," Proc. Int'l Conf. Knowledge Discovery and Data Mining, pp. 426-435, 2003.
-
(2003)
Proc. Int'l Conf. Knowledge Discovery and Data Mining
, pp. 426-435
-
-
Sahoo, R.K.1
Oliner, A.J.2
Rish, I.3
Gupta, M.4
Moreira, J.E.5
Ma, S.6
Vilalta, R.7
Sivasubramaniam, A.8
-
18
-
-
72249121870
-
Detecting large-scale system problems by mining console logs
-
W. Xu, L. Huang, A. Fox, D. Patterson, and M.I. Jordan, "Detecting Large-Scale System Problems by Mining Console Logs," Proc. Symp. Operating Systems Principles, 2009.
-
(2009)
Proc. Symp. Operating Systems Principles
-
-
Xu, W.1
Huang, L.2
Fox, A.3
Patterson, D.4
Jordan, M.I.5
-
19
-
-
9144222269
-
Reflections on industry trends and experimental research in dependability
-
Apr.-June
-
D.P. Siewiorek, R. Chillarege, and Z.T. Kalbarczyk, "Reflections on Industry Trends and Experimental Research in Dependability," IEEE Trans. Dependable and Secure Computing, vol. 1, no. 2, pp. 109- 127, Apr.-June 2004.
-
(2004)
IEEE Trans. Dependable and Secure Computing
, vol.1
, Issue.2
, pp. 109-127
-
-
Siewiorek, D.P.1
Chillarege, R.2
Kalbarczyk, Z.T.3
-
22
-
-
77956605580
-
Assessing and improving the effectiveness of logs for the analysis of software faults
-
M. Cinque, D. Cotroneo, R. Natella, and A. Pecchia, "Assessing and Improving the Effectiveness of Logs for the Analysis of Software Faults," Proc. Int'l Conf. Dependable Systems and Networks, pp. 457-466, 2010.
-
(2010)
Proc. Int'l Conf. Dependable Systems and Networks
, pp. 457-466
-
-
Cinque, M.1
Cotroneo, D.2
Natella, R.3
Pecchia, A.4
-
25
-
-
0032257078
-
Meadep: A dependability evaluation tool for engineers
-
Dec
-
D. Tang, M. Hecht, J. Miller, and J. Handal, "Meadep: A Dependability Evaluation Tool for Engineers," IEEE Trans. Reliability, vol. 47, no. 4, pp. 443-450, Dec. 1998.
-
(1998)
IEEE Trans. Reliability
, vol.47
, Issue.4
, pp. 443-450
-
-
Tang, D.1
Hecht, M.2
Miller, J.3
Handal, J.4
-
26
-
-
0030379933
-
Analyze-NOW -An environment for collection & analysis of failures in a network of workstations
-
PII S0018952996095498
-
A. Thakur and R.K. Iyer, "Analyze-Now - An Environment for Collection and Analysis of Failures in a Networked of Workstations," IEEE Trans. Reliability, vol. 45, no. 4, pp. 561-570, Dec. 1996. (Pubitemid 126772664)
-
(1996)
IEEE Transactions on Reliability
, vol.45
, Issue.4
, pp. 561-570
-
-
Thakur, A.1
Lyer, R.K.2
-
28
-
-
51849126454
-
Real-time log file analysis using the simple event correlator (SEC)
-
J.P. Rouillard, "Real-Time Log File Analysis Using the Simple Event Correlator (SEC)," Proc. USENIX Systems Administration Conf., 2004.
-
(2004)
Proc. USENIX Systems Administration Conf
-
-
Rouillard, J.P.1
-
29
-
-
0022906522
-
Recognition of error symptoms in large systems
-
R.K. Iyer, L.T. Young, and V. Sridhar, "Recognition of Error Symptoms in Large Systems," Proc. ACM Fall Joint Computer Conf., pp. 797-806, 1986. (Pubitemid 17537011)
-
(1986)
Proc. ACM Fall Joint Computer Conf.
, pp. 797-806
-
-
Iyer, R.K.1
Young, L.T.2
Sridhar, V.3
-
31
-
-
51749104801
-
Comparing error detection techniques for web applications: An experimental study
-
L.M. Silva, "Comparing Error Detection Techniques for Web Applications: An Experimental Study," Proc. Int'l Symp. Network Computing and Applications, 2008.
-
(2008)
Proc. Int'l Symp. Network Computing and Applications
-
-
Silva, L.M.1
-
33
-
-
84878472607
-
-
Apache log4j, http://logging.apache.org/log4j/, 2012.
-
(2012)
Apache log4j
-
-
-
34
-
-
0002991446
-
Aspect-oriented programming: Introduction
-
Oct
-
T. Elrad, R.E. Filman, and A. Bader, "Aspect-Oriented Programming: Introduction," Comm. ACM, vol. 44, pp. 29-32, Oct. 2001.
-
(2001)
Comm. ACM
, vol.44
, pp. 29-32
-
-
Elrad, T.1
Filman, R.E.2
Bader, A.3
-
35
-
-
85008054329
-
Can aspect-oriented programming lead to more reliable software?
-
Nov./Dec
-
J. Viega and J. Vuas, "Can Aspect-Oriented Programming Lead to More Reliable Software?" IEEE Software, vol. 17, no. 6, pp. 19-21, Nov./Dec. 2000.
-
(2000)
IEEE Software
, vol.17
, Issue.6
, pp. 19-21
-
-
Viega, J.1
Vuas, J.2
-
37
-
-
79953093128
-
Improving software diagnosability via log enhancement
-
D. Yuan, J. Zheng, S. Park, Y. Zhou, and S. Savage, "Improving Software Diagnosability via Log Enhancement," Proc. Int'l Conf. Architectural Support for Programming Languages and Operating Systems, pp. 3-14, 2011.
-
(2011)
Proc. Int'l Conf. Architectural Support for Programming Languages and Operating Systems
, pp. 3-14
-
-
Yuan, D.1
Zheng, J.2
Park, S.3
Zhou, Y.4
Savage, S.5
-
38
-
-
84951811229
-
A graphical representation for identifier structure in logs
-
A. Rabkin, W. Xu, A. Wildani, A. Fox, D. Patterson, and R. Katz, "A Graphical Representation for Identifier Structure in Logs," Proc. Workshop Managing Systems via Log Analysis and Machine Learning Techniques, 2010.
-
(2010)
Proc. Workshop Managing Systems Via Log Analysis and Machine Learning Techniques
-
-
Rabkin, A.1
Xu, W.2
Wildani, A.3
Fox, A.4
Patterson, D.5
Katz, R.6
-
39
-
-
0036930823
-
Pinpoint: Problem determination in large, dynamic internet services
-
M.Y. Chen, E. Kiciman, E. Fratkin, A. Fox, and E. Brewer, "Pinpoint: Problem Determination in Large, Dynamic Internet Services," Proc. Int'l Conf. Dependable Systems and Networks, pp. 595-604, 2002.
-
(2002)
Proc. Int'l Conf. Dependable Systems and Networks
, pp. 595-604
-
-
Chen, M.Y.1
Kiciman, E.2
Fratkin, E.3
Fox, A.4
Brewer, E.5
-
40
-
-
85081497244
-
Exploring recovery from operating system lockups
-
F.M. David, J.C. Carlyle, and R.H. Campbell, "Exploring Recovery from Operating System Lockups," Proc. USENIX Ann. Technical Conf., pp. 1-6, 2007.
-
(2007)
Proc. USENIX Ann. Technical Conf
, pp. 1-6
-
-
David, F.M.1
Carlyle, J.C.2
Campbell, R.H.3
-
41
-
-
36949008996
-
Reliability MicroKernel: Providing application-aware reliability in the OS
-
DOI 10.1109/TR.2007.909758
-
L. Wang, Z. Kalbarczyk, W. Gu, and R.K. Iyer, "Reliability Microkernel: Providing Application-Aware Reliability in the OS," IEEE Trans. Reliability, vol. 56, no. 4, pp. 597-614, Dec. 2007. (Pubitemid 350238632)
-
(2007)
IEEE Transactions on Reliability
, vol.56
, Issue.4
, pp. 597-614
-
-
Wang, L.1
Kalbarczyk, Z.2
Gu, W.3
Iyer, R.K.4
-
42
-
-
0017215219
-
Fault-tolerant software for real-time applications
-
Dec
-
H. Hecht, "Fault-Tolerant Software for Real-Time Applications," ACM Computing Surveys, vol. 8, no. 4, pp. 391-407, Dec. 1976.
-
(1976)
ACM Computing Surveys
, vol.8
, Issue.4
, pp. 391-407
-
-
Hecht, H.1
-
43
-
-
0034590170
-
Executable assertions for detecting data errors in embedded control systems
-
M. Hiller, "Executable Assertions for Detecting Data Errors in Embedded Control Systems," Proc. Int'l Conf. Dependable Systems and Networks, 2000.
-
(2000)
Proc. Int'l Conf. Dependable Systems and Networks
-
-
Hiller, M.1
-
46
-
-
84878473731
-
-
SLOCCount, http://www.dwheeler.com/sloccount/, 2012.
-
(2012)
SLOCCount
-
-
-
48
-
-
33947314499
-
Emulation of software faults: A field data study and a practical approach
-
DOI 10.1109/TSE.2006.113
-
J.A. Duraes and H.S. Madeira, "Emulation of Software Faults: A Field Data Study and a Practical Approach," IEEE Trans. Software Eng., vol. 32, no. 11, pp. 849-867, Nov. 2006. (Pubitemid 46437706)
-
(2006)
IEEE Transactions on Software Engineering
, vol.32
, Issue.11
, pp. 849-867
-
-
Duraes, J.A.1
Madeira, H.S.2
-
49
-
-
84872039034
-
On fault representativeness of software fault injection
-
Jan
-
R. Natella, D. Cotroneo, J.A. Duraes, and H.S. Madeira, "On Fault Representativeness of Software Fault Injection," IEEE Trans. Software Eng., vol. 39, no 1, pp. 80-96, Jan. 2013.
-
(2013)
IEEE Trans. Software Eng
, vol.39
, Issue.1
, pp. 80-96
-
-
Natella, R.1
Cotroneo, D.2
Duraes, J.A.3
Madeira, H.S.4
-
52
-
-
78149295113
-
Data center TCP (DCTCP)
-
M. Alizadeh, A. Greenberg, D.A. Maltz, J. Padhye, P. Patel, B. Prabhakar, S. Sengupta, and M. Sridharan, "Data Center TCP (DCTCP)," Proc. SIGCOMM Computer Comm. Rev., pp. 63-74, 2010.
-
(2010)
Proc. SIGCOMM Computer Comm. Rev
, pp. 63-74
-
-
Alizadeh, M.1
Greenberg, A.2
Maltz, D.A.3
Padhye, J.4
Patel, P.5
Prabhakar, B.6
Sengupta, S.7
Sridharan, M.8
|