The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Susanna Donatelli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  53. GreatSPN Enhanced with Decision Diagram Data Structures. [Citation Graph (, )][DBLP]


  54. A class Diagram framework for collecting dependability requirements in automation systems. [Citation Graph (, )][DBLP]


  55. CSLTA: an Expressive Logic for Continuous-Time Markov Chains. [Citation Graph (, )][DBLP]


  56. Dependent Automata for the Modelling of Dependencies. [Citation Graph (, )][DBLP]


  57. UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.459secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002