Gianfranco Balbo - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 79 from 79

2025

Stochastic Models for Remote Timing AttacksSimone Bozzolan, Diletta Olliaro, Stefano Calzavara, Andrea Marin, Gianfranco Balbo, Matteo Sereno. popets, 2025(3):545-559, 2025. [doi]

Computational algorithms and arrival theorem for non-conventional product-form solutionsDiletta Olliaro, Gianfranco Balbo, Andrea Marin, Matteo Sereno. pe, 168:102469, 2025. [doi]

2023

Skipping and Fetching: Insights on Non-conventional Product-Form SolutionsDiletta Olliaro, Gianfranco Balbo, Andrea Marin, Matteo Sereno. qest 2023: 110-126 [doi]

2020

2019

On Petri Nets in Performance and Reliability Evaluation of Discrete Event Dynamic SystemsGianfranco Balbo, Gianfranco Ciardo. In Wolfgang Reisig, Grzegorz Rozenberg, editors, Carl Adam Petri: Ideas, Personality, Impact. pages 173-185, Springer, 2019. [doi]

A computational approach based on the colored Petri net formalism for studying multiple sclerosisSimone Pernice, Marzio Pennisi, Greta Romano, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo 0001, Gianfranco Balbo, Marco Beccuti, Francesca Cordero, Raffaele A. Calogero. bmcbi, 20-S(6):623, December 2019. [doi]

Multiple Sclerosis Disease: A Computational Approach for Investigating Its Drug InteractionsSimone Pernice, Marco Beccuti, Greta Romano, Marzio Pennisi, Alessandro Maglione, Santina Cutrupi, Francesco Pappalardo 0001, Lorenzo Capra, Giuliana Franceschinis, Massimiliano De Pierro, Gianfranco Balbo, Francesca Cordero, Raffaele A. Calogero. cibb 2020: 299-308 [doi]

2016

Exploiting flow equivalent server in transient analysisAlessio Angius, András Horváth, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo. csse, 31(4), 2016.

2015

Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing NetworksAlessio Angius, András Horváth, Sami M. Halawani, Omar Barukab, Ab Rahman Ahmad, Gianfranco Balbo. asmta 2015: 15-29 [doi]

Approximate analysis of biological systems by hybrid switching jump diffusionAlessio Angius, Gianfranco Balbo, Marco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich. TCS, 587:49-72, 2015. [doi]

On the Analysis of a M/M/1 Queue with Bulk ServicesGianfranco Balbo, Maria Grazia Vigliotti. cj, 58(1):57-74, 2015. [doi]

From Symmetric Nets to Differential Equations exploiting Model SymmetriesMarco Beccuti, Chiara Fornari, Giuliana Franceschinis, Sami M. Halawani, Omar M. Ba-Rukab, Ab Rahman Ahmad, Gianfranco Balbo. cj, 58(1):23-39, 2015. [doi]

A versatile mathematical work-flow to explore how Cancer Stem Cell fate influences tumor progressionChiara Fornari, Gianfranco Balbo, Sami M. Halawani, Omar M. Ba-Rukab, Ab Ahmad, Raffaele Calogero, Francesca Cordero, Marco Beccuti. bmcsb, 9(S-3), 2015. [doi]

2014

Analysis of Petri Net Models through Stochastic Differential EquationsMarco Beccuti, Enrico Bibbona, András Horváth, Roberta Sirovich, Alessio Angius, Gianfranco Balbo. apn 2014: 273-293 [doi]

2013

Multi-level model for the investigation of oncoantigen-driven vaccination effectFrancesca Cordero, Marco Beccuti, Chiara Fornari, Stefania Lanzardo, Laura Conti, Federica Cavallo, Gianfranco Balbo, Raffaele Calogero. bmcbi, 14(S-6), 2013. [doi]

2012

Titans talk on "modeling and simulation of complex systems: are petri nets useful?"Gianfranco Balbo. wsc 2012: 321 [doi]

2011

First Passage Time Computation in Tagged GSPNs with Queue PlacesGianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis. cj, 54(5):653-673, 2011. [doi]

Computing first passage time distributions in stochastic well-formed netsGianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis. wosp 2011: 7-18 [doi]

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

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

Mathematical Approach to Predict the Drug Effects on Cancer Stem Cell ModelsChiara Fornari, Francesca Cordero, Daniele Manini, Gianfranco Balbo, Raffaele Calogero. ENTCS, 277:29-39, 2011. [doi]

2010

Comparison of Approximate Kinetics for Unireactant Enzymes: Michaelis-Menten against the Equivalent ServerAlessio Angius, Gianfranco Balbo, Francesca Cordero, András Horváth, Daniele Manini. acsd 2010: 55-69 [doi]

Stochastic Petri Nets Sensitivity to Token Scheduling PoliciesGianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis. or 2011: 181-186 [doi]

2009

2007

Introduction to Generalized Stochastic Petri NetsGianfranco Balbo. sfm 2007: 83-131 [doi]

2005

A simple analytical framework to analyze search strategies in large-scale peer-to-peer networksRossano Gaeta, Gianfranco Balbo, Steven C. Bruell, Marco Gribaudo, Matteo Sereno. pe, 62(1-4):1-16, 2005. [doi]

2003

On the relations between BCMP queueing networks and product form solution stochastic petri netsGianfranco Balbo, Steven C. Bruell, Matteo Sereno. pnpm 2003: 103-112 [doi]

2002

Product Form Solution for Generalized Stochastic Petri NetsGianfranco Balbo, Steven C. Bruell, Matteo Sereno. TSE, 28(10):915-932, 2002. [doi]

2001

Embedded Processes in Generalized Stochastic Petri NetsGianfranco Balbo, Steven C. Bruell, Matteo Sereno. pnpm 2001: 71-80 [doi]

Concurrent Generalized Petri Nets: Regenerative ConditionsSimona Bernardi, Gianfranco Balbo. pnpm 2001: 125-134 [doi]

2000

Introduction to Stochastic Petri NetsGianfranco Balbo. eef 2001: 84-155 [doi]

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-6Gianfranco Balbo. SCP, 38(1-3):143-146, 2000.

The Early Days of GSPNsMarco Ajmone Marsan, Gianfranco Balbo, Gianni Conte. Dagstuhl 2000: 505-512 [doi]

1998

Modelling with Generalized Stochastic Petri NetsMarco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, Giuliana Franceschinis. sigmetrics, 26(2):2, 1998. [doi]

1997

Asymptotic Analysis of Multiclass Closed Queueing Networks: Multiple BottlenecksGianfranco Balbo, Giuseppe Serazzi. pe, 30(3):115-152, 1997.

Mean Value Analysis of Stochastic Petri NetsMatteo Sereno, Gianfranco Balbo. pe, 29(1):35-62, 1997.

1996

Asymptotic Analysis of Multiclass Closed Queueing Networks: Common BottleneckGianfranco Balbo, Giuseppe Serazzi. pe, 26(1):51-72, 1996.

1995

On the success of stochastic Petri netsGianfranco Balbo. pnpm 1995: 2-9 [doi]

1994

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

On the Computation of Performance Characteristics of Concurrent Programs Using GSPNsGianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo. pe, 19(2-3):195-222, 1994.

1993

Performance Evaluation and Concurrent ProgrammingGianfranco Balbo. mmb 1993: 1-14

Generalized Stochastic Petri Nets: A Definition at the Net Level and Its ImplicationsGiovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte. TSE, 19(2):89-107, 1993. [doi]

Computational algorithms for product form solution stochastic Petri netsMatteo Sereno, Gianfranco Balbo. pnpm 1993: 98-107 [doi]

1992

Performance Issues in Parallel ProgrammingGianfranco Balbo. apn 1992: 1-23

An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport s Fast Mutual Exclusion AlgorithmGianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen. tpds, 3(2):221-240, 1992. [doi]

Understanding Parallel Program Behavior through Petri Net ModelsGianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis. jpdc, 15(3):171-187, 1992.

1990

TOPNET: A Tool for the Visual Simulation of Communication NetworksMarco Ajmone Marsan, Gianfranco Balbo, Giorgio Bruno, Fabio Neri. jsac, 8(9):1735-1747, 1990.

1989

1988

Combining Queueing Networks and Generalized Stochastic Petri Nets for the Solution of Complex Models of System BehaviorGianfranco Balbo, Steven C. Bruell, Subbarao Ghanta. TC, 37(10):1251-1268, 1988.

Product-Form Solution Techniques for the Performance Analysis of Multiple-Bus Multiprocessor Systems with Nonuniform Memory ReferencesGiovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo. TC, 37(5):532-540, 1988.

1987

On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri NetsGianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet. pnpm 1987: 136-145

Generalized stochastic Petri nets for the performance evaluation of FMSGianfranco Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet. icra 1987: 1013-1018 [doi]

Modeling the Software Architecture of a Prototype Parallel MachineMarco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte. sigmetrics 1987: 175-185 [doi]

Applicability of Stochastic Petri Nets to Performance ModelingMarco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte. mcpr 1988: 517-534

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

1986

The solution of homogeneous queueing networks with many job classesGianfranco Balbo, Steven C. Bruell, Subbarao Ghanta. jss, 6(1-2):41-53, 1986. [doi]

Combining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of Some Software Blocking PhenomenaGianfranco Balbo, Steven C. Bruell, Subbarao Ghanta. TSE, 12(4):561-576, 1986.

Performance models of multiprocessor systemsMarco Ajmone Marsan, Gianfranco Balbo, Gianni Conte. MIT Press series in computer systems, MIT Press, 1986.

On the product-form solution of a class of multiple-bus multiprocessor system modelsMarco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Susanna Donatelli. jss, 6(1-2):117-124, 1986. [doi]

1985

Combining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of a Software Blocking PhenomenonGianfranco Balbo, Steven C. Bruell, Subbarao Ghanta. pnpm 1985: 208-225

Modeling Priority SchemesGianfranco Balbo, Steven C. Bruell, Subbarao Ghanta. sigmetrics 1985: 15-26

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

1984

1983

Computational aspects of aggregation in multiple class queueing networksGianfranco Balbo, Steven C. Bruell. pe, 3(3):177-185, 1983. [doi]

Modeling Bus Contention and Memory Interference in a Multiprocessor SystemMarco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Francesco Gregoretti. TC, 32(1):60-72, 1983.

A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systemsMarco Ajmone Marsan, Gianfranco Balbo, Gianni Conte. sigmetrics 1983: 198-199 [doi]

1982

Comparative Performance Analysis of Single Bus Multiprocessor ArchitecturesMarco Ajmone Marsan, Gianfranco Balbo, Gianni Conte. TC, 31(12):1179-1191, 1982.

1981

Aggregation in Multiclass Queueing NetworksGianfranco Balbo, Steven C. Bruell. cmg 1981: 92-96

1979

Approximate solutions of queueing network models of computer systemsGianfranco Balbo. PhD thesis, Purdue University, USA, 1979. [doi]

Homogeneous Approximations of General Queueing NetworksGianfranco Balbo, Peter J. Denning. performance 1979: 353-374

1977

Customer Classes and Closed Network Models-A Solution TechniqueGianfranco Balbo, Steven C. Bruell, Herbert D. Schwetman. ifip11-9 1977: 559-564

Sign in or sign up to see more results.

runs on WebDSL