Information Technology Reference
In-Depth Information
28. Feiler, P.H., Rugina, A.: Dependability modeling with the Architecture Analysis &
Design Language (AADL). Technical Note CMU/SEI-2007-TN-043, CMU Software
Engineering Institute (2007)
29. Frenkel, K.A., Milner, R.: An interview with Robin Milner. CACM 36, 90-97 (1993)
30. Garavel, H., Hermanns, H.: On combining functional verification and performance
evaluation using CADP. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS,
vol. 2391, pp. 410-429. Springer, Heidelberg (2002)
31. Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP 2006: A toolbox for the
construction and analysis of distributed processes. In: Damm, W., Hermanns, H.
(eds.) CAV 2007. LNCS, vol. 4590, pp. 158-163. Springer, Heidelberg (2007)
32. Gilmore, S., Hillston, J., Ribaudo, M.: An ecient algorithm for aggregating PEPA
models. IEEE Trans. Software Eng. 27, 449-464 (2001)
33. Han, T., Katoen, J.-P., Mereacre, A.: Compositional modeling and minimization
of time-inhomogeneous Markov chains. In: Egerstedt, M., Mishra, B. (eds.) HSCC
2008. LNCS, vol. 4981, pp. 244-258. Springer, Heidelberg (2008)
34. Haverkort, B.R.: Performance of Computer Communication Systems: A Model-
Based Approach. John Wiley & Sons, Chichester (1998)
35. Hermanns, H. (ed.): Interactive Markov Chains. LNCS, vol. 2428. Springer, Hei-
delberg (2002)
36. Hermanns, H., Herzog, U., Katoen, J.-P.: Process algebra for performance evalua-
tion. Theoretical Computer Science 274, 43-87 (2002)
37. Hermanns, H., Herzog, U., Mertsiotakis, V., Rettelbach, M.: Exploiting stochastic
process algebra achievements for generalized stochastic Petri nets. In: Petri Nets
and Performance Models (PNPM), pp. 183-192. IEEE, Los Alamitos (1997)
38. Hermanns, H., Johr, S.: Uniformity by construction in the analysis of nondeter-
ministic stochastic systems. In: Dependable Systems and Networks (DSN), pp.
718-728. IEEE, Los Alamitos (2007)
39. Hermanns, H., Katoen, J.-P.: Automated compositional Markov chain generation
for a plain-old telephone system. Science of Comp. Progr. 36, 97-127 (2000)
40. Hermanns, H., Katoen, J.-P., Neuhaußer, M.R., Zhang, L.: GSPN model checking
despite confusion. Technical report, RWTH Aachen University (2010)
41. Hermanns, H., Rettelbach, M.: Syntax, Semantics, Equivalences, and Axioms for
MTIPP. In: Herzog, U., Rettelbach, M. (eds.) Proc. of the 2nd Int. Workshop
on Process Algebras and Performance Modelling. Arbeitsberichte des IMMD,
vol. 27(4), Universitat Erlangen (1994)
42. Hermanns, H., Johr, S.: we reach it? or must we? in what time? with what probabil-
ity? In: Measurement, Modelling and Evaluation of Computer and Communication
Systems (MMB), pp. 125-140. VDE Verlag (May 2008)
43. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge
University Press, Cambridge (1996)
44. Hinton, A., Kwiatkowska, M.Z., Norman, G., Parker, D.: PRISM: A tool for au-
tomatic verification of probabilistic systems. In: Hermanns, H., Palsberg, J. (eds.)
TACAS 2006. LNCS, vol. 3920, pp. 441-444. Springer, Heidelberg (2006)
45. Hoare, C., Brookes, S., Roscoe, A.: A theory of communicating sequential processes.
J. ACM 31, 560-599 (1984)
46. Jonsson, B.: Simulations between specifications of distributed systems. In: Groote,
J.F., Baeten, J.C.M. (eds.) CONCUR 1991. LNCS, vol. 527, pp. 346-360. Springer,
Heidelberg (1991)
47. Katoen, J.-P., Kemna, T., Zapreev, I.S., Jansen, D.N.: Bisimulation minimisation
mostly speeds up probabilistic model checking. In: Grumberg, O., Huth, M. (eds.)
TACAS 2007. LNCS, vol. 4424, pp. 87-102. Springer, Heidelberg (2007)
