Susanna Donatelli
Susanna Donatelli
Computer Science Professor, Universita' di Torino (Italy)
Email verificata su di.unito.it
Titolo
Citata da
Citata da
Anno
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
22621998
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
4162002
Superposed generalized stochastic Petri nets: definition and efficient solution
S Donatelli
International Conference on Application and Theory of Petri Nets, 258-277, 1994
2101994
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
1562009
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
1391991
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
1172002
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
1021996
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
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
662013
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
642012
30 years of GreatSPN
EG Amparore, G Balbo, M Beccuti, S Donatelli, G Franceschinis
Principles of performance and reliability modeling and evaluation, 227-254, 2016
572016
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20