|
Search the dblp DataBase
Giuliana Franceschinis:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Giuliana Franceschinis
Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. [Citation Graph (0, 0)][DBLP] ICATPN, 2005, pp:1-14 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Giovanni Chiola, Giuliana Franceschinis
Colored GSPN Models and Automatic Symmetry Detection. [Citation Graph (0, 0)][DBLP] PNPM, 1989, pp:50-60 [Conf]
- Giovanni Chiola, Giuliana Franceschinis
A Structural Colour Simplification in Well-Formed Coloured Nets. [Citation Graph (0, 0)][DBLP] PNPM, 1991, pp:144-153 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
Modeling Clinical Guidelines through Petri Nets. [Citation Graph (, )][DBLP]
Parametric NdRFT for the derivation of optimal repair strategies. [Citation Graph (, )][DBLP]
Tagged Generalized Stochastic Petri Nets. [Citation Graph (, )][DBLP]
A framework to design and solve Markov Decision Well-formed Net models. [Citation Graph (, )][DBLP]
New Solvers for Asymmetric Systems in GreatSPN. [Citation Graph (, )][DBLP]
Simple O(m logn) Time Markov Chain Lumping. [Citation Graph (, )][DBLP]
Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. [Citation Graph (, )][DBLP]
Search in 0.007secs, Finished in 0.011secs
|