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.
Giuliana Franceschinis
2010 – today
- 2012
[c46]Marco Beccuti, Andrea Bobbio, Giuliana Franceschinis, Roberta Terruggia: A new symbolic approach for network reliability analysis. DSN 2012: 1-12- [c45]Marco Beccuti, Giuliana Franceschinis: Efficient simulation of stochastic well-formed nets through symmetry exploitation. Winter Simulation Conference 2012: 296
- [e2]Kurt Jensen, Wil M. P. van der Aalst, Marco Ajmone Marsan, Giuliana Franceschinis, Jetty Kleijn, Lars Michael Kristensen (Eds.): Transactions on Petri Nets and Other Models of Concurrency VI. Lecture Notes in Computer Science 7400, Springer 2012, ISBN 978-3-642-35178-5
- 2011
- [j21]Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis: First Passage Time Computation in Tagged GSPNs with Queue Places. Comput. J. 54(5): 653-673 (2011)
- [j20]Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad: Lumping partially symmetrical stochastic models. Perform. Eval. 68(1): 21-44 (2011)
- [c44]Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis: Probe Automata for Passage Time Specification. QEST 2011: 101-110
- [c43]Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis: Computing first passage time distributions in stochastic well-formed nets. ICPE 2011: 7-18
- 2010
- [j19]
- [c42]Antti Valmari, Giuliana Franceschinis: Simple O(m logn) Time Markov Chain Lumping. TACAS 2010: 38-52
2000 – 2009
- 2009
- [j18]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)
- [c41]Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Stefania Montani, Paolo Terenziani: Modeling Clinical Guidelines through Petri Nets. AIME 2009: 61-70
- [c40]Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad: Parametric NdRFT for the derivation of optimal repair strategies. DSN 2009: 399-408
- [c39]Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis: Tagged Generalized Stochastic Petri Nets. EPEW 2009: 1-15
- [c38]Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis: From partially to fully lumped Markov chains in stochastic well formed Petri nets. VALUETOOLS 2009: 43
- [c37]Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Francesco Moscato, Valeria Vittorini: Interfaces and binding in component based development of formal models. VALUETOOLS 2009: 44
- [c36]Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis: Multiple abstraction levels in performance analysis of WSN monitoring systems. VALUETOOLS 2009: 73
- [e1]Giuliana Franceschinis, Karsten Wolf (Eds.): Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings. Lecture Notes in Computer Science 5606, Springer 2009, ISBN 978-3-642-02423-8
- 2008
- [c35]Marco Beccuti, Giuliana Franceschinis, Mohamed Kaâniche, Karama Kanoun: Multi-level Dependability Modeling of Interdependencies between the Electricity and Information Infrastructures. CRITIS 2008: 48-59
- [c34]Souheib Baarir, Marco Beccuti, Giuliana Franceschinis: New Solvers for Asymmetric Systems in GreatSPN. QEST 2008: 235-236
- 2007
- [c33]Marco Beccuti, Giuliana Franceschinis, Serge Haddad: Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ICATPN 2007: 43-62
- [c32]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. IV 2007: 892-898
- [c31]Marco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad: A framework to design and solve Markov Decision Well-formed Net models. QEST 2007: 165-166
- 2006
- [j17]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). IEEE Trans. Software Eng. 32(8): 529-530 (2006)
- [c30]Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, J-M. Ilie: Efficient lumpability check in partially symmetric systems. QEST 2006: 211-220
- 2005
- [c29]Giuliana Franceschinis: Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. ICATPN 2005: 1-14
- [c28]Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis: A High Level Language for Structural Relations in Well-Formed Nets. ICATPN 2005: 168-187
- [c27]Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis: Efficient Analysis Algorithms for Parametric Fault Trees. FIRB-Perf 2005: 91-105
- [c26]Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis: Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. QEST 2005: 257-258
- 2004
- [j16]Fulvio Lazzarato, Giuliana Franceschinis, Marco Botta, Francesca Cordero, Raffaele Calogero: RRE: a tool for the extraction of non-coding regions surrounding annotated genes from genomic datasets. Bioinformatics 20(16): 2848-2850 (2004)
- [j15]Valeria Vittorini, Mauro Iacono, Nicola Mazzocca, Giuliana Franceschinis: The OsMoSys approach to multi-formalism modeling of systems. Software and System Modeling 3(1): 68-81 (2004)
- [c25]Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Stefano Marrone, Nicola Mazzocca, Valeria Vittorini: Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys. ICATPN 2004: 177-196
- [c24]Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini: Repairable Fault Tree for the Automatic Evaluation of Repair Policies. DSN 2004: 659-668
- [c23]Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis: Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. ISCIS 2004: 553-563
- [c22]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
- [j14]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. IEEE Trans. Software Eng. 29(3): 270-287 (2003)
- [j13]Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro: Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities. IEEE Trans. Software Eng. 29(11): 962-973 (2003)
- [c21]Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro: Memory Fault Tolerance Software Mechanisms: Design and Configuration Support through SWN Models. ACSD 2003: 111-121
- 2002
- [j12]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? Perform. Eval. 49(1/4): 429-449 (2002)
- [c20]Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini: DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. Computer Performance Evaluation / TOOLS 2002: 233-238
- [c19]Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, C. Bertoncello: DrawNet++: A Flexible Framework for Building Dependability Models. DSN 2002: 540
- [c18]Matteo Sonza Reorda, Massimo Violante, Nicola Mazzocca, Salvatore Venticinque, Andrea Bobbio, Giuliana Franceschinis: A hierarchical approach for designing dependable systems. HLDVT 2002: 63-68
- [c17]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. SAFECOMP 2002: 212-223
- 2001
- [j11]Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié: On the use of partial symmetries for lumping Markov chains. SIGMETRICS Performance Evaluation Review 28(4): 33-35 (2001)
- 2000
- [j10]Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié: Exploiting Partial Symmetries for Markov Chain Aggregation. Electr. Notes Theor. Comput. Sci. 39(3): 231-257 (2000)
- [c16]Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis: Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN 2000: 43-62
1990 – 1999
- 1999
- [c15]Giuliana Franceschinis, Andrea Fumagalli, A. Silinguelli: Stochastic Colored Petri Net Models for Rainbow Optical Networks. Application of Petri Nets to Communication Networks 1999: 273-303
- [c14]Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié: Towards Performance Analysis with Partially Symmetrical SWN. MASCOTS 1999: 148-155
- 1998
- [j9]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)
- [c13]Giuliana Franceschinis, Andrea Fumagalli, Roberto Grasso: Performance Analysis of a WDM Bus Network Based on GSPN Models. Computer Performance Evaluation (Tools) 1998: 207-218
- 1997
- [j8]Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad: A Symbolic Reachability Graph for Coloured Petri Nets. Theor. Comput. Sci. 176(1-2): 39-65 (1997)
- 1996
- [c12]Giuliana Franceschinis, Marina Ribaudo: Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras. Petri Nets (2) 1996: 386-437
- [c11]Susanna Donatelli, Giuliana Franceschinis: Modelling and Analysis of Distributed Software Using GSPNs. Petri Nets (2) 1996: 438-476
- [c10]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
- [c9]Susanna Donatelli, Giuliana Franceschinis: The PSR Methodology: Integrating Hardware and Software Models. Application and Theory of Petri Nets 1996: 133-152
- 1995
- [j7]Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta, Marina Ribaudo: GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets. Perform. Eval. 24(1-2): 47-68 (1995)
- [c8]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)
- [j4]Giuliana Franceschinis, Richard R. Muntz: Bounds for Quasi-Lumpable Markow Chains. Perform. Eval. 20(1-3): 223-243 (1994)
- [j3]Giuliana Franceschinis, Richard R. Muntz: Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets. IEEE Trans. Software Eng. 20(7): 516-525 (1994)
- [c7]Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta: Modeling Symmetric Computer Architectures by SWNs. Application and Theory of Petri Nets 1994: 139-158
- [c6]Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo: Software Architecture of the EPOCA Integrated Environment. Computer Performance Evaluation 1994: 335-352
- 1993
- [j2]Giovanni Chiola, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad: Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications. IEEE Trans. Computers 42(11): 1343-1360 (1993)
- 1992
- [j1]Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis: Understanding Parallel Program Behavior through Petri Net Models. J. Parallel Distrib. Comput. 15(3): 171-187 (1992)
- [c5]Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta: A symbolic simulation mechanism for well-formed coloured Petri nets. Annual Simulation Symposium 1992: 192-201
- 1991
- [c4]Giovanni Chiola, Susanna Donatelli, Giuliana Franceschinis: GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? PNPM 1991: 20-31
- [c3]Giovanni Chiola, Giuliana Franceschinis: A Structural Colour Simplification in Well-Formed Coloured Nets. PNPM 1991: 144-153
1980 – 1989
- 1989
- [c2]Giovanni Chiola, Giuliana Franceschinis: Colored GSPN Models and Automatic Symmetry Detection. PNPM 1989: 50-60
- 1987
- [c1]Gianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet: On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets. PNPM 1987: 136-145
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-20 15:38 CET by the dblp team