Gianfranco Balbo

Gianfranco Balbo: Titans talk on "modeling and simulation of complex systems: are petri nets useful?". Winter Simulation Conference 2012: 321

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)

Chiara Fornari, Francesca Cordero, Daniele Manini, Gianfranco Balbo, Raffaele Calogero: Mathematical Approach to Predict the Drug Effects on Cancer Stem Cell Models. Electr. Notes Theor. Comput. Sci. 277: 29-39 (2011)

Francesca Cordero, András Horváth, Daniele Manini, Lucia Napione, Massimiliano De Pierro, Simona Pavan, Andrea Picco, Andrea Veglio, Matteo Sereno, Federico Bussolino, Gianfranco Balbo: Simplification of a complex signal transduction model using invariants and flow equivalent servers. Theor. Comput. Sci. 412(43): 6036-6057 (2011)

Francesca Cordero, Stefania Lanzardo, Maddalena Arigoni, Chiara Fornari, Laura Conti, Gianfranco Balbo, Federica Cavallo, Daniele Manini, Raffaele Calogero: Cancer stem cell based adjuvant for oncoantingen-driven vaccination. BCB 2011: 564-568

Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis: Computing first passage time distributions in stochastic well-formed nets. ICPE 2011: 7-18

Alessio Angius, Gianfranco Balbo, Francesca Cordero, András Horváth, Daniele Manini: Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten against the Equivalent Server. ACSD/Petri Nets Workshops 2010: 55-69

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

Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis: Tagged Generalized Stochastic Petri Nets. EPEW 2009: 1-15

Gianfranco Balbo: Introduction to Generalized Stochastic Petri Nets. SFM 2007: 83-131

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)

Gianfranco Balbo, Steven C. Bruell, Matteo Sereno: Product Form Solution for Generalized Stochastic Petri Nets. IEEE Trans. Software Eng. 28(10): 915-932 (2002)

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)

Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte: The Early Days of GSPNs. Performance Evaluation 2000: 505-512

Gianfranco Balbo: Introduction to Stochastic Petri Nets. European Educational Forum: School on Formal Methods and Performance Analysis 2000: 84-155

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)

Matteo Sereno, Gianfranco Balbo: Mean Value Analysis of Stochastic Petri Nets. Perform. Eval. 29(1): 35-62 (1997)

Gianfranco Balbo, Giuseppe Serazzi: Asymptotic Analysis of Multiclass Closed Queueing Networks: Multiple Bottlenecks. Perform. Eval. 30(3): 115-152 (1997)

Pierre Azéma, Gianfranco Balbo (Eds.): Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings. Lecture Notes in Computer Science 1248, Springer 1997, isbn 3-540-63139-9

Gianfranco Balbo, Giuseppe Serazzi: Asymptotic Analysis of Multiclass Closed Queueing Networks: Common Bottleneck. Perform. Eval. 26(1): 51-72 (1996)

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)

Gianfranco Balbo, Steven C. Bruell, Matteo Sereno: Arrival Theorems for Product-Form Stochastic Petri Nets. SIGMETRICS 1994: 87-97

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)

Gianfranco Balbo: Performance Evaluation and Concurrent Programming. MMB 1993: 1-14

Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis: Understanding Parallel Program Behavior through Petri Net Models. J. Parallel Distrib. Comput. 15(3): 171-187 (1992)

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)

Gianfranco Balbo: Performance Issues in Parallel Programming. Application and Theory of Petri Nets 1992: 1-23

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)

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)

Steven C. Bruell, Pozung Chen, Gianfranco Balbo: Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets. PNPM 1989: 187-197

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

Gianfranco Balbo, Giovanni Chiola: Stochastic petri net simulation. Winter Simulation Conference 1989: 266-276

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)

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)

Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte: Applicability of Stochastic Petri Nets to Performance Modeling. Computer Performance and Reliability 1987: 517-534

Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte: Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities. PNPM 1987: 44-53

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

Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte: Modeling the Software Architecture of a Prototype Parallel Machine. SIGMETRICS 1987: 175-185

Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte: Performance models of multiprocessor systems. MIT Press series in computer systems, MIT Press 1986, isbn 978-0-262-01093-1, pp. I-XIV, 1-280

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)

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)

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)

Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani: On Petri Nets with Stochastic Timing. PNPM 1985: 80-87

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

Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta: Modeling Priority Schemes. SIGMETRICS 1985: 15-26

Steven C. Bruell, Gianfranco Balbo, P. V. Afshari: Mean value analysis of mixed, multiple class BCMP networks with load dependent service stations. Perform. Eval. 4(4): 241-260 (1984)

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)

Gianfranco Balbo, Antonio Di Leva, Giovanni Maria Sacco: Adaptive Query Optimization in Point-To-Point Networks. DDSS 1984: 119-129

Gianfranco Balbo, G. Barbara Demo, Antonio Di Leva, Piercarlo Giolito: Dynamics Analysis in Database Design. ICDE 1984: 238-243

Gianfranco Balbo, Steven C. Bruell: Computational aspects of aggregation in multiple class queueing networks. Perform. Eval. 3(3): 177-185 (1983)

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)

Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte: A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems. SIGMETRICS 1983: 198-199

Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte: Comparative Performance Analysis of Single Bus Multiprocessor Architectures. IEEE Trans. Computers 31(12): 1179-1191 (1982)

Gianfranco Balbo, Steven C. Bruell: Aggregation in Multiclass Queueing Networks. Int. CMG Conference 1981: 92-96

Gianfranco Balbo, Peter J. Denning: Homogeneous Approximations of General Queueing Networks. Performance 1979: 353-374

Gianfranco Balbo, Steven C. Bruell, Herbert D. Schwetman: Customer Classes and Closed Network Models-A Solution Technique. IFIP Congress 1977: 559-564