Susanna Donatelli

	2012
70		Kurt Jensen, Susanna Donatelli, Jetty Kleijn: Transactions on Petri Nets and Other Models of Concurrency V Springer 2012
	2011
69		Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis: Probe Automata for Passage Time Specification. QEST 2011: 101-110
	2010
68		Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes: Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010 CEUR-WS.org 2010
67		Kurt Jensen, Susanna Donatelli, Maciej Koutny: Transactions on Petri Nets and Other Models of Concurrency IV Springer 2010
66		Elvio Gilberto Amparore, Susanna Donatelli: Model checking CSLTA with Deterministic and Stochastic Petri Nets. DSN 2010: 605-614
65		Elvio Gilberto Amparore, Susanna Donatelli: A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes. EPEW 2010: 236-251
64		Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner: GreatSPN Enhanced with Decision Diagram Data Structures. Petri Nets 2010: 308-317
63		Elvio Gilberto Amparore, Susanna Donatelli: MC4CSLTA: An Efficient Model Checking Tool for CSLTA. QEST 2010: 153-154
62		Elvio Gilberto Amparore, Susanna Donatelli: DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN. QEST 2010: 79-80
61		Susanna Donatelli, Prakash Panangaden, Gerardo Rubino: Special Issue on "Quantitative Evaluation of Systems". Perform. Eval. 67(9): 757-758 (2010)
	2009
60		Susanna Donatelli, Serge Haddad, Jeremy Sproston: Model Checking Timed and Stochastic Properties with CSL^{TA}. IEEE Trans. Software Eng. 35(2): 224-240 (2009)
59		Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis: The GreatSPN tool: recent enhancements. SIGMETRICS Performance Evaluation Review 36(4): 4-9 (2009)
	2008
58		Susanna Donatelli: Dependent Automata for the Modelling of Dependencies. CRITIS 2008: 311-318
	2007
57		Davide Cerotti, Daniele Codetta Raiteri, Susanna Donatelli, Claudio Brasca, Giovanna Dondossola, Fabrizio Garrone: UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project. CRITIS 2007: 106-123
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	Elvio Gilberto Amparore	[62] [63] [65] [66] [69]
2	Souheib Baarir	[43] [59]
3	Junaid Babar	[64]
4	Gianfranco Balbo	[1] [10] [15] [25]
5	Paolo Ballarini	[32] [40]
6	Marco Beccuti	[43] [59] [64] [69]
7	Simona Bernardi	[34] [37] [38] [40] [42] [45] [46] [49]
8	Andrea Bobbio	[22] [28] [42]
9	Oliver Botti	[24] [28]
10	Claudio Brasca	[57]
11	Peter Buchholz	[30]
12	Javier Campos	[27]
13	Flavio Cassinari	[28]
14	Davide Cerotti	[52] [53] [57] [59]
15	Giovanni Chiola	[1] [7]
16	Ming-Ying Chung	[48]
17	Gianfranco Ciardo	[30] [31] [48]
18	Gianni Conte	[25]
19	Davide D'Aprile	[47] [53] [55]
20	Geert Deconinck	[28]
21	C. Delamare	[43]
22	Giovanna Dondossola	[39] [46] [49] [57]
23	Claude Dutheillet	[43]
24	João M. Fernandes	[68]
25	Liliana Ferro	[41]
26	Vincenzo De Florio	[28] [39]
27	Giuliana Franceschinis	[7] [10] [15] [16] [18] [21] [23] [24] [25] [32] [43] [59] [69]
28	Rossano Gaeta	[43]
29	Fabrizio Garrone	[57]
30	Serge Haddad	[26] [56] [60]
31	N. He	[48]
32	András Horváth	[34] [52]
33	Jean-Michel Ilié (Jean Michel Ilié)	[43]
34	Kurt Jensen	[67] [70]
35	Peter Kemper	[30] [33] [35]
36	Jetty Kleijn (H. C. M. Kleijn)	[29] [68] [70]
37	A. Klein	[28]
38	Maciej Koutny	[67]
39	H. Kufner	[28]
40	Rudy Lauwereins	[28]
41	Ricardo Jorge Machado	[68]
42	Marco Ajmone Marsan	[1] [2] [3] [4] [5] [8] [9] [11] [14] [22] [25]
43	Antonino Mazzeo	[15]
44	Nicola Mazzocca	[15] [16] [19] [20]
45	José Merseguer	[38]
46	Andrew S. Miner	[31] [64]
47	Luís F. M. de Moraes	[4] [11]
48	Patrice Moreaux	[26] [43]
49	Fabio Neri	[2] [3] [4] [5] [8] [9] [11] [14]
50	Prakash Panangaden	[61]
51	Massimiliano De Pierro	[59]
52	Brigitte Plateau	[48]
53	Daniele Codetta Raiteri	[57]
54	Marina Ribaudo	[15]
55	Gerardo Rubino	[61]
56	U. Rubino	[5] [8] [14]
57	Stefano Russo	[16] [19] [20]
58	Arnaud Sangnier	[55]
59	Matteo Sereno	[12]
60	Manuel Silva	[27]
61	Jeremy Sproston	[44] [47] [51] [52] [53] [55] [56] [60]
62	William J. Stewart	[48]
63	E. Sulaiman	[48]
64	P. S. Thiagarajan	[54]
65	Erwin M. Thurner	[28]
66	Eric Verhulst	[28]
67	Andy Jinqing Yu	[48]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page