The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Giuliana Franceschinis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Giuliana Franceschinis, Marina Ribaudo
    Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras. [Citation Graph (0, 0)][DBLP]
    Petri Nets (2), 1996, pp:386-437 [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. Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro
    Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. [Citation Graph (0, 0)][DBLP]
    ACSD, 2003, pp:111-121 [Conf]
  4. Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta
    A symbolic simulation mechanism for well-formed coloured Petri nets. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 1992, pp:192-201 [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. Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis
    A High Level Language for Structural Relations in Well-Formed Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:168-187 [Conf]
  7. 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]
  8. Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta
    Modeling Symmetric Computer Architectures by SWNs. [Citation Graph (0, 0)][DBLP]
    Application and Theory of Petri Nets, 1994, pp:139-158 [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. Giuliana Franceschinis
    Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2005, pp:1-14 [Conf]
  11. Giuliana Franceschinis, Andrea Fumagalli, A. Silinguelli
    Stochastic Colored Petri Net Models for Rainbow Optical Networks. [Citation Graph (0, 0)][DBLP]
    Application of Petri Nets to Communication Networks, 1999, pp:273-303 [Conf]
  12. Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini
    Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2004, pp:177-196 [Conf]
  13. 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]
  14. Giuliana Franceschinis, Andrea Fumagalli, Roberto Grasso
    Performance Analysis of a WDM Bus Network Based on GSPN Models. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation (Tools), 1998, pp:207-218 [Conf]
  15. Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini
    DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2002, pp:233-238 [Conf]
  16. Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, C. Bertoncello
    DrawNet++: A Flexible Framework for Building Dependability Models. [Citation Graph (0, 0)][DBLP]
    DSN, 2002, pp:540- [Conf]
  17. Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini
    Repairable Fault Tree for the Automatic Evaluation of Repair Policies. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:659-668 [Conf]
  18. Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis
    Efficient Analysis Algorithms for Parametric Fault Trees. [Citation Graph (0, 0)][DBLP]
    FIRB-Perf, 2005, pp:91-105 [Conf]
  19. Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis
    Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. [Citation Graph (0, 0)][DBLP]
    ISCIS, 2004, pp:553-563 [Conf]
  20. Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
    Towards Performance Analysis with Partially Symmetrical SWN. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 1999, pp:148-155 [Conf]
  21. Gianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet
    On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    PNPM, 1987, pp:136-145 [Conf]
  22. 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]
  23. Giovanni Chiola, Giuliana Franceschinis
    Colored GSPN Models and Automatic Symmetry Detection. [Citation Graph (0, 0)][DBLP]
    PNPM, 1989, pp:50-60 [Conf]
  24. Giovanni Chiola, Giuliana Franceschinis
    A Structural Colour Simplification in Well-Formed Coloured Nets. [Citation Graph (0, 0)][DBLP]
    PNPM, 1991, pp:144-153 [Conf]
  25. M. Beccuti, Giuliana Franceschinis, Souheib Baarir, J-M. Ilie
    Efficient lumpability check in partially symmetric systems. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:211-220 [Conf]
  26. 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]
  27. Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis
    Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:257-258 [Conf]
  28. Andrea Bobbio, Ester Ciancamerla, Giuliana Franceschinis, Rossano Gaeta, Michele Minichino, Luigi Portinale
    Methods of Increasing Modelling Power for Safety Analysis, Applied to a Turbine Digital Control System. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2002, pp:212-223 [Conf]
  29. 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]
  30. Fulvio Lazzarato, Giuliana Franceschinis, Marco Botta, F. Cordero, Raffaele Calogero
    RRE: a tool for the extraction of non-coding regions surrounding annotated genes from genomic datasets. [Citation Graph (0, 0)][DBLP]
    Bioinformatics, 2004, v:20, n:16, pp:2848-2850 [Journal]
  31. Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
    Exploiting Partial Symmetries for Markov Chain Aggregation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:39, n:3, pp:- [Journal]
  32. 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]
  33. 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]
  34. Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta, Marina Ribaudo
    GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1995, v:24, n:1-2, pp:47-68 [Journal]
  35. Giuliana Franceschinis, Richard R. Muntz
    Bounds for Quasi-Lumpable Markow Chains. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 1994, v:20, n:1-3, pp:223-243 [Journal]
  36. Leana Golubchik, John C. S. Lui, Tak Fu Tung, Alix L. H. Chow, Adam Woei-Jyh Lee, Giuliana Franceschinis, Cosimo Anglano
    Multi-path continuous media streaming: what are the benefits? [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2002, v:49, n:1/4, pp:429-449 [Journal]
  37. Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
    On the use of partial symmetries for lumping Markov chains. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2001, v:28, n:4, pp:33-35 [Journal]
  38. 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]
  39. Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis
    The OsMoSys approach to multi-formalism modeling of systems. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2004, v:3, n:1, pp:68-81 [Journal]
  40. Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
    Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1993, v:42, n:11, pp:1343-1360 [Journal]
  41. Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad
    A Symbolic Reachability Graph for Coloured Petri Nets. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:176, n:1-2, pp:39-65 [Journal]
  42. Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale
    Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:3, pp:270-287 [Journal]
  43. Giuliana Franceschinis, Richard R. Muntz
    Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1994, v:20, n:7, pp:516-525 [Journal]
  44. Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro
    Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:11, pp:962-973 [Journal]
  45. Giuliana Franceschinis, Joost-Pieter Katoen, C. Murray Woodside
    Guest Editors' Introduction to the Special Section on the First International Conference on the Quantitative Evaluation of SysTems (QEST). [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:8, pp:529-530 [Journal]
  46. M. Beccuti, Giuliana Franceschinis, Serge Haddad
    Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2007, pp:43-62 [Conf]
  47. F. La Mura, F. Della Corte, Marco Gribaudo, B. Tosi, S. Alciati, R. Bordino, Giuliana Franceschinis
    Collaborative Virtual Environments as Research and Teaching Instruments in the Field of Disaster Medicine: the "e-DISTRICT CiPro" Simulator. [Citation Graph (0, 0)][DBLP]
    IV, 2007, pp:892-898 [Conf]

  48. Modeling Clinical Guidelines through Petri Nets. [Citation Graph (, )][DBLP]


  49. Parametric NdRFT for the derivation of optimal repair strategies. [Citation Graph (, )][DBLP]


  50. Tagged Generalized Stochastic Petri Nets. [Citation Graph (, )][DBLP]


  51. A framework to design and solve Markov Decision Well-formed Net models. [Citation Graph (, )][DBLP]


  52. New Solvers for Asymmetric Systems in GreatSPN. [Citation Graph (, )][DBLP]


  53. Simple O(m logn) Time Markov Chain Lumping. [Citation Graph (, )][DBLP]


  54. Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. [Citation Graph (, )][DBLP]


Search in 0.042secs, Finished in 0.046secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002