Susanna Donatelli

	2009
58		Susanna Donatelli, Serge Haddad, Jeremy Sproston: Model Checking Timed and Stochastic Properties with CSL^{TA}. IEEE Trans. Software Eng. 35(2): 224-240 (2009)
	2008
57		Susanna Donatelli: Dependent Automata for the Modelling of Dependencies. CRITIS 2008: 311-318
	2007
56		Susanna Donatelli, Serge Haddad, Jeremy Sproston: CSLTA: an Expressive Logic for Continuous-Time Markov Chains. QEST 2007: 31-40
55		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		Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston: Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD 2006: 143-152
52		Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston: CSL Model Checking for Generalized Stochastic Petri Nets. QEST 2006: 199-210
51		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		Simona Bernardi, Susanna Donatelli, Giovanna Dondossola: Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. FORMATS/FTRTFT 2004: 36-51
48		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		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		Simona Bernardi, Susanna Donatelli: Stochastic Petri Nets and Inheritance for Dependability Modelling. PRDC 2004: 363-372
44		Jeremy Sproston, Susanna Donatelli: Backward Stochastic Bisimulation in CSL Model Checking. QEST 2004: 220-229
43		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		Simona Bernardi, Andrea Bobbio, Susanna Donatelli: Petri Nets and Dependability. Lectures on Concurrency and Petri Nets 2003: 125-179
	2002
41		Susanna Donatelli, Liliana Ferro: Validation of GSPN and SWN Models through the PROD Tool. Computer Performance Evaluation / TOOLS 2002: 131-140
40		Paolo Ballarini, Simona Bernardi, Susanna Donatelli: Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. DSN 2002: 773-784
39		Vincenzo De Florio, Susanna Donatelli, Giovanna Dondossola: Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems. ECBS 2002: 86-93
38		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		Simona Bernardi, Susanna Donatelli: Performance Validation of Fault-Tolerance Software: A Compositional Approach. DSN 2001: 379-388
36		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		Simona Bernardi, Susanna Donatelli, András Horváth: Implementing compositionality for stochastic Petri nets. STTT 3(4): 417-430 (2001)
	2000
33		Susanna Donatelli, Peter Kemper: Integrating Synchronization with Priority into a Kronecker Representation. Computer Performance Evaluation / TOOLS 2000: 203-215
32		Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis: Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN 2000: 43-62
31		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		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		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		Javier Campos, Susanna Donatelli, Manuel Silva: Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Trans. Software Eng. 25(2): 147-165 (1999)
	1998
26		Susanna Donatelli, Serge Haddad, Patrice Moreaux: Structured Characterization of the Markov Chain of Phase-Type SPN. Computer Performance Evaluation (Tools) 1998: 243-254
25		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		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		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		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		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)

Coauthor Index

1	Souheib Baarir	[43]
2	Gianfranco Balbo	[1] [10] [15] [25]
3	Paolo Ballarini	[32] [40]
4	Marco Beccuti	[43]
5	Simona Bernardi	[34] [37] [38] [40] [42] [45] [46] [49]
6	Andrea Bobbio	[22] [28] [42]
7	Oliver Botti	[24] [28]
8	Peter Buchholz	[30]
9	Javier Campos	[27]
10	Flavio Cassinari	[28]
11	Davide Cerotti	[52] [53]
12	Giovanni Chiola	[1] [7]
13	Ming-Ying Chung	[48]
14	Gianfranco Ciardo	[30] [31] [48]
15	Gianni Conte	[25]
16	Davide D'Aprile	[47] [53] [55]
17	Geert Deconinck	[28]
18	C. Delamare	[43]
19	Giovanna Dondossola	[39] [46] [49]
20	Claude Dutheillet	[43]
21	Liliana Ferro	[41]
22	Vincenzo De Florio	[28] [39]
23	Giuliana Franceschinis	[7] [10] [15] [16] [18] [21] [23] [24] [25] [32] [43]
24	Rossano Gaeta	[43]
25	Serge Haddad	[26] [56] [58]
26	N. He	[48]
27	András Horváth	[34] [52]
28	Jean-Michel Ilié (Jean Michel Ilié)	[43]
29	Peter Kemper	[30] [33] [35]
30	Jetty Kleijn (H. C. M. Kleijn)	[29]
31	A. Klein	[28]
32	H. Kufner	[28]
33	Rudy Lauwereins	[28]
34	Marco Ajmone Marsan	[1] [2] [3] [4] [5] [8] [9] [11] [14] [22] [25]
35	Antonino Mazzeo	[15]
36	Nicola Mazzocca	[15] [16] [19] [20]
37	José Merseguer	[38]
38	Andrew S. Miner	[31]
39	Luís F. M. de Moraes	[4] [11]
40	Patrice Moreaux	[26] [43]
41	Fabio Neri	[2] [3] [4] [5] [8] [9] [11] [14]
42	Brigitte Plateau	[48]
43	Marina Ribaudo	[15]
44	U. Rubino	[5] [8] [14]
45	Stefano Russo	[16] [19] [20]
46	Arnaud Sangnier	[55]
47	Matteo Sereno	[12]
48	Manuel Silva	[27]
49	Jeremy Sproston	[44] [47] [51] [52] [53] [55] [56] [58]
50	William J. Stewart	[48]
51	E. Sulaiman	[48]
52	P. S. Thiagarajan	[54]
53	Erwin M. Thurner	[28]
54	Eric Verhulst	[28]
55	Andy Jinqing Yu	[48]

Colors in the list of coauthors