Giuliana Franceschinis

	2011
61		Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis: Computing first passage time distributions in stochastic well-formed nets. ICPE 2011: 7-18
60		Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis: Probe Automata for Passage Time Specification. QEST 2011: 101-110
59		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)
58		Souheib Baarir, Marco Beccuti, Claude Dutheillet, Giuliana Franceschinis, Serge Haddad: Lumping partially symmetrical stochastic models. Perform. Eval. 68(1): 21-44 (2011)
	2010
57		Antti Valmari, Giuliana Franceschinis: Simple O(m logn) Time Markov Chain Lumping. TACAS 2010: 38-52
56		Giuliana Franceschinis, Wojciech Penczek, Karsten Wolf: Preface. Fundam. Inform. 105(3): (2010)
	2009
55		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
54		Marco Beccuti, Alessio Bottrighi, Giuliana Franceschinis, Stefania Montani, Paolo Terenziani: Modeling Clinical Guidelines through Petri Nets. AIME 2009: 61-70
53		Marco Beccuti, Giuliana Franceschinis, Daniele Codetta Raiteri, Serge Haddad: Parametric NdRFT for the derivation of optimal repair strategies. DSN 2009: 399-408
52		Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis: Tagged Generalized Stochastic Petri Nets. EPEW 2009: 1-15
51		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)
	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): 231-257 (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	Elvio Gilberto Amparore	[60]
3	Cosimo Anglano	[27]
4	Souheib Baarir	[36] [45] [49] [51] [58]
5	Gianfranco Balbo	[1] [5] [9] [20] [52] [59] [61]
6	Paolo Ballarini	[25] [33] [37]
7	Marco Beccuti	[36] [45] [46] [48] [49] [50] [51] [53] [54] [58] [59] [60] [61]
8	C. Bertoncello	[29]
9	Andrea Bobbio	[28] [31] [43]
10	R. Bordino	[47]
11	Marco Botta	[35]
12	Oliver Botti	[18]
13	Alessio Bottrighi	[54]
14	Raffaele Calogero	[35]
15	Lorenzo Capra	[22] [24] [26] [33] [37] [41]
16	Davide Cerotti	[51]
17	Giovanni Chiola	[1] [2] [3] [4] [6] [7] [12] [13] [19]
18	Alix L. H. Chow	[27]
19	Ester Ciancamerla	[28]
20	Gianni Conte	[20]
21	Francesca Cordero	[35]
22	F. Della Corte	[47]
23	C. Delamare	[36]
24	Susanna Donatelli	[3] [5] [9] [11] [14] [15] [17] [18] [20] [25] [36] [51] [60]
25	Claude Dutheillet	[7] [19] [22] [24] [26] [36] [58]
26	Andrea Fumagalli	[21] [23]
27	Rossano Gaeta	[6] [12] [13] [28] [31] [36]
28	Leana Golubchik	[27]
29	Roberto Grasso	[21]
30	Marco Gribaudo	[29] [30] [38] [40] [47]
31	Serge Haddad	[7] [19] [46] [48] [53] [58]
32	Mauro Iacono	[29] [30] [34] [38] [39]
33	J-M. Ilie	[45]
34	Jean-Michel Ilié (Jean Michel Ilié)	[22] [24] [26] [36]
35	Mohamed Kaâniche	[50]
36	Karama Kanoun	[50]
37	Joost-Pieter Katoen	[44]
38	Fulvio Lazzarato	[35]
39	Adam Woei-Jyh Lee (Woei-Jyh Lee)	[27]
40	John C. S. Lui (John Chi-Shing Lui)	[27]
41	Stefano Marrone	[38]
42	Marco Ajmone Marsan	[20]
43	Antonino Mazzeo	[9]
44	Nicola Mazzocca	[9] [11] [30] [34] [38]
45	Michele Minichino	[28]
46	Stefania Montani	[54]
47	Patrice Moreaux	[36]
48	Richard R. Muntz	[8] [10]
49	F. La Mura	[47]
50	Wojciech Penczek	[56]
51	Massimiliano De Pierro	[32] [33] [41] [43] [51] [52] [59] [61]
52	Luigi Portinale	[28] [31]
53	Daniele Codetta Raiteri	[39] [40] [43] [46] [53]
54	Marina Ribaudo	[9] [13] [16]
55	G. Molinar Roet	[1]
56	Stefano Russo	[11]
57	A. Silinguelli	[23]
58	Paolo Terenziani	[54]
59	Enrique Teruel	[32]
60	B. Tosi	[47]
61	Tak Fu Tung	[27]
62	Antti Valmari	[57]
63	Valeria Vittorini	[29] [30] [34] [38] [39]
64	Karsten Wolf (Karsten Schmidt)	[55] [56]
65	C. Murray Woodside	[44]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page