Susanna Donatelli
Susanna Donatelli
Computer Science Professor, Universita' di Torino (Italy)
Email confirmado em di.unito.it
Título
Citado por
Citado por
Ano
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
22551998
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
4142002
Superposed generalized stochastic Petri nets: definition and efficient solution
S Donatelli
International Conference on Application and Theory of Petri Nets, 258-277, 1994
2091994
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
1972000
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
1552009
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
1541993
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
1381991
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
1162002
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
1132008
Petri nets in performance analysis: An introduction
MA Marsan, A Bobbio, S Donatelli
Advanced Course on Petri Nets, 211-256, 1996
1011996
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
942013
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
921995
The PSR methodology: integrating hardware and software models
S Donatelli, G Franceschinis
International Conference on Application and Theory of Petri Nets, 133-152, 1996
841996
GSPN models of Markovian multiserver multiqueue systems
MA Marsan, S Donatelli, F Neri
Performance Evaluation 11 (4), 227-240, 1990
821990
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
751992
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
691991
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
662000
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 (7), 1-11, 2013
652013
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
642012
Structured solution of asynchronously communicating stochastic modules
J Campos, S Donatelli, M Silva
IEEE Transactions on Software Engineering 25 (2), 147-165, 1999
571999
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20