Giuliana Franceschinis

	2009
53		Giuliana Franceschinis, Karsten Wolf: Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings Springer 2009
52		Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Stefania Montani, Paolo Terenziani: Modeling Clinical Guidelines through Petri Nets. AIME 2009: 61-70
51		Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis: Tagged Generalized Stochastic Petri Nets. EPEW 2009: 1-15
	2008
50		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
49		Souheib Baarir, Marco Beccuti, Giuliana Franceschinis: New Solvers for Asymmetric Systems in GreatSPN. QEST 2008: 235-236
	2007
48		Marco Beccuti, Giuliana Franceschinis, Serge Haddad: Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ICATPN 2007: 43-62
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. IV 2007: 892-898
46		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
45		Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, J-M. Ilie: Efficient lumpability check in partially symmetric systems. QEST 2006: 211-220
44		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)
	2005
43		Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis: Efficient Analysis Algorithms for Parametric Fault Trees. FIRB-Perf 2005: 91-105
42		Giuliana Franceschinis: Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. ICATPN 2005: 1-14
41		Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis: A High Level Language for Structural Relations in Well-Formed Nets. ICATPN 2005: 168-187
40		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
39		Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini: Repairable Fault Tree for the Automatic Evaluation of Repair Policies. DSN 2004: 659-668
38		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
37		Paolo Ballarini, Lorenzo Capra, Giuliana Franceschinis: Performance and Dependability Analysis of Fault-Tolerant Memory Mechanisms Using Stochastic Well-Formed Nets. ISCIS 2004: 553-563
36		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
35		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)
34		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)
	2003
33		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
32		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)
31		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)
	2002
30		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
29		Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, C. Bertoncello: DrawNet++: A Flexible Framework for Building Dependability Models. DSN 2002: 540
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. SAFECOMP 2002: 212-223
27		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)
	2001
26		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
25		Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis: Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN 2000: 43-62
24		Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié: Exploiting Partial Symmetries for Markov Chain Aggregation. Electr. Notes Theor. Comput. Sci. 39(3): (2000)
	1999
23		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
22		Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié: Towards Performance Analysis with Partially Symmetrical SWN. MASCOTS 1999: 148-155
	1998
21		Giuliana Franceschinis, Andrea Fumagalli, Roberto Grasso: Performance Analysis of a WDM Bus Network Based on GSPN Models. Computer Performance Evaluation (Tools) 1998: 207-218
20		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)
	1997
19		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
18		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
17		Susanna Donatelli, Giuliana Franceschinis: The PSR Methodology: Integrating Hardware and Software Models. Application and Theory of Petri Nets 1996: 133-152
16		Giuliana Franceschinis, Marina Ribaudo: Efficient Performance Analysis Techniques for Stochastic Well-Formed Nets and Stochastic Process Algebras. Petri Nets (2) 1996: 386-437
15		Susanna Donatelli, Giuliana Franceschinis: Modelling and Analysis of Distributed Software Using GSPNs. Petri Nets (2) 1996: 438-476
	1995
14		Susanna Donatelli, Giuliana Franceschinis: State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems. SIGMETRICS 1995: 303-304
13		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)
	1994
12		Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta: Modeling Symmetric Computer Architectures by SWNs. Application and Theory of Petri Nets 1994: 139-158
11		Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo: Software Architecture of the EPOCA Integrated Environment. Computer Performance Evaluation 1994: 335-352
10		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)
9		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)
8		Giuliana Franceschinis, Richard R. Muntz: Bounds for Quasi-Lumpable Markow Chains. Perform. Eval. 20(1-3): 223-243 (1994)
	1993
7		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
6		Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta: A symbolic simulation mechanism for well-formed coloured Petri nets. Annual Simulation Symposium 1992: 192-201
5		Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis: Understanding Parallel Program Behavior through Petri Net Models. J. Parallel Distrib. Comput. 15(3): 171-187 (1992)
	1991
4		Giovanni Chiola, Giuliana Franceschinis: A Structural Colour Simplification in Well-Formed Coloured Nets. PNPM 1991: 144-153
3		Giovanni Chiola, Susanna Donatelli, Giuliana Franceschinis: GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? PNPM 1991: 20-31
	1989
2		Giovanni Chiola, Giuliana Franceschinis: Colored GSPN Models and Automatic Symmetry Detection. PNPM 1989: 50-60
	1987
1		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

1	S. Alciati	[47]
2	Cosimo Anglano	[27]
3	Souheib Baarir	[36] [45] [49]
4	Gianfranco Balbo	[1] [5] [9] [20] [51]
5	Paolo Ballarini	[25] [33] [37]
6	Marco Beccuti	[36] [45] [46] [48] [49] [50] [52]
7	C. Bertoncello	[29]
8	Andrea Bobbio	[28] [31] [43]
9	R. Bordino	[47]
10	Marco Botta	[35]
11	Oliver Botti	[18]
12	Alessio Bottrighi	[52]
13	Raffaele Calogero	[35]
14	Lorenzo Capra	[22] [24] [26] [33] [37] [41]
15	Giovanni Chiola	[1] [2] [3] [4] [6] [7] [12] [13] [19]
16	Alix L. H. Chow	[27]
17	Ester Ciancamerla	[28]
18	Gianni Conte	[20]
19	Francesca Cordero	[35]
20	F. Della Corte	[47]
21	C. Delamare	[36]
22	Susanna Donatelli	[3] [5] [9] [11] [14] [15] [17] [18] [20] [25] [36]
23	Claude Dutheillet	[7] [19] [22] [24] [26] [36]
24	Andrea Fumagalli	[21] [23]
25	Rossano Gaeta	[6] [12] [13] [28] [31] [36]
26	Leana Golubchik	[27]
27	Roberto Grasso	[21]
28	Marco Gribaudo	[29] [30] [38] [40] [47]
29	Serge Haddad	[7] [19] [46] [48]
30	Mauro Iacono	[29] [30] [34] [38] [39]
31	J-M. Ilie	[45]
32	Jean-Michel Ilié (Jean Michel Ilié)	[22] [24] [26] [36]
33	Mohamed Kaâniche	[50]
34	Karama Kanoun	[50]
35	Joost-Pieter Katoen	[44]
36	Fulvio Lazzarato	[35]
37	Adam Woei-Jyh Lee (Woei-Jyh Lee)	[27]
38	John C. S. Lui	[27]
39	Stefano Marrone	[38]
40	Marco Ajmone Marsan	[20]
41	Antonino Mazzeo	[9]
42	Nicola Mazzocca	[9] [11] [30] [34] [38]
43	Michele Minichino	[28]
44	Stefania Montani	[52]
45	Patrice Moreaux	[36]
46	Richard R. Muntz	[8] [10]
47	F. La Mura	[47]
48	Massimiliano De Pierro	[32] [33] [41] [43] [51]
49	Luigi Portinale	[28] [31]
50	Daniele Codetta Raiteri	[39] [40] [43] [46]
51	Marina Ribaudo	[9] [13] [16]
52	G. Molinar Roet	[1]
53	Stefano Russo	[11]
54	A. Silinguelli	[23]
55	Paolo Terenziani	[52]
56	Enrique Teruel	[32]
57	B. Tosi	[47]
58	Tak Fu Tung	[27]
59	Valeria Vittorini	[29] [30] [34] [38] [39]
60	Karsten Wolf (Karsten Schmidt)	[53]
61	C. Murray Woodside	[44]

Colors in the list of coauthors