2007 |
43 | EE | Gianfranco Balbo:
Introduction to Generalized Stochastic Petri Nets.
SFM 2007: 83-131 |
2005 |
42 | EE | Rossano Gaeta,
Gianfranco Balbo,
Steven C. Bruell,
Marco Gribaudo,
Matteo Sereno:
A simple analytical framework to analyze search strategies in large-scale peer-to-peer networks.
Perform. Eval. 62(1-4): 1-16 (2005) |
2002 |
41 | EE | Gianfranco Balbo,
Steven C. Bruell,
Matteo Sereno:
Product Form Solution for Generalized Stochastic Petri Nets.
IEEE Trans. Software Eng. 28(10): 915-932 (2002) |
2000 |
40 | EE | Gianfranco Balbo:
Introduction to Stochastic Petri Nets.
European Educational Forum: School on Formal Methods and Performance Analysis 2000: 84-155 |
39 | EE | Marco Ajmone Marsan,
Gianfranco Balbo,
Gianni Conte:
The Early Days of GSPNs.
Performance Evaluation 2000: 505-512 |
38 | | Gianfranco Balbo:
Review: Performance Modeling with Deterministic and Stochastic Petri Nets - Christoph Lindemann, Wiley-Interscience Series in Systems and Optimization, Wiley, New York, 1998, 405 pages, ISBN 0-471-97646-6.
Sci. Comput. Program. 38(1-3): 143-146 (2000) |
1998 |
37 | 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 |
36 | | Pierre Azéma,
Gianfranco Balbo:
Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings
Springer 1997 |
35 | | Matteo Sereno,
Gianfranco Balbo:
Mean Value Analysis of Stochastic Petri Nets.
Perform. Eval. 29(1): 35-62 (1997) |
34 | | Gianfranco Balbo,
Giuseppe Serazzi:
Asymptotic Analysis of Multiclass Closed Queueing Networks: Multiple Bottlenecks.
Perform. Eval. 30(3): 115-152 (1997) |
1996 |
33 | | Gianfranco Balbo,
Giuseppe Serazzi:
Asymptotic Analysis of Multiclass Closed Queueing Networks: Common Bottleneck.
Perform. Eval. 26(1): 51-72 (1996) |
1994 |
32 | | Gianfranco Balbo,
Steven C. Bruell,
Matteo Sereno:
Arrival Theorems for Product-Form Stochastic Petri Nets.
SIGMETRICS 1994: 87-97 |
31 | | 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) |
1993 |
30 | | Gianfranco Balbo:
Performance Evaluation and Concurrent Programming.
MMB 1993: 1-14 |
29 | EE | Giovanni Chiola,
Marco Ajmone Marsan,
Gianfranco Balbo,
Gianni Conte:
Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications.
IEEE Trans. Software Eng. 19(2): 89-107 (1993) |
1992 |
28 | | Gianfranco Balbo:
Performance Issues in Parallel Programming.
Application and Theory of Petri Nets 1992: 1-23 |
27 | EE | Gianfranco Balbo,
Giovanni Chiola,
Steven C. Bruell,
Pozung Chen:
An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm.
IEEE Trans. Parallel Distrib. Syst. 3(2): 221-240 (1992) |
26 | | Gianfranco Balbo,
Susanna Donatelli,
Giuliana Franceschinis:
Understanding Parallel Program Behavior through Petri Net Models.
J. Parallel Distrib. Comput. 15(3): 171-187 (1992) |
1990 |
25 | | Marco Ajmone Marsan,
Gianfranco Balbo,
Giorgio Bruno,
Fabio Neri:
TOPNET: A Tool for the Visual Simulation of Communication Networks.
IEEE Journal on Selected Areas in Communications 8(9): 1735-1747 (1990) |
1989 |
24 | | Steven C. Bruell,
Pozung Chen,
Gianfranco Balbo:
Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets.
PNPM 1989: 187-197 |
23 | | Gianfranco Balbo,
Giovanni Chiola,
Steven C. Bruell,
Pozung Chen:
An Example of Validation and Evaluation ofa Concurrent Program: Lamport's Fast Mutual Exclusion Algorithm.
SIGMETRICS 1989: 222 |
22 | EE | Gianfranco Balbo,
Giovanni Chiola:
Stochastic petri net simulation.
Winter Simulation Conference 1989: 266-276 |
21 | EE | Marco Ajmone Marsan,
Gianfranco Balbo,
Andrea Bobbio,
Giovanni Chiola,
Gianni Conte,
Aldo Cumani:
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets.
IEEE Trans. Software Eng. 15(7): 832-846 (1989) |
1988 |
20 | | Gianfranco Balbo,
Steven C. Bruell,
Subbarao Ghanta:
Combining Queueing Networks and Generalized Stochastic Petri Nets for the Solution of Complex Models of System Behavior.
IEEE Trans. Computers 37(10): 1251-1268 (1988) |
19 | | Giovanni Chiola,
Marco Ajmone Marsan,
Gianfranco Balbo:
Product-Form Solution Techniques for the Performance Analysis of Multiple-Bus Multiprocessor Systems with Nonuniform Memory References.
IEEE Trans. Computers 37(5): 532-540 (1988) |
1987 |
18 | | Marco Ajmone Marsan,
Gianfranco Balbo,
Giovanni Chiola,
Gianni Conte:
Applicability of Stochastic Petri Nets to Performance Modeling.
Computer Performance and Reliability 1987: 517-534 |
17 | | 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 |
16 | | Marco Ajmone Marsan,
Gianfranco Balbo,
Giovanni Chiola,
Gianni Conte:
Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities.
PNPM 1987: 44-53 |
15 | EE | Marco Ajmone Marsan,
Gianfranco Balbo,
Giovanni Chiola,
Gianni Conte:
Modeling the Software Architecture of a Prototype Parallel Machine.
SIGMETRICS 1987: 175-185 |
1986 |
14 | | Gianfranco Balbo,
Steven C. Bruell,
Subbarao Ghanta:
Combining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of Some Software Blocking Phenomena.
IEEE Trans. Software Eng. 12(4): 561-576 (1986) |
13 | EE | Marco Ajmone Marsan,
Gianfranco Balbo,
Giovanni Chiola,
Susanna Donatelli:
On the product-form solution of a class of multiple-bus multiprocessor system models.
Journal of Systems and Software 6(1-2): 117-124 (1986) |
12 | EE | Gianfranco Balbo,
Steven C. Bruell,
Subbarao Ghanta:
The solution of homogeneous queueing networks with many job classes.
Journal of Systems and Software 6(1-2): 41-53 (1986) |
1985 |
11 | | Gianfranco Balbo,
Steven C. Bruell,
Subbarao Ghanta:
Combining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of a Software Blocking Phenomenon.
PNPM 1985: 208-225 |
10 | | Marco Ajmone Marsan,
Gianfranco Balbo,
Andrea Bobbio,
Giovanni Chiola,
Gianni Conte,
Aldo Cumani:
On Petri Nets with Stochastic Timing.
PNPM 1985: 80-87 |
9 | | Gianfranco Balbo,
Steven C. Bruell,
Subbarao Ghanta:
Modeling Priority Schemes.
SIGMETRICS 1985: 15-26 |
1984 |
8 | | Gianfranco Balbo,
Antonio Di Leva,
Giovanni Maria Sacco:
Adaptive Query Optimization in Point-To-Point Networks.
DDSS 1984: 119-129 |
7 | EE | Gianfranco Balbo,
G. Barbara Demo,
Antonio Di Leva,
Piercarlo Giolito:
Dynamics Analysis in Database Design.
ICDE 1984: 238-243 |
6 | EE | Marco Ajmone Marsan,
Gianni Conte,
Gianfranco Balbo:
A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems
ACM Trans. Comput. Syst. 2(2): 93-122 (1984) |
1983 |
5 | | Marco Ajmone Marsan,
Gianfranco Balbo,
Gianni Conte,
Francesco Gregoretti:
Modeling Bus Contention and Memory Interference in a Multiprocessor System.
IEEE Trans. Computers 32(1): 60-72 (1983) |
1982 |
4 | | Marco Ajmone Marsan,
Gianfranco Balbo,
Gianni Conte:
Comparative Performance Analysis of Single Bus Multiprocessor Architectures.
IEEE Trans. Computers 31(12): 1179-1191 (1982) |
1981 |
3 | | Gianfranco Balbo,
Steven C. Bruell:
Aggregation in Multiclass Queueing Networks.
Int. CMG Conference 1981: 92-96 |
1979 |
2 | | Gianfranco Balbo,
Peter J. Denning:
Homogeneous Approximations of General Queueing Networks.
Performance 1979: 353-374 |
1977 |
1 | | Gianfranco Balbo,
Steven C. Bruell,
Herbert D. Schwetman:
Customer Classes and Closed Network Models-A Solution Technique.
IFIP Congress 1977: 559-564 |