Author|Conference|Journal|Year
Look for results that meet for the following criteria:
View Top Co-Authors In Visual Explorer
Susanna Donatelli

Top Co-Authors:

ObjectID : Author/1438676
Susanna Donatelli
(Publications: 83)
(Citation Count: 832)
(G-Index: 27)
(H-Index: 13)
Corso Svizzera 185 , 10149 Torino - Italy
Universita di Torino, Italy
Permanent Link: http://academic.research.microsoft.com/Author/1438676.aspx
Order by: Year|Citation|Rank
The rank of a paper is calculated by considering the authors, the published conference or journal, and its citation graph. The highest ranking result will appear first.                   Learn more
Year 2009
Susanna Donatelli, Serge Haddad, Jeremy Sproston :
Model Checking Timed and Stochastic Properties with CSL^{TA}
, TSE
, 2009
(Citations: 2)
Year 2008
Susanna Donatelli :
Dependent Automata for the Modelling of Dependencies
, CRITIS
, 2008
Year 2007
Susanna Donatelli, Serge Haddad, Jeremy Sproston :
CSLTA: an Expressive Logic for Continuous-Time Markov Chains
, QEST
, 2007
(Citations: 2)
Davide D'aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston :
From Time Petri Nets to Timed Automata: An Untimed Approach
, TACAS
, 2007
Year 2006
Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston :
CSL Model Checking for Generalized Stochastic Petri Nets
, QEST
, 2006
(Citations: 4)
Jeremy Sproston, Susanna Donatelli :
Backward Bisimulation in Markov Chain Model Checking
, TSE
, 2006
(Citations: 1)
Davide Cerotti, Davide D'aprile, Susanna Donatelli, Jeremy Sproston :
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools
, ACSD
, 2006
(Citations: 1)
Year 2004
Davide D'aprile, Susanna Donatelli, Jeremy Sproston :
CSL Model Checking for the GreatSPN Tool
, ISCIS
, 2004
(Citations: 11)
Simona Bernardi, Susanna Donatelli :
Stochastic Petri Nets and Inheritance for Dependability Modelling
, Pacific Rim International Symposium on Dependable Computing
, 2004
(Citations: 2)
Jeremy Sproston, Susanna Donatelli :
Backward Stochastic Bisimulation in CSL Model Checking
, QEST
, 2004
(Citations: 4)
Simona Bernardi, Susanna Donatelli, Giovanna Dondossola :
A class Diagram framework for collecting dependability requirements in automation systems
, ISOLA
, 2004
(Citations: 2)
Ming-ying Chung, Gianfranco Ciardo, Susanna Donatelli, N. He, Brigitte Plateau, William J. Stewart, E. Sulaiman, Andy Jinqing Yu :
A Comparison of Structural Formalisms for Modeling Large Markov Models
, IPDPS(IPPS)
, 2004
(Citations: 1)
Jean-michel Ilié, Souheib Baarir, Marco Beccuti, C. Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux :
Extended SWN Solvers in GreatSPN
, QEST
, 2004
Simona Bernardi, Susanna Donatelli, Giovanna Dondossola :
Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems
, FORMATS
, 2004
Susanna Donatelli :
Student Forum
, DSN
, 2004
Year 2003
Simona Bernardi, Andrea Bobbio, Susanna Donatelli :
Petri Nets and Dependability
, AC
, 2003
Year 2002
Simona Bernardi, Susanna Donatelli, José Merseguer :
From UML sequence diagrams and statecharts to analysable petrinet models
, WOSP
, 2002
(Citations: 60)
Jose Merseguer, Javier Campos, Simona Bernardi, Susanna Donatelli :
A Compositional Semantics for UML State Machines Aimed at Performance Evaluation
, 2002
(Citations: 28)
Susanna Donatelli, Liliana Ferro :
Validation of GSPN and SWN Models through the PROD Tool
, Computer Performance Evaluation
, 2002
(Citations: 3)
Paolo Ballarini, Simona Bernardi, Susanna Donatelli :
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization
, DSN
, 2002
Vincenzo De Florio, Susanna Donatelli, Giovanna Dondossola :
Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems
, ECBS
, 2002
Year 2001
Susanna Donatelli, Peter Kemper :
Integrating synchronization with priority into a Kronecker representation
, PE
, 2001
(Citations: 6)
Simona Bernardi, Susanna Donatelli, András Horváth :
Implementing compositionality for stochastic Petri nets
, STTT
, 2001
(Citations: 2)
Susanna Donatelli :
Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?
, APN
, 2001
(Citations: 3)
S. Bernardi, S. Donatelli, A. Horv'ath :
Compositionality in the greatspn tool and its use to the modelling of industrial applications
, 2001
(Citations: 2)
Simona Bernardi, Susanna Donatelli :
Performance Validation of Fault-Tolerance Software: A Compositional Approach
, DSN
, 2001
(Citations: 1)
Year 2000
Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper :
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
, INFORMS
, 2000
(Citations: 64)
Andrew S. Miner, Gianfranco Ciardo, Susanna Donatelli :
Using the exact state space of a Markov model to compute approximate stationary measures
, SIGMETRICS
, 2000
(Citations: 24)
Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis :
Parametric Stochastic Well-Formed Nets and Compositional Modelling
, APN
, 2000
(Citations: 5)
S. Donatelli, M. Sarini, C. Simone :
Towards a Contextual Information Service supporting adaptability and awareness in CSCW systems
, 2000
(Citations: 3)
S. Bernardi, S. Donatelli, A. Horvath :
Compositionality in the GreatSPN tool and its application to the modelling of industrial applications
, 2000
(Citations: 1)
Susanna Donatelli, Peter Kemper :
Integrating Synchronization with Priority into a Kronecker Representation
, Computer Performance Evaluation
, 2000
Year 1999
Javier Campos, Susanna Donatelli, Manuel Silva :
Structured Solution of Asynchronously Communicating Stochastic Modules
, TSE
, 1999
(Citations: 12)
Susanna Donatelli, Serge Haddad, Patrice Moreaux, Mbaye Sene :
Bounds for Rewards of Systems With Clients/servers Interaction
, 1999
(Citations: 2)
S. Donatelli, J. Kleijn :
Applications And Theory of Petri Nets 1999
, 1999
(Citations: 3)
Oliver Botti, Vincenzo De Florio, Geert Deconinck, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, A. Klein, H. Kufner, Rudy Lauwereins, Erwin M. Thurner, Eric Verhulst :
TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications
, Euro-Par
, 1999
(Citations: 1)
Year 1998
M. Ajmone Marsan, A. Bobbio, S. Donatelli :
Petri nets in performance analysis: An introduction
, 1998
(Citations: 16)
Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, Giuliana Franceschinis :
Modelling with Generalized Stochastic Petri Nets
, SIGMETRICS
, 1998
(Citations: 8)
Susanna Donatelli, Serge Haddad, Patrice Moreaux :
Structured Characterization of the Markov Chain of Phase-Type SPN
, Computer Performance Evaluation
, 1998
(Citations: 1)
Year 1997
J. Campos, M. Silva, S. Donatelli :
Structured Solution of Stochastic DSSP Systems
, 1997
(Citations: 7)
Javier Campos, Susanna Donatelli, Manuel Silva :
Structured Solution of Asynchronously Communicating Stochastic Modules
, 1997
(Citations: 4)
Year 1996
Susanna Donatelli, Giuliana Franceschinis :
The PSR Methodology: Integrating Hardware and Software Models
, APN
, 1996
(Citations: 13)
Marco Ajmone Marsan, Andrea Bobbio, Susanna Donatelli :
Petri Nets in Performance Analysis: An Introduction
, AC
, 1996
Oliver Botti, Susanna Donatelli, Giuliana Franceschinis :
Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems
, ANSS
, 1996
Susanna Donatelli, Nicola Mazzocca, Stefano Russo :
Client - server programs analysis in the EPOCA environment
, DSE
, 1996
Susanna Donatelli, Nicola Mazzocca, Stefano Russo :
EPOCA: status and prospects
, Software Engineering for Parallel and Distributed Systems
, 1996
Susanna Donatelli, Giuliana Franceschinis :
Modelling and Analysis of Distributed Software Using GSPNs
, AC
, 1996
Year 1995
M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis :
Modeling with generalized stochastic petri nets
, 1995
(Citations: 292)
S. Donatelli, J. Hillston, M. Ribaudo :
A comparison of Performance Evaluation Process Algebra and Generalized Stochastic Petri Nets
, 1995
(Citations: 17)
S. Donatelli, H. Hermanns, J. Hillston, M. Ribaudo :
Quantitative methods in parallel systems
, 1995
(Citations: 2)
Susanna Donatelli, Giuliana Franceschinis :
State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems
, SIGMETRICS
, 1995
Year 1994
Susanna Donatelli :
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution
, APN
, 1994
(Citations: 49)
M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis :
Modelling with Generalized Stochastic Petri Nets
, 1994
(Citations: 13)
Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo :
Software Architecture of the EPOCA Integrated Environment
, Computer Performance Evaluation
, 1994
(Citations: 4)
Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo :
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs
, PE
, 1994
(Citations: 5)
Susanna Donatelli, Giuliana Franceschinis, Marina Ribaudo, Stefano Russo :
Use of GSPNs for Concurrent Software Validation in EPOCA
, 1994
(Citations: 4)
Year 1993
Susanna Donatelli :
Superposed Stochastic Automata: A Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space
, PE
, 1993
(Citations: 41)
Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri, U. Rubino :
Good and Bad Dynamic Polling Orders in Symmetric Single Buffer Markovian Multiserver Multiqueue Systems
, INFOCOM
, 1993
Year 1992
Susanna Donatelli, Matteo Sereno :
On the Product Form Solution for Stochastic Petri Nets
, APN
, 1992
(Citations: 13)
Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis :
Understanding Parallel Program Behavior through Petri Net Models
, JPDC
, 1992
(Citations: 15)
Marco Ajmone Marsan, Luís F. M. De Moraes, Susanna Donatelli, Fabio Neri :
Cycles and Waiting Times in Symmetric Exhaustive and Gated Multiserver Multiqueue Systems
, INFOCOM
, 1992
(Citations: 4)
Year 1991
M. A. Marsan, G. Balbo, G. Chiola, G. Conte, S. Donatelli, G. Franceschinis :
An introduction to Generalized Stochastic Petri Nets
, 1991
(Citations: 20)
Susanna Donatelli :
Superposed Stochastic Automata: A Class of Stochastic Petri Nets Amenable to Parallel Solution
, Petri Nets and Performance Models
, 1991
(Citations: 5)
Giovanni Chiola, Susanna Donatelli, Giuliana Franceschinis :
GSPNs versus SPNs: What is the Actual Role of Immediate Transitions?
, Petri Nets and Performance Models
, 1991
(Citations: 10)
Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri, U. Rubino :
On the Construction of Abstract GSPNS: An Exercise in Modeling
, Petri Nets and Performance Models
, 1991
(Citations: 6)
Marco Ajmone Marsan, Fabio Neri, Susanna Donatelli :
Multiserver Multiqueue Systems with Limited Service and Zero Walk Time
, INFOCOM
, 1991
(Citations: 1)
G. Chiola, S. Donatelli, G. Franceschinis :
What is the actual role of immediate transitions? In Petri Nets and Performance Models 1991
, 1991
(Citations: 1)
Marco Ajmone Marsan, Susanna Donatelli, U. Rubino, Fabio Neri :
GSPN Models of Random, Cyclic, and Optimal 1-Limited Multiserver Multiqueue Systems
, SIGCOMM
, 1991
Year 1990
Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri :
GSPN Models of Markovian Multiserver Multiqueue Systems
, PE
, 1990
(Citations: 15)
M. Ajmone Marsan, S. Donatelli, F. Neri :
GSPN Models of Multiserver Multiqueueing Systems
, 1990
(Citations: 1)
Marco Ajmone Marsan, Luís F. M. De Moraes, Susanna Donatelli, Fabio Neri :
Analysis of Symmetric Nonexhaustive Polling with Multiple Servers
, INFOCOM
, 1990
(Citations: 1)
S. Donatelli :
L'uso delle reti d~ petri per la valutazione e la validazione di ststemi di grand~ dimension~, doctoral thesis, dipartimento di scienze dell'informazione
, 1990
(Citations: 1)
Year 1989
Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri :
GSPN Models of Multiserver Multiqueue Systems
, Petri Nets and Performance Models
, 1989
(Citations: 5)
Year 1986
Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Susanna Donatelli :
On the product-form solution of a class of multiple-bus multiprocessor system models
, JSS
, 1986
(Citations: 4)
Year Unknown
G. Dondossola, G. Deconinck, F. Di Giandomenico, S. Donatelli, M. Kaaniche, P. Verissimo :
CRITICAL UTILITY INFRASTRUCTURAL RESILIENCE
(Citations: 4)
Document Title, Author Susanna Donatelli, Silvano Chiaradonna, Daniele Codetta, Felicita Di, Giuliana Franceschinis, Marco Gribaudo, Mohamed Kaaniche, Francesco Romani, Jeremy Sproston, Participant, Cnr-isti, Laas-cnrs :
Deliverable no.: D11 Title of the deliverable: List of requirements on formalisms and selection of appropriate tools
Saint Malo, Rtsgion Bretagne, France Tclccom, Acm Sigmetrics, C. Anglano, S. Donatelli, G. Franceschinis :
PETRI NETS AND PERFORMANCE MODELS
O. Botti, V. De Florio, G. Deconinck, R. Lauwereins, F. Cassinari, S. Donatelli, A. Bobbio, A. Klein, H. Kufner, E. Thurner, E. Verhulst :
The TIRAN Approach to Reusing Software Implemented Fault Tolerance
Model Checking Timed, Stochastic Properties With Csl, Susanna Donatelli, Serge Haddad, Jeremy Sproston, Lsv-ens Cachan :
Susanna Donatelli Serge Haddad Jeremy Sproston
4 M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Frances :
The performance model of continuous PNs working under infinite
Author Susanna Donatelli, Eric Alata, João Antunes, Mohamed Kaâniche, Vincent Nicomette, Paulo Veríssimo, Participant, Laas-cnrs :
Deliverable no.: D26 Title of the deliverable: Experimental validation of architectural solutions
Susanna Donatelli, Eric Alata, João Antunes, Mohamed Kaâniche, Nuno Neves, Vincent Nicomette, Paulo Veríssimo :
Experimental Validation of Architectural Solutions
C. Anglano, S. Donatelli :
Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN
Microsoft Research Asia | Help | Feedback | Specific Terms
©2009 Microsoft Corporation. All rights reserved. Contact Us | Terms of Use | Trademarks | Privacy Statement