Seguir
Susanna Donatelli
Susanna Donatelli
Computer Science Professor, Universita' di Torino (Italy)
Dirección de correo verificada de di.unito.it
Título
Citado por
Citado por
Año
Modelling with generalized stochastic Petri nets
MA Marsan, G Balbo, G Conte, S Donatelli, G Franceschinis
ACM SIGMETRICS performance evaluation review 26 (2), 2, 1998
24301998
From UML sequence diagrams and statecharts to analysable petri net models
S Bernardi, S Donatelli, J Merseguer
Proceedings of the 3rd international workshop on Software and performance, 35-45, 2002
4342002
Superposed generalized stochastic Petri nets: definition and efficient solution
S Donatelli
International Conference on Application and Theory of Petri Nets, 258-277, 1994
2211994
Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models
P Buchholz, G Ciardo, S Donatelli, P Kemper
INFORMS Journal on Computing 12 (3), 203-222, 2000
1982000
The GreatSPN tool: recent enhancements
S Baarir, M Beccuti, D Cerotti, M De Pierro, S Donatelli, G Franceschinis
ACM SIGMETRICS Performance Evaluation Review 36 (4), 4-9, 2009
1702009
Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space
S Donatelli
Performance evaluation 18 (1), 21-36, 1993
1631993
An introduction to generalized stochastic Petri nets
MA Marsan, G Balbo, G Chiola, G Conte, S Donatelli, G Franceschinis
Microelectronics Reliability 31 (4), 699-725, 1991
1501991
A compositional semantics for UML state machines aimed at performance evaluation
J Merseguer, J Campos, S Bernardi, S Donatelli
Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002
1212002
Model checking timed and stochastic properties with CSL^{TA}
S Donatelli, S Haddad, J Sproston
IEEE Transactions on Software Engineering 35 (2), 224-240, 2008
1182008
Petri nets in performance analysis: An introduction
M Ajmone Marsan, A Bobbio, S Donatelli
Advanced Course on Petri Nets, 211-256, 1996
1141996
State-of-the-art fusion-finder algorithms sensitivity and specificity
M Carrara, M Beccuti, F Lazzarato, F Cavallo, F Cordero, S Donatelli, ...
BioMed research international 2013, 2013
1062013
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
S Donatelli, M Ribaudo, J Hillston
Proceedings 6th International Workshop on Petri Nets and Performance Models …, 1995
961995
The PSR methodology: integrating hardware and software models
S Donatelli, G Franceschinis
Application and Theory of Petri Nets 1996: 17th International Conference …, 1996
881996
GSPN models of Markovian multiserver multiqueue systems
MA Marsan, S Donatelli, F Neri
Performance Evaluation 11 (4), 227-240, 1990
861990
30 years of GreatSPN
EG Amparore, G Balbo, M Beccuti, S Donatelli, G Franceschinis
Principles of Performance and Reliability Modeling and Evaluation: Essays in …, 2016
802016
On the product form solution for stochastic Petri nets
S Donatelli, M Sereno
International Conference on Application and Theory of Petri Nets, 154-172, 1992
781992
Quantification of dependencies between electrical and information infrastructures
M Beccuti, S Chiaradonna, F Di Giandomenico, S Donatelli, ...
International Journal of Critical Infrastructure Protection 5 (1), 14-27, 2012
752012
GSPNs versus SPNs: what is the actual role of immediate transitions?
G Chiola, S Donatelli, G Franceschinis
Proceedings of the Fourth International Workshop on Petri Nets and …, 1991
741991
State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues?
M Carrara, M Beccuti, F Cavallo, S Donatelli, F Lazzarato, F Cordero, ...
BMC bioinformatics 14, 1-11, 2013
722013
Using the exact state space of a Markov model to compute approximate stationary measures
AS Miner, G Ciardo, S Donatelli
Proceedings of the 2000 ACM SIGMETRICS international conference on …, 2000
682000
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20