| 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 |