-
1
-
-
0029637354
-
The algorithmic analysis of hybrid systems
-
Alur R., Courcoubetis C., Halbwachs N., Henzinger T.A., Ho P.H., Nicollin X. et al. The algorithmic analysis of hybrid systems Theoretical Computer Science 138 1 1995 3 34
-
(1995)
Theoretical Computer Science
, vol.138
, Issue.1
, pp. 3-34
-
-
Alur, R.1
Courcoubetis, C.2
Halbwachs, N.3
Henzinger, T.A.4
Ho, P.H.5
Nicollin, X.6
-
2
-
-
85017364925
-
Stochastic hybrid automaton
-
John Wiley & Sons, Inc. Hoboken, NJ, USA
-
Aubry J.-F., Brînzei N. Stochastic hybrid automaton Systems dependability assessment 2015 John Wiley & Sons, Inc. Hoboken, NJ, USA 10.1002/9781119053996
-
(2015)
Systems Dependability Assessment
-
-
Aubry, J.-F.1
Brînzei, N.2
-
3
-
-
84900008835
-
Modelling a feed-water control system of a steam generator in the framework of the dynamic reliability
-
Taylor & Francis Group Amsterdam, Netherlands ISBN 978-1-138-00123-7
-
Babykina G., Brinzei N., Aubry J.F., Deleuze G. Modelling a feed-water control system of a steam generator in the framework of the dynamic reliability Proceedings of the annual conference of the European safety and reliability association, ESREL 2013 2013 Taylor & Francis Group Amsterdam, Netherlands 3099 3107 ISBN 978-1-138-00123-7
-
(2013)
Proceedings of the Annual Conference of the European Safety and Reliability Association, ESREL 2013
, pp. 3099-3107
-
-
Babykina, G.1
Brinzei, N.2
Aubry, J.F.3
Deleuze, G.4
-
6
-
-
84900000799
-
A simple yet efficient acceleration technique for Monte Carlo simulation
-
Steenbergen 2014 Taylor and Francis Group London ISBN: 978-1-138-00123-7
-
Bouissou M. et al. A simple yet efficient acceleration technique for Monte Carlo simulation Steenbergen Safety, reliability and risk analysis, beyond the horizon 2013 2014 Taylor and Francis Group London ISBN: 978-1-138-00123-7
-
(2013)
Safety, Reliability and Risk Analysis, beyond the Horizon
-
-
Bouissou, M.1
-
10
-
-
84861190001
-
Reliability estimation using a genetic algorithm-based artificial neural network: An application to a load-haul-dump machine
-
Chatterjee S., Bandopadhyay S. Reliability estimation using a genetic algorithm-based artificial neural network: An application to a load-haul-dump machine Expert Systems with Applications 39 12 2012 10943 10951
-
(2012)
Expert Systems with Applications
, vol.39
, Issue.12
, pp. 10943-10951
-
-
Chatterjee, S.1
Bandopadhyay, S.2
-
11
-
-
84866283853
-
A Weibull-based compositional approach for hierarchical dynamic fault trees
-
Chiacchio F., Cacioppo M., D'Urso D., Manno G., Trapani N., Compagno L. A Weibull-based compositional approach for hierarchical dynamic fault trees Reliability Engineering & System Safety 109 2013 45 52
-
(2013)
Reliability Engineering & System Safety
, vol.109
, pp. 45-52
-
-
Chiacchio, F.1
Cacioppo, M.2
D'Urso, D.3
Manno, G.4
Trapani, N.5
Compagno, L.6
-
12
-
-
80052501908
-
Dynamic fault tree resolution: A conscious trade-off between analytical and simulative approaches
-
Chiacchio F., Compagno L., D'Urso D., Manno G., Trapani N. Dynamic fault tree resolution: A conscious trade-off between analytical and simulative approaches Reliability Engineering and System Safety 96 11 2011 1515 1526
-
(2011)
Reliability Engineering and System Safety
, vol.96
, Issue.11
, pp. 1515-1526
-
-
Chiacchio, F.1
Compagno, L.2
D'Urso, D.3
Manno, G.4
Trapani, N.5
-
13
-
-
84949045452
-
Dynamic reliability modeling and assessment with PyCATSHOO: Application to a test case
-
Tokyo, Japan
-
Chraibi H. Dynamic reliability modeling and assessment with PyCATSHOO: Application to a test case Proceedings of PSAM Tokyo, Japan 2013
-
(2013)
Proceedings of PSAM
-
-
Chraibi, H.1
-
14
-
-
84957801459
-
The Mobius modelling tool
-
Clark G., Courtney T., Daly D., Deavours D., Derisavi S., Doyle J.M. et al. The Mobius modelling tool Proceedings 9th International Workshop on Petri Nets and Performance Models, Aachen 2001
-
(2001)
Proceedings 9th International Workshop on Petri Nets and Performance Models, Aachen
-
-
Clark, G.1
Courtney, T.2
Daly, D.3
Deavours, D.4
Derisavi, S.5
Doyle, J.M.6
-
15
-
-
84909631310
-
Approaching dynamic reliability with predictive and diagnostic purposes by exploiting dynamic Bayesian networks
-
Codetta-Raiteri D., Portinale L. Approaching dynamic reliability with predictive and diagnostic purposes by exploiting dynamic Bayesian networks Journal of Risk and Reliability 228 5 2014 488 503
-
(2014)
Journal of Risk and Reliability
, vol.228
, Issue.5
, pp. 488-503
-
-
Codetta-Raiteri, D.1
Portinale, L.2
-
23
-
-
84905564720
-
An algorithmic approach for the dynamic reliability analysis of non-repairable multi-state weighted k-out-of-n: G system
-
Eryilmaza S., Bozbulutb A.R. An algorithmic approach for the dynamic reliability analysis of non-repairable multi-state weighted k-out-of-n: G system Reliability Engineering & System Safety 131 2014 61 65
-
(2014)
Reliability Engineering & System Safety
, vol.131
, pp. 61-65
-
-
Eryilmaza, S.1
Bozbulutb, A.R.2
-
24
-
-
84930622349
-
Fuzzy dynamic reliability models of parallel mechanical systems considering strength degradation path dependence and failure dependence
-
Article ID 649726
-
Gao P., Xie L. Fuzzy dynamic reliability models of parallel mechanical systems considering strength degradation path dependence and failure dependence Mathematical Problems in Engineering, Hindawi Publishing Corporation (2015), 2015 10.1155/2015/649726 Article ID 649726
-
(2015)
Mathematical Problems in Engineering, Hindawi Publishing Corporation
, vol.2015
-
-
Gao, P.1
Xie, L.2
-
25
-
-
79959969181
-
Subjective operational reliability assessment of maritime transportation system
-
Gaonkar R.S., Min X., Ming N.K., Habibullah M.S. Subjective operational reliability assessment of maritime transportation system Expert Systems with Applications 38 11 2011 13835 13846
-
(2011)
Expert Systems with Applications
, vol.38
, Issue.11
, pp. 13835-13846
-
-
Gaonkar, R.S.1
Min, X.2
Ming, N.K.3
Habibullah, M.S.4
-
26
-
-
84885958689
-
An approach for analyzing the reliability of industrial systems using soft-computing based technique
-
Garg H., Ranib M., Sharma S.P. An approach for analyzing the reliability of industrial systems using soft-computing based technique Expert Systems with Applications 41 2 2014 489 501
-
(2014)
Expert Systems with Applications
, vol.41
, Issue.2
, pp. 489-501
-
-
Garg, H.1
Ranib, M.2
Sharma, S.P.3
-
27
-
-
84943608512
-
Computational modeling of the expansion of human cord blood CD133+ hematopoietic stem/progenitor cells with different cytokine combinations
-
Gullo F., van der Garde M., Russo G., Pennisi M., Motta S., Pappalardo F. et al. Computational modeling of the expansion of human cord blood CD133+ hematopoietic stem/progenitor cells with different cytokine combinations Bioinformatics 2015 10.1093/bioinformatics/btv172
-
(2015)
Bioinformatics
-
-
Gullo, F.1
Van Der Garde, M.2
Russo, G.3
Pennisi, M.4
Motta, S.5
Pappalardo, F.6
-
28
-
-
80052849404
-
Modeling the evolution of system reliability performance under alternative environments
-
Hawkes A.G., Cui L.R., Zheng Z.H. Modeling the evolution of system reliability performance under alternative environments IIE Transactions 43 2011 761 772
-
(2011)
IIE Transactions
, vol.43
, pp. 761-772
-
-
Hawkes, A.G.1
Cui, L.R.2
Zheng, Z.H.3
-
30
-
-
84974691366
-
Towards a theory of stochastic hybrid systems
-
Lecture Notes in Computer Science, 1790, Berlin, Heidelberg: Springer
-
Hu J., Lygeros J., Sastry S. Towards a theory of stochastic hybrid systems Hybrid systems: computation and control 2000 Lecture Notes in Computer Science, 1790, Berlin, Heidelberg: Springer 160 173
-
(2000)
Hybrid Systems: Computation and Control
, pp. 160-173
-
-
Hu, J.1
Lygeros, J.2
Sastry, S.3
-
31
-
-
84949045454
-
Complex ship systems modelling and simulation
-
DNV Research and Innovation, Position Paper 11.
-
Kakalis, N.M. P., Dimopoulos, G.G., & Ovrum, E. (2011). DNV COSSMOS: Complex ship systems modelling and simulation, DNV Research and Innovation, Position Paper 11.
-
(2011)
DNV COSSMOS
-
-
Kakalis, N.M.P.1
Dimopoulos, G.G.2
Ovrum, E.3
-
33
-
-
0030295836
-
Probabilistic dynamics: Estimation of generalized unreliability through efficient Monte Carlo simulation
-
Labeau P.E. Probabilistic dynamics: Estimation of generalized unreliability through efficient Monte Carlo simulation Annals of Nuclear Energy 23 17 1996 1355 1369
-
(1996)
Annals of Nuclear Energy
, vol.23
, Issue.17
, pp. 1355-1369
-
-
Labeau, P.E.1
-
34
-
-
84934311717
-
A hybrid model for learning from failures: The Hurricane Katrina disaster
-
Labib A., Read M. A hybrid model for learning from failures: The Hurricane Katrina disaster Expert Systems with Applications 42 21 2015 7869 7881
-
(2015)
Expert Systems with Applications
, vol.42
, Issue.21
, pp. 7869-7881
-
-
Labib, A.1
Read, M.2
-
36
-
-
84892372334
-
Risk analysis using FMEA: Fuzzy similarity value and possibility theory based approach
-
Mandal S., Maiti J. Risk analysis using FMEA: Fuzzy similarity value and possibility theory based approach Expert Systems with Applications 41 7 2014 3527 3537
-
(2014)
Expert Systems with Applications
, vol.41
, Issue.7
, pp. 3527-3537
-
-
Mandal, S.1
Maiti, J.2
-
37
-
-
84958968236
-
Hybrid-pair modelling in dynamic reliability: Concepts, tool implementation and applications
-
London Taylor & Francis Group ISBN-978-1-138-02879-1
-
Manno G., Zymaris A.S., Chiacchio F., Compagno L., D'Urso D. Hybrid-pair modelling in dynamic reliability: Concepts, tool implementation and applications Safety and Reliability of Complex Engineered Systems: ESREL 2015 London 2015 Taylor & Francis Group ISBN-978-1-138-02879-1
-
(2015)
Safety and Reliability of Complex Engineered Systems: ESREL 2015
-
-
Manno, G.1
Zymaris, A.S.2
Chiacchio, F.3
Compagno, L.4
D'Urso, D.5
-
38
-
-
84885344269
-
Conception of repairable dynamic fault trees and resolution by the use of RAATSS, a Matlab® toolbox based on the ATS formalism
-
Manno G., Chiacchio F., D'Urso D., Trapani N., Compagno L. Conception of repairable dynamic fault trees and resolution by the use of RAATSS, a Matlab® toolbox based on the ATS formalism Reliability Engineering and System Safety 121 2014 250 262
-
(2014)
Reliability Engineering and System Safety
, vol.121
, pp. 250-262
-
-
Manno, G.1
Chiacchio, F.2
D'Urso, D.3
Trapani, N.4
Compagno, L.5
-
39
-
-
84900013114
-
Dynamic reliability of three nonlinear aging components with different failure modes characteristics
-
Steenbergen Taylor and Francis Group London ISBN: 978-1-138-00123-7
-
Manno G., Zymaris A., Kakalis N.P., Chiacchio F., Cipollone F.E., Compagno L. et al. Dynamic reliability of three nonlinear aging components with different failure modes characteristics Steenbergen Proceedings of Safety, Reliability and Risk Analysis, Beyond the Horizon 2014 Taylor and Francis Group London ISBN: 978-1-138-00123-7
-
(2014)
Proceedings of Safety, Reliability and Risk Analysis, beyond the Horizon
-
-
Manno, G.1
Zymaris, A.2
Kakalis, N.P.3
Chiacchio, F.4
Cipollone, F.E.5
Compagno, L.6
-
41
-
-
84861183705
-
MatCarloRe: An integrated FT and Monte Carlo Simulink tool for the reliability assessment of dynamic fault tree
-
Manno G., Chiacchio F., D'Urso D., Trapani N., Compagno L. MatCarloRe: An integrated FT and Monte Carlo Simulink tool for the reliability assessment of dynamic fault tree Expert Systems with Applications 39 12 2012 10334 10342
-
(2012)
Expert Systems with Applications
, vol.39
, Issue.12
, pp. 10334-10342
-
-
Manno, G.1
Chiacchio, F.2
D'Urso, D.3
Trapani, N.4
Compagno, L.5
-
45
-
-
77949272703
-
Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events
-
Merle G., Roussel J.-M., Lesage J., Bobbio A. Probabilistic algebraic analysis of fault trees with priority dynamic gates and repeated events IEEE Transaction on Reliability 59 1 2010 250 261
-
(2010)
IEEE Transaction on Reliability
, vol.59
, Issue.1
, pp. 250-261
-
-
Merle, G.1
Roussel, J.-M.2
Lesage, J.3
Bobbio, A.4
-
47
-
-
79951724884
-
Engineering failure analysis and design optimisation with HiP-HOPS
-
Papadopoulos Y., Walker M., Parker D., Rüde E., Hamann R., Uhlig A. et al. Engineering failure analysis and design optimisation with HiP-HOPS Engineering Failure Analysis 18 2 2011 590 608
-
(2011)
Engineering Failure Analysis
, vol.18
, Issue.2
, pp. 590-608
-
-
Papadopoulos, Y.1
Walker, M.2
Parker, D.3
Rüde, E.4
Hamann, R.5
Uhlig, A.6
-
48
-
-
84874611004
-
Cancer vaccines: State of the art of the computational modeling approaches
-
ID 106407
-
Pappalardo F., Chiacchio F., Motta S. Cancer vaccines: State of the art of the computational modeling approaches BioMed Research International, 2013 10.1155/2013/106407 ID 106407
-
(2013)
BioMed Research International
-
-
Pappalardo, F.1
Chiacchio, F.2
Motta, S.3
-
49
-
-
84905842861
-
Risk assessment model of mining equipment failure based on fuzzy logic
-
Petrović D.V., Tanasijević M., Milić V., Lilić N., Stojadinović S., Svrkota I. Risk assessment model of mining equipment failure based on fuzzy logic Expert Systems with Applications 41 18 2014 8157 8164
-
(2014)
Expert Systems with Applications
, vol.41
, Issue.18
, pp. 8157-8164
-
-
Petrović, D.V.1
Tanasijević, M.2
Milić, V.3
Lilić, N.4
Stojadinović, S.5
Svrkota, I.6
-
50
-
-
10644279458
-
Life data analysis
-
Second Edition John Wiley & Sons, Inc. Hoboken, NJ, USA
-
Rausand M., Høyland A. Life data analysis System reliability theory: models, statistical methods, and applications Second Edition 1994 John Wiley & Sons, Inc. Hoboken, NJ, USA 10.1002/9780470316900.ch11
-
(1994)
System Reliability Theory: Models, Statistical Methods, and Applications
-
-
Rausand, M.1
Høyland, A.2
-
52
-
-
84949045459
-
-
(accessed 2015).
-
SATODEV, GRIF-Workshop (2015). Available from: http://grif-workshop.com/ (accessed 2015).
-
(2015)
GRIF-Workshop
-
-
Satodev1
-
53
-
-
68049144640
-
Reliability analysis of discrete event dynamic systems with Petri nets
-
Sadou N., Demmou H. Reliability analysis of discrete event dynamic systems with Petri nets Reliability Engineering & System Safety 94 11 2009 1848 1861
-
(2009)
Reliability Engineering & System Safety
, vol.94
, Issue.11
, pp. 1848-1861
-
-
Sadou, N.1
Demmou, H.2
-
54
-
-
84939954581
-
Fault Tree Analysis of chemical cargo contamination by using fuzzy approach
-
Senol Y.E., Aydogdu Y.V., Sahin B., Kilic I. Fault Tree Analysis of chemical cargo contamination by using fuzzy approach Expert Systems with Applications 42 12 2015 5232 5244
-
(2015)
Expert Systems with Applications
, vol.42
, Issue.12
, pp. 5232-5244
-
-
Senol, Y.E.1
Aydogdu, Y.V.2
Sahin, B.3
Kilic, I.4
-
56
-
-
0028197894
-
Risk assessment for dynamic systems: An overview
-
Siu N. Risk assessment for dynamic systems: An overview Reliability Engineering and System Safety 43 1 1994 43 73
-
(1994)
Reliability Engineering and System Safety
, vol.43
, Issue.1
, pp. 43-73
-
-
Siu, N.1
-
58
-
-
39749181828
-
OpenSESAME - The simple but extensive, structured availability modeling environment
-
Walter M., Siegl M., Bode A. OpenSESAME - the simple but extensive, structured availability modeling environment Reliability Engineering and System Safety 93 6 2008 857 873
-
(2008)
Reliability Engineering and System Safety
, vol.93
, Issue.6
, pp. 857-873
-
-
Walter, M.1
Siegl, M.2
Bode, A.3
-
59
-
-
84888289108
-
Probabilistic risk assessment of tunneling-induced damage to existing properties
-
Wang F., Ding L.Y., Luo H.B., Love P.E. D. Probabilistic risk assessment of tunneling-induced damage to existing properties Expert Systems with Applications 41 4 2014 951 961
-
(2014)
Expert Systems with Applications
, vol.41
, Issue.4
, pp. 951-961
-
-
Wang, F.1
Ding, L.Y.2
Luo, H.B.3
Love, P.E.D.4
-
61
-
-
77950959955
-
The development and application of dynamic operational risk assessment in oil/gas and chemical process industry
-
Yang X., Mannan M.S. The development and application of dynamic operational risk assessment in oil/gas and chemical process industry Reliability Engineering and System Safety 95 2010 806 815
-
(2010)
Reliability Engineering and System Safety
, vol.95
, pp. 806-815
-
-
Yang, X.1
Mannan, M.S.2
-
64
-
-
84990357514
-
Piecewise deterministic Markov processes and dynamic reliability
-
Zhang H., Gonzales K., Dufour F., Dutuit Y. Piecewise deterministic Markov processes and dynamic reliability Proceedings of the Institution of Mechanical Engineers 222 4 2008 545 551
-
(2008)
Proceedings of the Institution of Mechanical Engineers
, vol.222
, Issue.4
, pp. 545-551
-
-
Zhang, H.1
Gonzales, K.2
Dufour, F.3
Dutuit, Y.4
|