| 2009 | ||
|---|---|---|
| 45 | Lucia Napione, Daniele Manini, Francesca Cordero, András Horváth, Andrea Picco, Massimiliano De Pierro, Simona Pavan, Matteo Sereno, Andrea Veglio, Federico Bussolino, Gianfranco Balbo: On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process. CMSB 2009: 281-295 | |
| 44 | Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis: Tagged Generalized Stochastic Petri Nets. EPEW 2009: 1-15 | |
| 2007 | ||
| 43 | Gianfranco Balbo: Introduction to Generalized Stochastic Petri Nets. SFM 2007: 83-131 | |
| 2005 | ||
| 42 | 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 | 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 | Gianfranco Balbo: Introduction to Stochastic Petri Nets. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 84-155 | |
| 39 | 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 | 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 | 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 | 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 | Gianfranco Balbo, Giovanni Chiola: Stochastic petri net simulation. Winter Simulation Conference 1989: 266-276 | |
| 21 | 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 | 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 | 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 | 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 | Gianfranco Balbo, G. Barbara Demo, Antonio Di Leva, Piercarlo Giolito: Dynamics Analysis in Database Design. ICDE 1984: 238-243 | |
| 6 | 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 | |