-
1
-
-
0003070235
-
The algorithmic analysis of hybrid systems
-
Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J. & Yovine, S. 1995. The algorithmic analysis of hybrid systems. In Proceedings of the 11th International Conference on Analysis and Optimization of Discrete Event Systems: 331-351.
-
(1995)
th International Conference on Analysis and Optimization of Discrete Event Systems
, pp. 331-351
-
-
Alur, R.1
Courcoubetis, C.2
Halbwachs, N.3
Henzinger, T.A.4
Ho, P.H.5
Nicollin, X.6
Olivero, A.7
Sifakis, J.8
Yovine, S.9
-
2
-
-
84873123240
-
Comparison of two Monte Carlo schemes for simulating piecewise deterministic markov processes
-
Bouissou, M. 2007. Comparison of two Monte Carlo schemes for simulating Piecewise Deterministic Markov Processes. Proceedings of MMR.
-
(2007)
Proceedings of MMR
-
-
Bouissou, M.1
-
3
-
-
84873132812
-
Critical comparison of two user friendly tools to study piecewise deterministic Markov processes (PDMP)
-
Bouissou, M. & Jankovic, M. 2012. Critical comparison of two user friendly tools to study Piecewise Deterministic Markov Processes (PDMP). Proceedings of ESREL&PSAM.
-
(2012)
Proceedings of ESREL&PSAM
-
-
Bouissou, M.1
Jankovic, M.2
-
4
-
-
0032667545
-
Discrete-event simulation of fluid stochastic Petri nets
-
Ciardo, G., Nicol, D.M. & Trivedi, K.S. 1999. Discrete-Event Simulation of Fluid Stochastic Petri Nets. Software Engineering, IEEE Transactions on 25(2): 207-217.
-
(1999)
Software Engineering, IEEE Transactions on
, vol.25
, Issue.2
, pp. 207-217
-
-
Ciardo, G.1
Nicol, D.M.2
Trivedi, K.S.3
-
5
-
-
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. 2011. Dynamic fault tree resolution: A conscious trade-off between analytical and simulative approaches, Reliability Engineering and System Safety 96(11): 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
-
6
-
-
84866283853
-
A weibull-based compositional approach for hierarchical dynamic fault trees
-
Chiacchio, F., Cacippo, M., D'Urso, D., Manno, G., Trapani, N. & Compagno, L. 2013. A Weibull-based compositional approach for hierarchical dynamic fault trees. Reliability Engineering and System Safety 109: 45-52.
-
(2013)
Reliability Engineering and System Safety
, vol.109
, pp. 45-52
-
-
Chiacchio, F.1
Cacippo, M.2
D'Urso, D.3
Manno, G.4
Trapani, N.5
Compagno, L.6
-
8
-
-
33745886208
-
A finite volume scheme for dynamic reliability models
-
Cocozza-Thivent, C., Eymard, R. & Mercier, S. 2006. A finite volume scheme for dynamic reliability models. IMA Journal of Numerical Analysis 26(3): 446-471.
-
(2006)
IMA Journal of Numerical Analysis
, vol.26
, Issue.3
, pp. 446-471
-
-
Cocozza-Thivent, C.1
Eymard, R.2
Mercier, S.3
-
11
-
-
44349124471
-
An integrated methodology for the dynamic performance and reliability evaluation of fault-tolerant systems
-
Dominguez-Garcia, A.D., Kassakian, J.G., Schindall, J.E. & Zinchuk, J.J. 2008. An integrated methodology for the dynamic performance and reliability evaluation of fault-tolerant systems. Reliability Eng. and System Safety 93: 1628-1649.
-
(2008)
Reliability Eng. and System Safety
, vol.93
, pp. 1628-1649
-
-
Dominguez-Garcia, A.D.1
Kassakian, J.G.2
Schindall, J.E.3
Zinchuk, J.J.4
-
12
-
-
34548614255
-
Comparison of numerical methods for the assessment of production availability of a hybrid system
-
Eymard, R. & Mercier, S. 2006. Comparison of numerical methods for the assessment of production availability of a hybrid system. Reliability Engineering & System Safety 93: 168-177.
-
(2006)
Reliability Engineering & System Safety
, vol.93
, pp. 168-177
-
-
Eymard, R.1
Mercier, S.2
-
16
-
-
0030295836
-
Probabilistic dynamics: Estimation of generalized unreliability through efficient Monte-Carlo simulation
-
Labeau, P.E. 1996a. Probabilistic Dynamics: Estimation of generalized unreliability through efficient Monte-Carlo simulation. Ann. Nucl. Energy 23(17): 1355-1369.
-
(1996)
Ann. Nucl. Energy
, vol.23
, Issue.17
, pp. 1355-1369
-
-
Labeau, P.E.1
-
17
-
-
0030121158
-
A Monte-Carlo estimation of the marginal distributions in a problem of probabilistic dynamics
-
Labeau, P.E. 1996b. A Monte-Carlo estimation of the marginal distributions in a problem of probabilistic dynamics. Reliability Eng. and System Safety 52: 65-75.
-
(1996)
Reliability Eng. and System Safety
, vol.52
, pp. 65-75
-
-
Labeau, P.E.1
-
18
-
-
80051951746
-
Piecewise deterministic Markov processes and maintenance modelling: Application to maintenance of a train air conditioning system
-
Lair, W., Mercier S., Roussignol M., & Ziani R. 2011. Piecewise Deterministic Markov Processes and maintenance modelling: Application to maintenance of a train air conditioning system. Proceedings of the institution of Mechanical Engineers, Part O: Journal of Risk and Reliability 225(2): 199-209.
-
(2011)
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability
, vol.225
, Issue.2
, pp. 199-209
-
-
Mercier, S.1
Roussignol, M.2
Ziani, R.3
Lair, W.4
-
20
-
-
0021197357
-
Monte Carlo simulation of Markov unreliability models
-
Lewis, E.E. & Böhm, F. 1984. Monte carlo simulation of Markov unreliability models. Nuclear Eng. And Design 77: 49-62.
-
(1984)
Nuclear Eng. and Design
, vol.77
, pp. 49-62
-
-
Lewis, E.E.1
Böhm, F.2
-
21
-
-
84861183705
-
MatCarloRe: An integrated ft and Monte Carlo simulink tool for the reliability assessment of dynamic fault tree
-
Manno, G., Chiacchio, F., Compagno, L., D'Urso, D. & Trapani, N. 2012a. MatCarloRe: An integrated FT and Monte Carlo Simulink tool for the reliability assessment of dynamic fault tree. Expert Systems with Applications 39(12): 10334-10342.
-
(2012)
Expert Systems with Applications
, vol.39
, Issue.12
, pp. 10334-10342
-
-
Manno, G.1
Chiacchio, F.2
Compagno, L.3
D'Urso, D.4
Trapani, N.5
-
22
-
-
84899998595
-
Next generation reliability framework for ship machinery systems
-
Manno, G. 2012b. Next Generation Reliability Framework for Ship Machinery Systems. DNV Internal Report: 2012-1694.
-
(2012)
DNV Internal Report: 2012-1694
-
-
Manno, G.1
-
23
-
-
84873192800
-
RAATSS, an extensible matlab® tool for the evaluation of repairable dynamic fault trees
-
Manno, G., Chiacchio, F., Compagno, L., D'Urso, D. & Trapani, N. 2012. RAATSS, an extensible Matlab® tool for the evaluation of repairable dynamic fault trees. Proceeding of ESREL&PSAM.
-
(2012)
Proceeding of ESREL&PSAM
-
-
Manno, G.1
Chiacchio, F.2
Compagno, L.3
D'Urso, D.4
Trapani, N.5
-
24
-
-
0003652825
-
-
J. Wiley
-
Marsan, M.A., Balbo, G., Conte, G. & Donatelli, S. 1995. Modelling with Generalized Stochastic Petri Nets. J. Wiley.
-
(1995)
Modelling with Generalized Stochastic Petri Nets
-
-
Marsan, M.A.1
Balbo, G.2
Conte, G.3
Donatelli, S.4
-
25
-
-
0343453847
-
A concept paper on dynamic reliability via Monte Carlo simulation
-
Marseguerra, M., Zio, E., Devooght, J. & Labeau, P.E. 1998. A concept paper on dynamic reliability via Monte Carlo simulation. Mathematics and Computers in Simulation 47: 371-382.
-
(1998)
Mathematics and Computers in Simulation
, vol.47
, pp. 371-382
-
-
Marseguerra, M.1
Zio, E.2
Devooght, J.3
Labeau, P.E.4
-
27
-
-
0028197894
-
Risk assessment for dynamic systems: An overview
-
Siu, N. 1994. Risk assessment for dynamic systems: An overview. Reliability Eng. and System Safety 43: 43-73.
-
(1994)
Reliability Eng. and System Safety
, vol.43
, pp. 43-73
-
-
Siu, N.1
-
28
-
-
0027928756
-
Probabilistic dynamics: A comparison between continuous event trees and discrete event tree model
-
Smidts, C. 1994. Probabilistic Dynamics: A comparison between continuous event trees and discrete event tree model. Reliability Eng. and System Safety 44: 189-206.
-
(1994)
Reliability Eng. and System Safety
, vol.44
, pp. 189-206
-
-
Smidts, C.1
-
30
-
-
77950959955
-
The development and application of dynamic operational risk assessment in oil/gas and chemical process industry
-
Yang, X. & Mannan, M.S. 2010. The development and application of dynamic operational risk assessment in oil/gas and chemical process industry. Reliability Eng. and System Safety 95: 806-815.
-
(2010)
Reliability Eng. and System Safety
, vol.95
, pp. 806-815
-
-
Yang, X.1
Mannan, M.S.2
-
31
-
-
84990357514
-
Piecewise deterministic Markov processes and dynamic reliability
-
Zhang, H., Gonzales, K., Dufour, F. & Dutuit, Y. 2008. Piecewise Deterministic Markov Processes and Dynamic Reliability. Proocedings of the Institution of Mechanical Engineers 222(4): 545-551.
-
(2008)
Proocedings 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
-
32
-
-
84900016654
-
Model-based reliability methods automatic fault tree generation from process modeling
-
Zymaris, A., Manno, G., Kakalis, N.M.P. & Dimopoulos, G.G. 2012. Model-Based Reliability Methods Automatic Fault Tree Generation From Process Modeling. DNV Internal Report: 2012-9610.
-
(2012)
DNV Internal Report: 2012-9610
-
-
Zymaris, A.1
Manno, G.2
Kakalis, N.M.P.3
Dimopoulos, G.G.4
|