( en | de | ru )

 

Disambiguation of "Donatelli, Susanna"

Author of the publication

copydeleteadd this publication to your clipboard
Performance Validation of Fault-Tolerance Software: A Compositional Approach.

, and . DSN, page 379-388. IEEE Computer Society, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Susanna Levy

Susanna Kosmale

Susanna Ladányi

Susanna Tuti

Susanna Hönisch

 

Other publications of authors with the same name

Quantification of dependencies between electrical and information infrastructures., , , , , and . Int. J. Crit. Infrastructure Prot., 5 (1): 14-27 (2012)Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis., , , , , , , and . BMC Bioinform., 16 (S-9): S2 (2015)Revisiting the matrix-free solution of Markov regenerative processes., and . Numerical Lin. Alg. with Applic., 18 (6): 1067-1083 (2011)On the use of communication graphs in automatic mapping., and . PDP, page 490-498. IEEE, (1993)Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems., , and . CoRR, (2019)The PSR Methodology: Integrating Hardware and Software Models., and . Application and Theory of Petri Nets, volume 1091 of Lecture Notes in Computer Science, page 133-152. Springer, (1996)Structured Characterization of the Markov Chain of Phase-Type SPN., , and . Computer Performance Evaluation (Tools), volume 1469 of Lecture Notes in Computer Science, page 243-254. Springer, (1998)Parametric Stochastic Well-Formed Nets and Compositional Modelling., , and . ICATPN, volume 1825 of Lecture Notes in Computer Science, page 43-62. Springer, (2000)Understanding Parallel Program Behavior through Petri Net Models., , and . J. Parallel Distributed Comput., 15 (3): 171-187 (1992)Using the exact state space of a Markov model to compute approximate stationary measures., , and . SIGMETRICS, page 207-216. ACM, (2000)