Information Technology Reference
In-Depth Information
12. Boudali, H., Crouzen, P., Stoelinga, M.I.A.: Rigorous, compositional, and extensi-
ble framework for dynamic fault tree analysis. IEEE Transactions on Secure and
Dependable Computing 7, 128-143 (2009)
13. Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V., Noll, T., Roveri, M.: Codesign
of dependable systems: A component-based modelling language. In: Proc. 7th Int.
Conf. on Formal Methods and Models for Co-Design MEMOCODE, pp. 121-130.
IEEE CS Press, Los Alamitos (2009)
14. Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V., Noll, T., Roveri, M.: The
COMPASS approach: Correctness, modelling and performability of aerospace sys-
tems. In: Buth, B., Rabe, G., Seyfarth, T. (eds.) SAFECOMP 2009. LNCS,
vol. 5775, pp. 173-186. Springer, Heidelberg (2009)
15. Bozzano, M., Cimatti, A., Katoen, J.-P., Nguyen, V., Noll, T., Roveri, M.: Safety,
dependability and performance analysis of extended AADL models. The Computer
Journal (2010)
16. Bravetti, M., Hermanns, H., Katoen, J.-P.: YMCA: Why Markov chain algebra?
In: Proceedings of the Workshop Essays on Algebraic Process Calculi. Electronic
Notes in Theoretical Computer Science, vol. 162, pp. 107-112. Elsevier, Amsterdam
(2006)
17. Brinksma, E., Hermanns, H.: Process Algebra and Markov Chains. In: Brinksma,
E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS,
vol. 2090, pp. 183-231. Springer, Heidelberg (2001)
18. Buchholz, P.: Exact and ordinary lumpability in finite markov chains. J. of Applied
Probability 31, 59-75 (1994)
19. Chehaibar, G., Zidouni, M., Mateescu, R.: Modeling multiprocessor cache protocol
impact on MPI performance. In: IEEE International Workshop on Quantitative
Evaluation of Large-Scale Systems and Technologies. IEEE, Los Alamitos (2009)
20. Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: GreatSPN 1.7: Graphical
editor and analyzer for timed and stochastic Petri nets. Performance Evaluation 24,
47-68 (1995)
21. Coppit, D., Sullivan, K.J., Dugan, J.B.: Formal semantics for computational en-
gineering: A case study on dynamic fault trees. In: ISSRE, pp. 270-282. IEEE
Computer Society, Los Alamitos (2000)
22. Coste, N., Garavel, H., Hermanns, H., Hersemeule, R., Thonnart, Y., Zidouni, M.:
Quantitative evaluation in embedded system design: Validation of multiprocessor
multithreaded architectures. In: Design, Automation and Test in Europe (DATE),
pp. 88-89. IEEE, Los Alamitos (2008)
23. Coste, N., Hermanns, H., Lantreibecq, E., Serwe, W.: Towards performance predic-
tion of compositional models in industrial GALS designs. In: Bouajjani, A., Maler,
O. (eds.) Computer Aided Verification. LNCS, vol. 5643, pp. 204-218. Springer,
Heidelberg (2009)
24. De Nicola, R., Latella, D., Loreti, M., Massink, M.: Rate-based transition systems
for stochastic process calculi. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y.,
Nikoletseas, S., Thomas, W. (eds.) ICALP 2009. LNCS, vol. 5556, pp. 435-446.
Springer, Heidelberg (2009)
25. Dugan, J., Bavuso, S., Boyd, M.: Dynamic fault-tree models for fault-tolerant com-
puter systems. IEEE Transactions on Reliability 41, 363-377 (1992)
26. Eisentraut, C., Hermanns, H., Zhang, L.: On probabilistic automata in continu-
ous time. In: IEEE Symposium on Logic in Computer Science (LICS). IEEE, Los
Alamitos (2010)
27. Fecher, H., Leucker, M., Wolf, V.: Don't know in probabilistic systems. In: Valmari,
A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 71-88. Springer, Heidelberg (2006)
Search WWH ::




Custom Search