Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Susanna Donatelli
2010 – today
- 2013
[j19]Matteo Carrara, Marco Beccuti, Federica Cavallo, Susanna Donatelli, Fulvio Lazzarato, Francesca Cordero, Raffaele Calogero: State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues? BMC Bioinformatics 14(S-7): S2 (2013)- [j18]Elvio Gilberto Amparore, Susanna Donatelli: Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications. Electr. Notes Theor. Comput. Sci. 296: 7-26 (2013)
- [j17]Elvio Gilberto Amparore, Susanna Donatelli: A component-based solution for reducible Markov regenerative processes. Perform. Eval. 70(6): 400-422 (2013)
- [c53]Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis: Expressing and Computing Passage Time Measures of GSPN Models with HASL. Petri Nets 2013: 110-129
- [c52]Elvio Gilberto Amparore, Susanna Donatelli: Improving and Assessing the Efficiency of the MC4CSLTA Model Checker. EPEW 2013: 206-220
- 2012
- [e5]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
- [i1]Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaâniche, Paulo Veríssimo: Critical Utility Infrastructural Resilience. CoRR abs/1211.5736 (2012)
- 2011
- [c51]Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis: Probe Automata for Passage Time Specification. QEST 2011: 101-110
- 2010
- [j16]Susanna Donatelli, Prakash Panangaden, Gerardo Rubino: Special Issue on "Quantitative Evaluation of Systems". Perform. Eval. 67(9): 757-758 (2010)
- [c50]Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner: GreatSPN Enhanced with Decision Diagram Data Structures. Petri Nets 2010: 308-317
- [c49]Elvio Gilberto Amparore, Susanna Donatelli: Model checking CSLTA with Deterministic and Stochastic Petri Nets. DSN 2010: 605-614
- [c48]Elvio Gilberto Amparore, Susanna Donatelli: A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes. EPEW 2010: 236-251
- [c47]Elvio Gilberto Amparore, Susanna Donatelli: DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN. QEST 2010: 79-80
- [c46]Elvio Gilberto Amparore, Susanna Donatelli: MC4CSLTA: An Efficient Model Checking Tool for CSLTA. QEST 2010: 153-154
- [e4]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
- [e3]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
2000 – 2009
- 2009
- [j15]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)
- [j14]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
- [c45]
- 2007
- [c44]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
- [c43]Susanna Donatelli, Serge Haddad, Jeremy Sproston: CSLTA: an Expressive Logic for Continuous-Time Markov Chains. QEST 2007: 31-40
- [c42]Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston: From Time Petri Nets to Timed Automata: An Untimed Approach. TACAS 2007: 216-230
- 2006
- [j13]Jeremy Sproston, Susanna Donatelli: Backward Bisimulation in Markov Chain Model Checking. IEEE Trans. Software Eng. 32(8): 531-546 (2006)
- [c41]Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston: Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD 2006: 143-152
- [c40]Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston: CSL Model Checking for Generalized Stochastic Petri Nets. QEST 2006: 199-210
- [e2]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
- 2004
- [c39]
- [c38]Simona Bernardi, Susanna Donatelli, Giovanna Dondossola: Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. FORMATS/FTRTFT 2004: 36-51
- [c37]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
- [c36]Davide D'Aprile, Susanna Donatelli, Jeremy Sproston: CSL Model Checking for the GreatSPN Tool. ISCIS 2004: 543-552
- [c35]Simona Bernardi, Susanna Donatelli, Giovanna Dondossola: A class Diagram framework for collecting dependability requirements in automation systems. ISoLA (Preliminary proceedings) 2004: 276-283
- [c34]Simona Bernardi, Susanna Donatelli: Stochastic Petri Nets and Inheritance for Dependability Modelling. PRDC 2004: 363-372
- [c33]Jeremy Sproston, Susanna Donatelli: Backward Stochastic Bisimulation in CSL Model Checking. QEST 2004: 220-229
- [c32]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
- [c31]Simona Bernardi, Andrea Bobbio, Susanna Donatelli: Petri Nets and Dependability. Lectures on Concurrency and Petri Nets 2003: 125-179
- 2002
- [c30]Susanna Donatelli, Liliana Ferro: Validation of GSPN and SWN Models through the PROD Tool. Computer Performance Evaluation / TOOLS 2002: 131-140
- [c29]Paolo Ballarini, Simona Bernardi, Susanna Donatelli: Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. DSN 2002: 773-784
- [c28]Vincenzo De Florio, Susanna Donatelli, Giovanna Dondossola: Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems. ECBS 2002: 86-93
- [c27]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
- [j12]Susanna Donatelli, Peter Kemper: Integrating synchronization with priority into a Kronecker representation. Perform. Eval. 44(1-4): 73-96 (2001)
- [j11]Simona Bernardi, Susanna Donatelli, András Horváth: Implementing compositionality for stochastic Petri nets. STTT 3(4): 417-430 (2001)
- [c26]Susanna Donatelli: Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort? ICATPN 2001: 1-18
- [c25]Simona Bernardi, Susanna Donatelli: Performance Validation of Fault-Tolerance Software: A Compositional Approach. DSN 2001: 379-388
- 2000
- [j10]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)
- [c24]Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis: Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN 2000: 43-62
- [c23]Susanna Donatelli, Peter Kemper: Integrating Synchronization with Priority into a Kronecker Representation. Computer Performance Evaluation / TOOLS 2000: 203-215
- [c22]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
- [c21]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
1990 – 1999
- 1999
- [j9]Javier Campos, Susanna Donatelli, Manuel Silva: Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Trans. Software Eng. 25(2): 147-165 (1999)
- [c20]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
- [e1]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
- 1998
- [j8]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)
- [c19]Susanna Donatelli, Serge Haddad, Patrice Moreaux: Structured Characterization of the Markov Chain of Phase-Type SPN. Computer Performance Evaluation (Tools) 1998: 243-254
- 1996
- [j7]Susanna Donatelli, Nicola Mazzocca, Stefano Russo: Client - server programs analysis in the EPOCA environment. Distributed Systems Engineering 3(3): 149-161 (1996)
- [c18]Marco Ajmone Marsan, Andrea Bobbio, Susanna Donatelli: Petri Nets in Performance Analysis: An Introduction. Petri Nets 1996: 211-256
- [c17]Susanna Donatelli, Giuliana Franceschinis: Modelling and Analysis of Distributed Software Using GSPNs. Petri Nets (2) 1996: 438-476
- [c16]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
- [c15]Susanna Donatelli, Giuliana Franceschinis: The PSR Methodology: Integrating Hardware and Software Models. Application and Theory of Petri Nets 1996: 133-152
- [c14]Susanna Donatelli, Nicola Mazzocca, Stefano Russo: EPOCA: status and prospects. Software Engineering for Parallel and Distributed Systems 1996: 265-270
- 1995
- [c13]Susanna Donatelli, Giuliana Franceschinis: State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems. SIGMETRICS 1995: 303-304
- 1994
- [j6]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)
- [j5]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)
- [c12]Susanna Donatelli: Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution. Application and Theory of Petri Nets 1994: 258-277
- [c11]Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo: Software Architecture of the EPOCA Integrated Environment. Computer Performance Evaluation 1994: 335-352
- 1993
- [j4]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)
- [c10]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
- 1992
- [j3]Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis: Understanding Parallel Program Behavior through Petri Net Models. J. Parallel Distrib. Comput. 15(3): 171-187 (1992)
- [c9]Susanna Donatelli, Matteo Sereno: On the Product Form Solution for Stochastic Petri Nets. Application and Theory of Petri Nets 1992: 154-172
- [c8]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
- 1991
- [c7]Marco Ajmone Marsan, Fabio Neri, Susanna Donatelli: Multiserver Multiqueue Systems with Limited Service and Zero Walk Time. INFOCOM 1991: 1178-1188
- [c6]Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri, U. Rubino: On the Construction of Abstract GSPNS: An Exercise in Modeling. PNPM 1991: 2-17
- [c5]Giovanni Chiola, Susanna Donatelli, Giuliana Franceschinis: GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? PNPM 1991: 20-31
- [c4]Susanna Donatelli: Superposed Stochastic Automata: A Class of Stochastic Petri Nets Amenable to Parallel Solution. PNPM 1991: 54-63
- [c3]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
- [j2]Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri: GSPN Models of Markovian Multiserver Multiqueue Systems. Perform. Eval. 11(4): 227-240 (1990)
- [c2]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
1980 – 1989
- 1989
- [c1]Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri: GSPN Models of Multiserver Multiqueue Systems. PNPM 1989: 19-28
- 1986
- [j1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:14 CEST by the dblp team