Susanna Donatelli

Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaâniche, Paulo Veríssimo: Critical Utility Infrastructural Resilience. CoRR abs/1211.5736 (2012)

Kurt Jensen, Susanna Donatelli, Jetty Kleijn (Eds.): Transactions on Petri Nets and Other Models of Concurrency V. Lecture Notes in Computer Science 6900, Springer 2012, isbn 978-3-642-29071-8

Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis: Probe Automata for Passage Time Specification. QEST 2011: 101-110

Susanna Donatelli, Prakash Panangaden, Gerardo Rubino: Special Issue on "Quantitative Evaluation of Systems". Perform. Eval. 67(9): 757-758 (2010)

Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner: GreatSPN Enhanced with Decision Diagram Data Structures. Petri Nets 2010: 308-317

Elvio Gilberto Amparore, Susanna Donatelli: Model checking CSL^TA with Deterministic and Stochastic Petri Nets. DSN 2010: 605-614

Elvio Gilberto Amparore, Susanna Donatelli: A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes. EPEW 2010: 236-251

Elvio Gilberto Amparore, Susanna Donatelli: DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN. QEST 2010: 79-80

Elvio Gilberto Amparore, Susanna Donatelli: MC4CSLTA: An Efficient Model Checking Tool for CSLTA. QEST 2010: 153-154

Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes (Eds.): 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 Workshop Proceedings 827, CEUR-WS.org 2010

Kurt Jensen, Susanna Donatelli, Maciej Koutny (Eds.): Transactions on Petri Nets and Other Models of Concurrency IV. Lecture Notes in Computer Science 6550, Springer 2010, isbn 978-3-642-18221-1

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)

Susanna Donatelli, Serge Haddad, Jeremy Sproston: Model Checking Timed and Stochastic Properties with CSL^{TA}. IEEE Trans. Software Eng. 35(2): 224-240 (2009)

Susanna Donatelli: Dependent Automata for the Modelling of Dependencies. CRITIS 2008: 311-318

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

Susanna Donatelli, Serge Haddad, Jeremy Sproston: CSL^TA: an Expressive Logic for Continuous-Time Markov Chains. QEST 2007: 31-40

Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston: From Time Petri Nets to Timed Automata: An Untimed Approach. TACAS 2007: 216-230

Jeremy Sproston, Susanna Donatelli: Backward Bisimulation in Markov Chain Model Checking. IEEE Trans. Software Eng. 32(8): 531-546 (2006)

Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston: Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD 2006: 143-152

Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston: CSL Model Checking for Generalized Stochastic Petri Nets. QEST 2006: 199-210

Susanna Donatelli, P. S. Thiagarajan (Eds.): 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. Lecture Notes in Computer Science 4024, Springer 2006, isbn 3-540-34699-6

Susanna Donatelli: Student Forum. DSN 2004: 904

Simona Bernardi, Susanna Donatelli, Giovanna Dondossola: Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. FORMATS/FTRTFT 2004: 36-51

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

Davide D'Aprile, Susanna Donatelli, Jeremy Sproston: CSL Model Checking for the GreatSPN Tool. ISCIS 2004: 543-552

Simona Bernardi, Susanna Donatelli, Giovanna Dondossola: A class Diagram framework for collecting dependability requirements in automation systems. ISoLA (Preliminary proceedings) 2004: 276-283

Simona Bernardi, Susanna Donatelli: Stochastic Petri Nets and Inheritance for Dependability Modelling. PRDC 2004: 363-372

Jeremy Sproston, Susanna Donatelli: Backward Stochastic Bisimulation in CSL Model Checking. QEST 2004: 220-229

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

Simona Bernardi, Andrea Bobbio, Susanna Donatelli: Petri Nets and Dependability. Lectures on Concurrency and Petri Nets 2003: 125-179

Susanna Donatelli, Liliana Ferro: Validation of GSPN and SWN Models through the PROD Tool. Computer Performance Evaluation / TOOLS 2002: 131-140

Paolo Ballarini, Simona Bernardi, Susanna Donatelli: Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. DSN 2002: 773-784

Vincenzo De Florio, Susanna Donatelli, Giovanna Dondossola: Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems. ECBS 2002: 86-93

Simona Bernardi, Susanna Donatelli, José Merseguer: From UML sequence diagrams and statecharts to analysable petrinet models. Workshop on Software and Performance 2002: 35-45

Susanna Donatelli, Peter Kemper: Integrating synchronization with priority into a Kronecker representation. Perform. Eval. 44(1-4): 73-96 (2001)

Simona Bernardi, Susanna Donatelli, András Horváth: Implementing compositionality for stochastic Petri nets. STTT 3(4): 417-430 (2001)

Susanna Donatelli: Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort? ICATPN 2001: 1-18

Simona Bernardi, Susanna Donatelli: Performance Validation of Fault-Tolerance Software: A Compositional Approach. DSN 2001: 379-388

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)

Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis: Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN 2000: 43-62

Susanna Donatelli, Peter Kemper: Integrating Synchronization with Priority into a Kronecker Representation. Computer Performance Evaluation / TOOLS 2000: 203-215

Oliver Botti, Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, A. Klein, H. Kufner, Erwin M. Thurner, Eric Verhulst: The TIRAN approach to reusing software implemented fault tolerance. PDP 2000: 325-332

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

Javier Campos, Susanna Donatelli, Manuel Silva: Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Trans. Software Eng. 25(2): 147-165 (1999)

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

Susanna Donatelli, H. C. M. Kleijn (Eds.): Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings. Lecture Notes in Computer Science 1639, Springer 1999, isbn 3-540-66132-8

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)

Susanna Donatelli, Serge Haddad, Patrice Moreaux: Structured Characterization of the Markov Chain of Phase-Type SPN. Computer Performance Evaluation (Tools) 1998: 243-254

Susanna Donatelli, Nicola Mazzocca, Stefano Russo: Client - server programs analysis in the EPOCA environment. Distributed Systems Engineering 3(3): 149-161 (1996)

Marco Ajmone Marsan, Andrea Bobbio, Susanna Donatelli: Petri Nets in Performance Analysis: An Introduction. Petri Nets 1996: 211-256

Susanna Donatelli, Giuliana Franceschinis: Modelling and Analysis of Distributed Software Using GSPNs. Petri Nets (2) 1996: 438-476

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

Susanna Donatelli, Giuliana Franceschinis: The PSR Methodology: Integrating Hardware and Software Models. Application and Theory of Petri Nets 1996: 133-152

Susanna Donatelli, Nicola Mazzocca, Stefano Russo: EPOCA: status and prospects. Software Engineering for Parallel and Distributed Systems 1996: 265-270

Susanna Donatelli, Giuliana Franceschinis: State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems. SIGMETRICS 1995: 303-304

Susanna Donatelli, Giuliana Franceschinis, Marina Ribaudo, Stefano Russo: Use of GSPNs for concurrent software validation in EPOCA. Information & Software Technology 36(7): 443-448 (1994)

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)

Susanna Donatelli: Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution. Application and Theory of Petri Nets 1994: 258-277

Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo: Software Architecture of the EPOCA Integrated Environment. Computer Performance Evaluation 1994: 335-352

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)

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

Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis: Understanding Parallel Program Behavior through Petri Net Models. J. Parallel Distrib. Comput. 15(3): 171-187 (1992)

Susanna Donatelli, Matteo Sereno: On the Product Form Solution for Stochastic Petri Nets. Application and Theory of Petri Nets 1992: 154-172

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

Marco Ajmone Marsan, Fabio Neri, Susanna Donatelli: Multiserver Multiqueue Systems with Limited Service and Zero Walk Time. INFOCOM 1991: 1178-1188

Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri, U. Rubino: On the Construction of Abstract GSPNS: An Exercise in Modeling. PNPM 1991: 2-17

Giovanni Chiola, Susanna Donatelli, Giuliana Franceschinis: GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? PNPM 1991: 20-31

Susanna Donatelli: Superposed Stochastic Automata: A Class of Stochastic Petri Nets Amenable to Parallel Solution. PNPM 1991: 54-63

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

Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri: GSPN Models of Markovian Multiserver Multiqueue Systems. Perform. Eval. 11(4): 227-240 (1990)

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

Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri: GSPN Models of Multiserver Multiqueue Systems. PNPM 1989: 19-28

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)