Susanna Donatelli
Susanna Donatelli
Computer Science Professor, Universita' di Torino (Italy)
Verified email at di.unito.it
Title
Cited by
Cited by
Year
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
22321998
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
4102002
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
1962000
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
1521993
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
1512009
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
1361991
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
1152002
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
1102008
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
912013
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
911995
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
811990
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
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
632012
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
622013
Structured solution of asynchronously communicating stochastic modules
J Campos, S Donatelli, M Silva
IEEE Transactions on Software Engineering 25 (2), 147-165, 1999
571999
The system can't perform the operation now. Try again later.
Articles 1–20