Susanna Donatelli
Susanna Donatelli
Computer Science Professor, Universita' di Torino (Italy)
Verified email at di.unito.it
TitleCited byYear
Modelling with generalized stochastic Petri nets
MA Marsan, G Balbo, G Conte, S Donatelli, G Franceschinis
Wiley, 1995
18441995
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
3842002
Modelling with generalized stochastic Petri nets
M Ajmone Marsan, G Balbo, G Conte, S Donatelli, G Franceschinis
J. Wiley & Sons Ltd, 1995
3251995
Superposed generalized stochastic Petri nets: definition and efficient solution
S Donatelli
International Conference on Application and Theory of Petri Nets, 258-277, 1994
2001994
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
1922000
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
1451993
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
1372009
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
1331991
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
1062002
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
1032008
Petri nets in performance analysis: An introduction
MA Marsan, A Bobbio, S Donatelli
Advanced Course on Petri Nets, 211-256, 1996
961996
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
891995
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
872013
The PSR methodology: integrating hardware and software models
S Donatelli, G Franceschinis
International Conference on Application and Theory of Petri Nets, 133-152, 1996
781996
GSPN models of Markovian multiserver multiqueue systems
MA Marsan, S Donatelli, F Neri
Performance Evaluation 11 (4), 227-240, 1990
761990
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
731992
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
631991
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
622000
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 (S7), S2, 2013
582013
Understanding parallel program behavior through petri net models
G Balbo, S Donatelli, G Franceschinis
Journal of parallel and distributed computing 15 (3), 171-187, 1992
561992
The system can't perform the operation now. Try again later.
Articles 1–20