Gianfranco Balbo

86 papers A* 7B 2Misc 3Journal 40Unranked 28
YearRankTypeTitle / Venue / Authors
2025 J jnl
Computational algorithms and arrival theorem for non-conventional product-form solutions.
Perform. Evaluation
Diletta Olliaro, Gianfranco Balbo, Andrea Marin, Matteo Sereno
2025 J jnl
Stochastic Models for Remote Timing Attacks.
Proc. Priv. Enhancing Technol.
Simone Bozzolan, Diletta Olliaro, Stefano Calzavara, Andrea Marin, Gianfranco Balbo, Matteo Sereno
2024 J jnl
Computational Algorithms for the Product Form Solution of Closed Queuing Networks with Finite Buffers and Skip-Over Policy.
CoRR
Gianfranco Balbo, Andrea Marin, Diletta Olliaro, Matteo Sereno
2023 — conf
Skipping and Fetching: Insights on Non-conventional Product-Form Solutions.
QEST
Diletta Olliaro, Gianfranco Balbo, Andrea Marin, Matteo Sereno
2020 J jnl
A computational framework for modeling and studying pertussis epidemiology and vaccination.
BMC Bioinform.
Paolo Castagno, Simone Pernice, Gianni Ghetti, Massimiliano Povero, Lorenzo Pradelli, Daniela Paolotti, Gianfranco Balbo, Matteo Sereno, Marco Beccuti
2020 J jnl
Integrating Petri Nets and Flux Balance Methods in Computational Biology Models: a Methodological and Computational Practice.
Fundam. Informaticae
Simone Pernice, Laura Follia, Gianfranco Balbo, Luciano Milanesi, Giulia Sartini, Niccoló Totis, Pietro Lió, Ivan Merelli, Francesca Cordero, Marco Beccuti
2020 J jnl
Multiple Sclerosis disease: a computational approach for investigating its drug interactions.
CoRR
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
2019 J jnl
A computational approach based on the colored Petri net formalism for studying multiple sclerosis.
BMC Bioinform.
Simone Pernice, Marzio Pennisi, Greta Romano, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo, Gianfranco Balbo, Marco Beccuti, Francesca Cordero, Raffaele A. Calogero
2019 — conf
Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug Interactions.
CIBB
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
2019 — ch.
On Petri Nets in Performance and Reliability Evaluation of Discrete Event Dynamic Systems.
Carl Adam Petri: Ideas, Personality, Impact
Gianfranco Balbo, Gianfranco Ciardo
2016 J jnl
Exploiting flow equivalent server in transient analysis.
Comput. Syst. Sci. Eng.
Alessio Angius, András Horváth, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo
2015 J jnl
A versatile mathematical work-flow to explore how Cancer Stem Cell fate influences tumor progression.
BMC Syst. Biol.
Chiara Fornari, Gianfranco Balbo, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Raffaele A. Calogero, Francesca Cordero, Marco Beccuti
2015 J jnl
Approximate analysis of biological systems by hybrid switching jump diffusion.
Theor. Comput. Sci.
Alessio Angius, Gianfranco Balbo, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich
2015 J jnl
From Symmetric Nets to Differential Equations exploiting Model Symmetries.
Comput. J.
Marco Beccuti, Chiara Fornari, Giuliana Franceschinis, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo
2015 J jnl
On the Analysis of a M/M/1 Queue with Bulk Services.
Comput. J.
Gianfranco Balbo, Maria Grazia Vigliotti
2015 — conf
Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks.
ASMTA
Alessio Angius, András Horváth, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo
2014 B conf
Analysis of Petri Net Models through Stochastic Differential Equations.
Petri Nets
Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo
2014 J jnl
Analysis of Petri Net Models through Stochastic Differential Equations.
CoRR
Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo
2014 J jnl
Approximate analysis of biological systems by hybrid switching jump diffusion.
CoRR
Alessio Angius, Gianfranco Balbo, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich
2013 J jnl
Multi-level model for the investigation of oncoantigen-driven vaccination effect.
BMC Bioinform.
Francesca Cordero, Marco Beccuti, Chiara Fornari, Stefania Lanzardo, Laura Conti, Federica Cavallo, Gianfranco Balbo, Raffaele A. Calogero
2013 — ed.
Proceedings of the International Workshop on Biological Processes & Petri Nets, Milano, Italy, June 24, 2013
BioPPN@Petri Nets
Gianfranco Balbo, Monika Heiner
2013 — ed.
Transactions on Petri Nets and Other Models of Concurrency VII
Trans. Petri Nets and Other Models of Concurrency
Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
2012 Misc conf
Titans talk on "modeling and simulation of complex systems: are petri nets useful?".
WSC
Gianfranco Balbo
2011 — conf
Cancer stem cell based adjuvant for oncoantingen-driven vaccination.
BCB
Francesca Cordero, Stefania Lanzardo, Maddalena Arigoni, Chiara Fornari, Laura Conti, Gianfranco Balbo, Federica Cavallo, Daniele Manini, Raffaele A. Calogero
2011 B conf
Computing first passage time distributions in stochastic well-formed nets.
ICPE
Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
2011 J jnl
First Passage Time Computation in Tagged GSPNs with Queue Places.
Comput. J.
Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
2011 — conf
Mathematical Approach to Predict the Drug Effects on Cancer Stem Cell Models.
CS2Bio@DisCoTec
Chiara Fornari, Francesca Cordero, Daniele Manini, Gianfranco Balbo, Raffaele A. Calogero
2011 J jnl
Simplification of a complex signal transduction model using invariants and flow equivalent servers.
Theor. Comput. Sci.
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
2010 — conf
Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten against the Equivalent Server.
ACSD/Petri Nets Workshops
Alessio Angius, Gianfranco Balbo, Francesca Cordero, András Horváth, Daniele Manini
2010 — conf
Stochastic Petri Nets Sensitivity to Token Scheduling Policies.
OR
Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis
2009 — conf
On the Use of Stochastic Petri Nets in the Analysis of Signal Transduction Pathways for Angiogenesis Process.
CMSB
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
2009 — conf
Tagged Generalized Stochastic Petri Nets.
EPEW
Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis
2007 — conf
Introduction to Generalized Stochastic Petri Nets.
SFM
Gianfranco Balbo
2005 J jnl
A simple analytical framework to analyze search strategies in large-scale peer-to-peer networks.
Perform. Evaluation
Rossano Gaeta, Gianfranco Balbo, Steven C. Bruell, Marco Gribaudo, Matteo Sereno
2003 — conf
On the relations between BCMP queueing networks and product form solution stochastic petri nets.
PNPM
Gianfranco Balbo, Steven C. Bruell, Matteo Sereno
2002 J jnl
Product Form Solution for Generalized Stochastic Petri Nets.
IEEE Trans. Software Eng.
Gianfranco Balbo, Steven C. Bruell, Matteo Sereno
2001 — conf
Concurrent Generalized Petri Nets: Regenerative Conditions.
PNPM
Simona Bernardi, Gianfranco Balbo
2001 — conf
Embedded Processes in Generalized Stochastic Petri Nets.
PNPM
Gianfranco Balbo, Steven C. Bruell, Matteo Sereno
2000 — conf
Introduction to Stochastic Petri Nets.
European Educational Forum: School on Formal Methods and Performance Analysis
Gianfranco Balbo
2000 J jnl
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.
Gianfranco Balbo
2000 — conf
The Early Days of GSPNs.
Performance Evaluation
Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte
1998 J jnl
Modelling with Generalized Stochastic Petri Nets.
SIGMETRICS Perform. Evaluation Rev.
Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, Giuliana Franceschinis
1997 — ed.
Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings
ICATPN
Pierre Azéma, Gianfranco Balbo
1997 J jnl
Asymptotic Analysis of Multiclass Closed Queueing Networks: Multiple Bottlenecks.
Perform. Evaluation
Gianfranco Balbo, Giuseppe Serazzi
1997 J jnl
Mean Value Analysis of Stochastic Petri Nets.
Perform. Evaluation
Matteo Sereno, Gianfranco Balbo
1996 J jnl
Asymptotic Analysis of Multiclass Closed Queueing Networks: Common Bottleneck.
Perform. Evaluation
Gianfranco Balbo, Giuseppe Serazzi
1995 — conf
On the success of stochastic Petri nets.
PNPM
Gianfranco Balbo
1994 A* conf
Arrival Theorems for Product-Form Stochastic Petri Nets.
SIGMETRICS
Gianfranco Balbo, Steven C. Bruell, Matteo Sereno
1994 J jnl
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs.
Perform. Evaluation
Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo
1993 — conf
Computational algorithms for product form solution stochastic Petri nets.
PNPM
Matteo Sereno, Gianfranco Balbo
1993 J jnl
Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications.
IEEE Trans. Software Eng.
Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte
1993 — conf
Performance Evaluation and Concurrent Programming.
MMB
Gianfranco Balbo
1992 J jnl
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.
Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen
1992 — conf
Performance Issues in Parallel Programming.
Application and Theory of Petri Nets
Gianfranco Balbo
1992 J jnl
Understanding Parallel Program Behavior through Petri Net Models.
J. Parallel Distributed Comput.
Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis
1990 J jnl
TOPNET: A Tool for the Visual Simulation of Communication Networks.
IEEE J. Sel. Areas Commun.
Marco Ajmone Marsan, Gianfranco Balbo, Giorgio Bruno, Fabio Neri
1989 — conf
Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets.
PNPM
Steven C. Bruell, Pozung Chen, Gianfranco Balbo
1989 A* conf
An Example of Validation and Evaluation ofa Concurrent Program: Lamport's Fast Mutual Exclusion Algorithm.
SIGMETRICS
Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen
1989 Misc conf
Stochastic petri net simulation.
WSC
Gianfranco Balbo, Giovanni Chiola
1989 J jnl
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets.
IEEE Trans. Software Eng.
Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani
1988 J jnl
Combining Queueing Networks and Generalized Stochastic Petri Nets for the Solution of Complex Models of System Behavior.
IEEE Trans. Computers
Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta
1988 J jnl
Product-Form Solution Techniques for the Performance Analysis of Multiple-Bus Multiprocessor Systems with Nonuniform Memory References.
IEEE Trans. Computers
Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo
1987 — conf
Applicability of Stochastic Petri Nets to Performance Modeling.
Computer Performance and Reliability
Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte
1987 — conf
Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities.
PNPM
Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte
1987 A* conf
Generalized stochastic Petri nets for the performance evaluation of FMS.
ICRA
Gianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet
1987 A* conf
Modeling the Software Architecture of a Prototype Parallel Machine.
SIGMETRICS
Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte
1987 — conf
On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets.
PNPM
Gianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet
1986 J jnl
Combining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of Some Software Blocking Phenomena.
IEEE Trans. Software Eng.
Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta
1986 J jnl
On the product-form solution of a class of multiple-bus multiprocessor system models.
J. Syst. Softw.
Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Susanna Donatelli
1986 — book
Performance models of multiprocessor systems.
Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte
1986 J jnl
The solution of homogeneous queueing networks with many job classes.
J. Syst. Softw.
Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta
1985 — conf
Combining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of a Software Blocking Phenomenon.
PNPM
Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta
1985 A* conf
Modeling Priority Schemes.
SIGMETRICS
Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta
1985 — conf
On Petri Nets with Stochastic Timing.
PNPM
Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani
1984 J jnl
A Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems
ACM Trans. Comput. Syst.
Marco Ajmone Marsan, Gianni Conte, Gianfranco Balbo
1984 — conf
Adaptive Query Optimization in Point-To-Point Networks.
DDSS
Gianfranco Balbo, Antonio Di Leva, Giovanni Maria Sacco
1984 A* conf
Dynamics Analysis in Database Design.
ICDE
Gianfranco Balbo, G. Barbara Demo, Antonio Di Leva, Piercarlo Giolito
1984 J jnl
Mean value analysis of mixed, multiple class BCMP networks with load dependent service stations.
Perform. Evaluation
Steven C. Bruell, Gianfranco Balbo, P. V. Afshari
1983 A* conf
A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems.
SIGMETRICS
Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte
1983 J jnl
Computational aspects of aggregation in multiple class queueing networks.
Perform. Evaluation
Gianfranco Balbo, Steven C. Bruell
1983 J jnl
Modeling Bus Contention and Memory Interference in a Multiprocessor System.
IEEE Trans. Computers
Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Francesco Gregoretti
1982 J jnl
Comparative Performance Analysis of Single Bus Multiprocessor Architectures.
IEEE Trans. Computers
Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte
1981 — conf
Aggregation in Multiclass Queueing Networks.
Int. CMG Conference
Gianfranco Balbo, Steven C. Bruell
1979 — —
Approximate solutions of queueing network models of computer systems
Gianfranco Balbo
1979 Misc conf
Homogeneous Approximations of General Queueing Networks.
Performance
Gianfranco Balbo, Peter J. Denning
1977 — conf
Customer Classes and Closed Network Models-A Solution Technique.
IFIP Congress
Gianfranco Balbo, Steven C. Bruell, Herbert D. Schwetman