Gianfranco Balbo

Publication Activity (10 Years)

Years Active: 1977-2023
Publications (10 Years): 7

Top Topics

Multiple Sclerosis

Computational Biology

Queuing Network

Top Venues

Publications

Diletta Olliaro, Gianfranco Balbo, Andrea Marin, Matteo Sereno
Skipping and Fetching: Insights on Non-conventional Product-Form Solutions. QEST (2023)
Simone Pernice, Laura Follia, Gianfranco Balbo, Luciano Milanesi, Giulia Sartini, Niccoló Totis, Pietro Lió, Ivan Merelli, Francesca Cordero, Marco Beccuti
Integrating Petri Nets and Flux Balance Methods in Computational Biology Models: a Methodological and Computational Practice. Fundam. Informaticae 171 (1-4) (2020)
Simone Pernice, Marco Beccuti, Greta Romano, Marzio Pennisi, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro, Gianfranco Balbo, Francesca Cordero, Raffaele A. Calogero
Multiple Sclerosis disease: a computational approach for investigating its drug interactions. CoRR (2020)
Paolo Castagno, Simone Pernice, Gianni Ghetti, Massimiliano Povero, Lorenzo Pradelli, Daniela Paolotti, Gianfranco Balbo, Matteo Sereno, Marco Beccuti
A computational framework for modeling and studying pertussis epidemiology and vaccination. BMC Bioinform. (8) (2020)
Simone Pernice, Marco Beccuti, Greta Romano, Marzio Pennisi, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro, Gianfranco Balbo, Francesca Cordero, Raffaele A. Calogero
Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions. CIBB (2019)
Simone Pernice, Marzio Pennisi, Greta Romano, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Gianfranco Balbo, Marco Beccuti, Francesca Cordero, Raffaele A. Calogero
A computational approach based on the colored Petri net formalism for studying multiple sclerosis. BMC Bioinform. (6) (2019)
Alessio Angius, András Horváth, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo
Exploiting flow equivalent server in transient analysis. Comput. Syst. Sci. Eng. 31 (4) (2016)
Marco Beccuti, Chiara Fornari, Giuliana Franceschinis, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo
From Symmetric Nets to Differential Equations exploiting Model Symmetries. Comput. J. 58 (1) (2015)
Chiara Fornari, Gianfranco Balbo, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Raffaele A. Calogero, Francesca Cordero, Marco Beccuti
A versatile mathematical work-flow to explore how Cancer Stem Cell fate influences tumor progression. BMC Syst. Biol. 9 (S-3) (2015)
Alessio Angius, Gianfranco Balbo, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich
Approximate analysis of biological systems by hybrid switching jump diffusion. Theor. Comput. Sci. 587 (2015)
Alessio Angius, András Horváth, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo
Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks. ASMTA (2015)
Gianfranco Balbo, Maria Grazia Vigliotti
On the Analysis of a M/M/1 Queue with Bulk Services. Comput. J. 58 (1) (2015)
Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo
Analysis of Petri Net Models through Stochastic Differential Equations. Petri Nets (2014)
Alessio Angius, Gianfranco Balbo, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich
Approximate analysis of biological systems by hybrid switching jump diffusion. CoRR (2014)
Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo
Analysis of Petri Net Models through Stochastic Differential Equations. CoRR (2014)
Francesca Cordero, Marco Beccuti, Chiara Fornari, Stefania Lanzardo, Laura Conti, Federica Cavallo, Gianfranco Balbo, Raffaele A. Calogero
Multi-level model for the investigation of oncoantigen-driven vaccination effect. BMC Bioinform. 14 (S-6) (2013)
Gianfranco Balbo
Titans talk on "modeling and simulation of complex systems: are petri nets useful?". WSC (2012)
Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
Computing first passage time distributions in stochastic well-formed nets. ICPE (2011)
Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
First Passage Time Computation in Tagged GSPNs with Queue Places. Comput. J. 54 (5) (2011)
Francesca Cordero, Stefania Lanzardo, Maddalena Arigoni, Chiara Fornari, Laura Conti, Gianfranco Balbo, Federica Cavallo, Daniele Manini, Raffaele A. Calogero
Cancer stem cell based adjuvant for oncoantingen-driven vaccination. BCB (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) (2011)
Chiara Fornari, Francesca Cordero, Daniele Manini, Gianfranco Balbo, Raffaele A. Calogero
Mathematical Approach to Predict the Drug Effects on Cancer Stem Cell Models. Electron. Notes Theor. Comput. Sci. 277 (2011)
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)
Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
Stochastic Petri Nets Sensitivity to Token Scheduling Policies. OR (2010)
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)
Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis
Tagged Generalized Stochastic Petri Nets. EPEW (2009)
Gianfranco Balbo
Introduction to Generalized Stochastic Petri Nets. SFM (2007)
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. Evaluation 62 (1-4) (2005)
Gianfranco Balbo, Steven C. Bruell, Matteo Sereno
On the relations between BCMP queueing networks and product form solution stochastic petri nets. PNPM (2003)
Gianfranco Balbo, Steven C. Bruell, Matteo Sereno
Product Form Solution for Generalized Stochastic Petri Nets. IEEE Trans. Software Eng. 28 (10) (2002)
Simona Bernardi, Gianfranco Balbo
Concurrent Generalized Petri Nets: Regenerative Conditions. PNPM (2001)
Gianfranco Balbo, Steven C. Bruell, Matteo Sereno
Embedded Processes in Generalized Stochastic Petri Nets. PNPM (2001)
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) (2000)
Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte
The Early Days of GSPNs. Performance Evaluation (2000)
Gianfranco Balbo
Introduction to Stochastic Petri Nets. European Educational Forum: School on Formal Methods and Performance Analysis (2000)
Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, Giuliana Franceschinis
Modelling with Generalized Stochastic Petri Nets. SIGMETRICS Perform. Evaluation Rev. 26 (2) (1998)
Matteo Sereno, Gianfranco Balbo
Mean Value Analysis of Stochastic Petri Nets. Perform. Evaluation 29 (1) (1997)
Gianfranco Balbo, Giuseppe Serazzi
Asymptotic Analysis of Multiclass Closed Queueing Networks: Multiple Bottlenecks. Perform. Evaluation 30 (3) (1997)
Gianfranco Balbo, Giuseppe Serazzi
Asymptotic Analysis of Multiclass Closed Queueing Networks: Common Bottleneck. Perform. Evaluation 26 (1) (1996)
Gianfranco Balbo
On the success of stochastic Petri nets. PNPM (1995)
Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. Perform. Evaluation 19 (2-3) (1994)
Gianfranco Balbo, Steven C. Bruell, Matteo Sereno
Arrival Theorems for Product-Form Stochastic Petri Nets. SIGMETRICS (1994)
Matteo Sereno, Gianfranco Balbo
Computational algorithms for product form solution stochastic Petri nets. PNPM (1993)
Gianfranco Balbo
Performance Evaluation and Concurrent Programming. MMB (1993)
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) (1993)
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 Distributed Syst. 3 (2) (1992)
Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis
Understanding Parallel Program Behavior through Petri Net Models. J. Parallel Distributed Comput. 15 (3) (1992)
Gianfranco Balbo
Performance Issues in Parallel Programming. Application and Theory of Petri Nets (1992)
Marco Ajmone Marsan, Gianfranco Balbo, Giorgio Bruno, Fabio Neri
TOPNET: A Tool for the Visual Simulation of Communication Networks. IEEE J. Sel. Areas Commun. 8 (9) (1990)
Gianfranco Balbo, Giovanni Chiola
Stochastic petri net simulation. WSC (1989)
Steven C. Bruell, Pozung Chen, Gianfranco Balbo
Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets. PNPM (1989)
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) (1989)
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)
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) (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) (1988)
Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte
Applicability of Stochastic Petri Nets to Performance Modeling. Computer Performance and Reliability (1987)
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)
Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte
Modeling the Software Architecture of a Prototype Parallel Machine. SIGMETRICS (1987)
Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte
Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities. PNPM (1987)
Gianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet
Generalized stochastic Petri nets for the performance evaluation of FMS. ICRA (1987)
Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Susanna Donatelli
On the product-form solution of a class of multiple-bus multiprocessor system models. J. Syst. Softw. 6 (1-2) (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) (1986)
Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta
The solution of homogeneous queueing networks with many job classes. J. Syst. Softw. 6 (1-2) (1986)
Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani
On Petri Nets with Stochastic Timing. PNPM (1985)
Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta
Modeling Priority Schemes. SIGMETRICS (1985)
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)
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) (1984)
Gianfranco Balbo, G. Barbara Demo, Antonio Di Leva, Piercarlo Giolito
Dynamics Analysis in Database Design. ICDE (1984)
Steven C. Bruell, Gianfranco Balbo, P. V. Afshari
Mean value analysis of mixed, multiple class BCMP networks with load dependent service stations. Perform. Evaluation 4 (4) (1984)
Gianfranco Balbo, Antonio Di Leva, Giovanni Maria Sacco
Adaptive Query Optimization in Point-To-Point Networks. DDSS (1984)
Gianfranco Balbo, Steven C. Bruell
Computational aspects of aggregation in multiple class queueing networks. Perform. Evaluation 3 (3) (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) (1983)
Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte
A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems. SIGMETRICS (1983)
Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte
Comparative Performance Analysis of Single Bus Multiprocessor Architectures. IEEE Trans. Computers 31 (12) (1982)
Gianfranco Balbo, Steven C. Bruell
Aggregation in Multiclass Queueing Networks. Int. CMG Conference (1981)
Gianfranco Balbo, Peter J. Denning
Homogeneous Approximations of General Queueing Networks. Performance (1979)
Gianfranco Balbo, Steven C. Bruell, Herbert D. Schwetman
Customer Classes and Closed Network Models-A Solution Technique. IFIP Congress (1977)