| 2009 |
|---|
| 57 | EE | Susanna Donatelli,
Serge Haddad,
Jeremy Sproston:
Model Checking Timed and Stochastic Properties with CSL^{TA}.
IEEE Trans. Software Eng. 35(2): 224-240 (2009) |
| 2007 |
|---|
| 56 | EE | Susanna Donatelli,
Serge Haddad,
Jeremy Sproston:
CSLTA: an Expressive Logic for Continuous-Time Markov Chains.
QEST 2007: 31-40 |
| 55 | EE | Davide D'Aprile,
Susanna Donatelli,
Arnaud Sangnier,
Jeremy Sproston:
From Time Petri Nets to Timed Automata: An Untimed Approach.
TACAS 2007: 216-230 |
| 2006 |
|---|
| 54 | | Susanna Donatelli,
P. S. Thiagarajan:
Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings
Springer 2006 |
| 53 | EE | Davide Cerotti,
Davide D'Aprile,
Susanna Donatelli,
Jeremy Sproston:
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools.
ACSD 2006: 143-152 |
| 52 | EE | Davide Cerotti,
Susanna Donatelli,
András Horváth,
Jeremy Sproston:
CSL Model Checking for Generalized Stochastic Petri Nets.
QEST 2006: 199-210 |
| 51 | EE | Jeremy Sproston,
Susanna Donatelli:
Backward Bisimulation in Markov Chain Model Checking.
IEEE Trans. Software Eng. 32(8): 531-546 (2006) |
| 2004 |
|---|
| 50 | | Susanna Donatelli:
Student Forum.
DSN 2004: 904 |
| 49 | EE | Simona Bernardi,
Susanna Donatelli,
Giovanna Dondossola:
Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems.
FORMATS/FTRTFT 2004: 36-51 |
| 48 | EE | 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 Next Generation Software Program - NSFNGS - PI Workshop 2004 |
| 47 | EE | Davide D'Aprile,
Susanna Donatelli,
Jeremy Sproston:
CSL Model Checking for the GreatSPN Tool.
ISCIS 2004: 543-552 |
| 46 | | Simona Bernardi,
Susanna Donatelli,
Giovanna Dondossola:
A class Diagram framework for collecting dependability requirements in automation systems.
ISoLA (Preliminary proceedings) 2004: 276-283 |
| 45 | EE | Simona Bernardi,
Susanna Donatelli:
Stochastic Petri Nets and Inheritance for Dependability Modelling.
PRDC 2004: 363-372 |
| 44 | EE | Jeremy Sproston,
Susanna Donatelli:
Backward Stochastic Bisimulation in CSL Model Checking.
QEST 2004: 220-229 |
| 43 | EE | 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: 324-325 |
| 2003 |
|---|
| 42 | EE | Simona Bernardi,
Andrea Bobbio,
Susanna Donatelli:
Petri Nets and Dependability.
Lectures on Concurrency and Petri Nets 2003: 125-179 |
| 2002 |
|---|
| 41 | EE | Susanna Donatelli,
Liliana Ferro:
Validation of GSPN and SWN Models through the PROD Tool.
Computer Performance Evaluation / TOOLS 2002: 131-140 |
| 40 | EE | Paolo Ballarini,
Simona Bernardi,
Susanna Donatelli:
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization.
DSN 2002: 773-784 |
| 39 | EE | Vincenzo De Florio,
Susanna Donatelli,
Giovanna Dondossola:
Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems.
ECBS 2002: 86-93 |
| 38 | EE | Simona Bernardi,
Susanna Donatelli,
José Merseguer:
From UML sequence diagrams and statecharts to analysable petrinet models.
Workshop on Software and Performance 2002: 35-45 |
| 2001 |
|---|
| 37 | EE | Simona Bernardi,
Susanna Donatelli:
Performance Validation of Fault-Tolerance Software: A Compositional Approach.
DSN 2001: 379-388 |
| 36 | EE | Susanna Donatelli:
Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?
ICATPN 2001: 1-18 |
| 35 | | Susanna Donatelli,
Peter Kemper:
Integrating synchronization with priority into a Kronecker representation.
Perform. Eval. 44(1-4): 73-96 (2001) |
| 34 | EE | Simona Bernardi,
Susanna Donatelli,
András Horváth:
Implementing compositionality for stochastic Petri nets.
STTT 3(4): 417-430 (2001) |
| 2000 |
|---|
| 33 | EE | Susanna Donatelli,
Peter Kemper:
Integrating Synchronization with Priority into a Kronecker Representation.
Computer Performance Evaluation / TOOLS 2000: 203-215 |
| 32 | EE | Paolo Ballarini,
Susanna Donatelli,
Giuliana Franceschinis:
Parametric Stochastic Well-Formed Nets and Compositional Modelling.
ICATPN 2000: 43-62 |
| 31 | EE | Andrew S. Miner,
Gianfranco Ciardo,
Susanna Donatelli:
Using the exact state space of a Markov model to compute approximate stationary measures.
SIGMETRICS 2000: 207-216 |
| 30 | EE | Peter Buchholz,
Gianfranco Ciardo,
Susanna Donatelli,
Peter Kemper:
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models.
INFORMS Journal on Computing 12(3): 203-222 (2000) |
| 1999 |
|---|
| 29 | | Susanna Donatelli,
H. C. M. Kleijn:
Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings
Springer 1999 |
| 28 | EE | 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: 1166-1170 |
| 27 | EE | Javier Campos,
Susanna Donatelli,
Manuel Silva:
Structured Solution of Asynchronously Communicating Stochastic Modules.
IEEE Trans. Software Eng. 25(2): 147-165 (1999) |
| 1998 |
|---|
| 26 | EE | Susanna Donatelli,
Serge Haddad,
Patrice Moreaux:
Structured Characterization of the Markov Chain of Phase-Type SPN.
Computer Performance Evaluation (Tools) 1998: 243-254 |
| 25 | EE | Marco Ajmone Marsan,
Gianfranco Balbo,
Gianni Conte,
Susanna Donatelli,
Giuliana Franceschinis:
Modelling with Generalized Stochastic Petri Nets.
SIGMETRICS Performance Evaluation Review 26(2): 2 (1998) |
| 1996 |
|---|
| 24 | EE | 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.
Annual Simulation Symposium 1996: 118-127 |
| 23 | | Susanna Donatelli,
Giuliana Franceschinis:
The PSR Methodology: Integrating Hardware and Software Models.
Application and Theory of Petri Nets 1996: 133-152 |
| 22 | | Marco Ajmone Marsan,
Andrea Bobbio,
Susanna Donatelli:
Petri Nets in Performance Analysis: An Introduction.
Petri Nets 1996: 211-256 |
| 21 | | Susanna Donatelli,
Giuliana Franceschinis:
Modelling and Analysis of Distributed Software Using GSPNs.
Petri Nets (2) 1996: 438-476 |
| 20 | | Susanna Donatelli,
Nicola Mazzocca,
Stefano Russo:
EPOCA: status and prospects.
Software Engineering for Parallel and Distributed Systems 1996: 265-270 |
| 19 | EE | Susanna Donatelli,
Nicola Mazzocca,
Stefano Russo:
Client - server programs analysis in the EPOCA environment.
Distributed Systems Engineering 3(3): 149-161 (1996) |
| 1995 |
|---|
| 18 | | Susanna Donatelli,
Giuliana Franceschinis:
State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems.
SIGMETRICS 1995: 303-304 |
| 1994 |
|---|
| 17 | | Susanna Donatelli:
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution.
Application and Theory of Petri Nets 1994: 258-277 |
| 16 | | Susanna Donatelli,
Giuliana Franceschinis,
Nicola Mazzocca,
Stefano Russo:
Software Architecture of the EPOCA Integrated Environment.
Computer Performance Evaluation 1994: 335-352 |
| 15 | | Gianfranco Balbo,
Susanna Donatelli,
Giuliana Franceschinis,
Antonino Mazzeo,
Nicola Mazzocca,
Marina Ribaudo:
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs.
Perform. Eval. 19(2-3): 195-222 (1994) |
| 1993 |
|---|
| 14 | | 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: 176-185 |
| 13 | | Susanna Donatelli:
Superposed Stochastic Automata: A Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space.
Perform. Eval. 18(1): 21-36 (1993) |
| 1992 |
|---|
| 12 | | Susanna Donatelli,
Matteo Sereno:
On the Product Form Solution for Stochastic Petri Nets.
Application and Theory of Petri Nets 1992: 154-172 |
| 11 | | 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: 2315-2324 |
| 10 | | Gianfranco Balbo,
Susanna Donatelli,
Giuliana Franceschinis:
Understanding Parallel Program Behavior through Petri Net Models.
J. Parallel Distrib. Comput. 15(3): 171-187 (1992) |
| 1991 |
|---|
| 9 | | Marco Ajmone Marsan,
Fabio Neri,
Susanna Donatelli:
Multiserver Multiqueue Systems with Limited Service and Zero Walk Time.
INFOCOM 1991: 1178-1188 |
| 8 | | Marco Ajmone Marsan,
Susanna Donatelli,
Fabio Neri,
U. Rubino:
On the Construction of Abstract GSPNS: An Exercise in Modeling.
PNPM 1991: 2-17 |
| 7 | | Giovanni Chiola,
Susanna Donatelli,
Giuliana Franceschinis:
GSPNs versus SPNs: What is the Actual Role of Immediate Transitions?
PNPM 1991: 20-31 |
| 6 | | Susanna Donatelli:
Superposed Stochastic Automata: A Class of Stochastic Petri Nets Amenable to Parallel Solution.
PNPM 1991: 54-63 |
| 5 | EE | Marco Ajmone Marsan,
Susanna Donatelli,
U. Rubino,
Fabio Neri:
GSPN Models of Random, Cyclic, and Optimal 1-Limited Multiserver Multiqueue Systems.
SIGCOMM 1991: 69-80 |
| 1990 |
|---|
| 4 | | Marco Ajmone Marsan,
Luís F. M. de Moraes,
Susanna Donatelli,
Fabio Neri:
Analysis of Symmetric Nonexhaustive Polling with Multiple Servers.
INFOCOM 1990: 284-295 |
| 3 | | Marco Ajmone Marsan,
Susanna Donatelli,
Fabio Neri:
GSPN Models of Markovian Multiserver Multiqueue Systems.
Perform. Eval. 11(4): 227-240 (1990) |
| 1989 |
|---|
| 2 | | Marco Ajmone Marsan,
Susanna Donatelli,
Fabio Neri:
GSPN Models of Multiserver Multiqueue Systems.
PNPM 1989: 19-28 |
| 1986 |
|---|
| 1 | EE | Marco Ajmone Marsan,
Gianfranco Balbo,
Giovanni Chiola,
Susanna Donatelli:
On the product-form solution of a class of multiple-bus multiprocessor system models.
Journal of Systems and Software 6(1-2): 117-124 (1986) |
