Giuliana Franceschinis

2008
49	EE	Souheib Baarir, Marco Beccuti, Giuliana Franceschinis: New Solvers for Asymmetric Systems in GreatSPN. QEST 2008: 235-236
2007
48	EE	Marco Beccuti, Giuliana Franceschinis, Serge Haddad: Markov Decision Petri Net and Markov Decision Well-Formed Net Formalisms. ICATPN 2007: 43-62
47	EE	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	EE	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	EE	Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, J-M. Ilie: Efficient lumpability check in partially symmetric systems. QEST 2006: 211-220
44	EE	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	EE	Andrea Bobbio, Daniele Codetta Raiteri, Massimiliano De Pierro, Giuliana Franceschinis: Efficient Analysis Algorithms for Parametric Fault Trees. FIRB-Perf 2005: 91-105
42	EE	Giuliana Franceschinis: Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets. ICATPN 2005: 1-14
41	EE	Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis: A High Level Language for Structural Relations in Well-Formed Nets. ICATPN 2005: 168-187
40	EE	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	EE	Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini: Repairable Fault Tree for the Automatic Evaluation of Repair Policies. DSN 2004: 659-668
38	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Valeria Vittorini, C. Bertoncello: DrawNet++: A Flexible Framework for Building Dependability Models. DSN 2002: 540
28	EE	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	EE	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	EE	Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis: Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN 2000: 43-62
24	EE	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	EE	Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié: Towards Performance Analysis with Partially Symmetrical SWN. MASCOTS 1999: 148-155
1998
21	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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]
5	Paolo Ballarini	[25] [33] [37]
6	Marco Beccuti	[36] [45] [46] [48] [49]
7	C. Bertoncello	[29]
8	Andrea Bobbio	[28] [31] [43]
9	R. Bordino	[47]
10	Marco Botta	[35]
11	Oliver Botti	[18]
12	Raffaele Calogero	[35]
13	Lorenzo Capra	[22] [24] [26] [33] [37] [41]
14	Giovanni Chiola	[1] [2] [3] [4] [6] [7] [12] [13] [19]
15	Alix L. H. Chow	[27]
16	Ester Ciancamerla	[28]
17	Gianni Conte	[20]
18	Francesca Cordero	[35]
19	F. Della Corte	[47]
20	C. Delamare	[36]
21	Susanna Donatelli	[3] [5] [9] [11] [14] [15] [17] [18] [20] [25] [36]
22	Claude Dutheillet	[7] [19] [22] [24] [26] [36]
23	Andrea Fumagalli	[21] [23]
24	Rossano Gaeta	[6] [12] [13] [28] [31] [36]
25	Leana Golubchik	[27]
26	Roberto Grasso	[21]
27	Marco Gribaudo	[29] [30] [38] [40] [47]
28	Serge Haddad	[7] [19] [46] [48]
29	Mauro Iacono	[29] [30] [34] [38] [39]
30	J-M. Ilie	[45]
31	Jean-Michel Ilié (Jean Michel Ilié)	[22] [24] [26] [36]
32	Joost-Pieter Katoen	[44]
33	Fulvio Lazzarato	[35]
34	Adam Woei-Jyh Lee (Woei-Jyh Lee)	[27]
35	John C. S. Lui	[27]
36	Stefano Marrone	[38]
37	Marco Ajmone Marsan	[20]
38	Antonino Mazzeo	[9]
39	Nicola Mazzocca	[9] [11] [30] [34] [38]
40	Michele Minichino	[28]
41	Patrice Moreaux	[36]
42	Richard R. Muntz	[8] [10]
43	F. La Mura	[47]
44	Massimiliano De Pierro	[32] [33] [41] [43]
45	Luigi Portinale	[28] [31]
46	Daniele Codetta Raiteri	[39] [40] [43] [46]
47	Marina Ribaudo	[9] [13] [16]
48	G. Molinar Roet	[1]
49	Stefano Russo	[11]
50	A. Silinguelli	[23]
51	Enrique Teruel	[32]
52	B. Tosi	[47]
53	Tak Fu Tung	[27]
54	Valeria Vittorini	[29] [30] [34] [38] [39]
55	C. Murray Woodside	[44]

Colors in the list of coauthors