| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | 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.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis |
First Passage Time Computation in Tagged GSPNs with Queue Places. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Balbo, Marco Beccuti, Massimiliano De Pierro, Giuliana Franceschinis |
Computing first passage time distributions in stochastic well-formed nets. |
ICPE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Balbo, Massimiliano De Pierro, Giuliana Franceschinis |
Tagged Generalized Stochastic Petri Nets. |
EPEW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Balbo |
Introduction to Generalized Stochastic Petri Nets. |
SFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Balbo, Steven C. Bruell, Matteo Sereno |
Product Form Solution for Generalized Stochastic Petri Nets. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
Generalized stochastic Petri nets, product form solution |
| 1 | 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. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte |
The Early Days of GSPNs. |
Performance Evaluation |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Balbo |
Introduction to Stochastic Petri Nets. |
European Educational Forum: School on Formal Methods and Performance Analysis |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, Giuliana Franceschinis |
Modelling with Generalized Stochastic Petri Nets. |
SIGMETRICS Performance Evaluation Review |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Balbo, Giuseppe Serazzi |
Asymptotic Analysis of Multiclass Closed Queueing Networks: Multiple Bottlenecks. |
Perform. Eval. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Sereno, Gianfranco Balbo |
Mean Value Analysis of Stochastic Petri Nets. |
Perform. Eval. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
ICATPN |
1997 |
DBLP BibTeX RDF |
|
| 1 | Gianfranco Balbo, Giuseppe Serazzi |
Asymptotic Analysis of Multiclass Closed Queueing Networks: Common Bottleneck. |
Perform. Eval. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Balbo, Steven C. Bruell, Matteo Sereno |
Arrival Theorems for Product-Form Stochastic Petri Nets. |
SIGMETRICS |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1993 |
DBLP DOI BibTeX RDF |
qualitative behavior, firing probabilities, net-level specification, model specification, performance evaluation, formal specification, Petri nets, stochastic processes, structural analysis, structural properties, generalized stochastic Petri net |
| 1 | Gianfranco Balbo |
Performance Evaluation and Concurrent Programming. |
MMB |
1993 |
DBLP BibTeX RDF |
|
| 1 | 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. |
1992 |
DBLP DOI BibTeX RDF |
colored stochastic Petri nets, Lamport concurrentalgorithm, parametric formal proof of liveness, Markovian analysis, distributedprocessing, performance evaluation, distributed systems, Petri nets, concurrency control, Markov processes, concurrent program, correctness, stochastic processes, performanceevaluation, mutual exclusion problem |
| 1 | Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis |
Understanding Parallel Program Behavior through Petri Net Models. |
J. Parallel Distrib. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Balbo |
Performance Issues in Parallel Programming. |
Application and Theory of Petri Nets |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1989 |
DBLP DOI BibTeX RDF |
execution policies, atomic transitions, race policy, continuous time homogeneous Markov chain, performance evaluation, Petri nets, semantics, Markov processes, stochastic Petri nets |
| 1 | Steven C. Bruell, Pozung Chen, Gianfranco Balbo |
Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets. |
PNPM |
1989 |
DBLP BibTeX RDF |
|
| 1 | Gianfranco Balbo, Giovanni Chiola |
Stochastic petri net simulation. |
Winter Simulation Conference |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1988 |
DBLP DOI BibTeX RDF |
local balance property, multiple-bus multiprocessor systems, nonuniform memory references, steady-state probability distribution, queuing models with passive resources, recursive solution, processor access rates, memory selection probabilities, first-come-first-served bus scheduling policy, scheduling, performance evaluation, performance analysis, multiprocessor interconnection networks, queueing theory, numerical analysis, product-form solution, exact computation |
| 1 | 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 |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte |
Applicability of Stochastic Petri Nets to Performance Modeling. |
Computer Performance and Reliability |
1987 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte |
Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities. |
PNPM |
1987 |
DBLP BibTeX RDF |
|
| 1 | Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Gianni Conte |
Modeling the Software Architecture of a Prototype Parallel Machine. |
SIGMETRICS |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1986 |
DBLP BibTeX RDF |
|
| 1 | Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta |
The solution of homogeneous queueing networks with many job classes. |
Journal of Systems and Software |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte |
Performance models of multiprocessor systems. |
|
1986 |
RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | Marco Ajmone Marsan, Gianfranco Balbo, Andrea Bobbio, Giovanni Chiola, Gianni Conte, Aldo Cumani |
On Petri Nets with Stochastic Timing. |
PNPM |
1985 |
DBLP BibTeX RDF |
|
| 1 | Gianfranco Balbo, Steven C. Bruell, Subbarao Ghanta |
Modeling Priority Schemes. |
SIGMETRICS |
1985 |
DBLP DOI BibTeX RDF |
head-of-the-line, preemptive resume, product-form queueing networks, reorientation, time-out, priorities, generalized stochastic Petri nets |
| 1 | Steven C. Bruell, Gianfranco Balbo, P. V. Afshari |
Mean value analysis of mixed, multiple class BCMP networks with load dependent service stations. |
Perform. Eval. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Balbo, G. Barbara Demo, Antonio Di Leva, Piercarlo Giolito |
Dynamics Analysis in Database Design. |
ICDE |
1984 |
DBLP BibTeX RDF |
|
| 1 | Gianfranco Balbo, Antonio Di Leva, Giovanni Maria Sacco |
Adaptive Query Optimization in Point-To-Point Networks. |
DDSS |
1984 |
DBLP BibTeX RDF |
|
| 1 | Gianfranco Balbo, Steven C. Bruell |
Computational aspects of aggregation in multiple class queueing networks. |
Perform. Eval. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Francesco Gregoretti |
Modeling Bus Contention and Memory Interference in a Multiprocessor System. |
IEEE Trans. Computers |
1983 |
DBLP DOI BibTeX RDF |
performance evaluation, Petri nets, Markov chains, multiprocessors, message passing, queueing networks, memory interference, Bus contention |
| 1 | Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte |
A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems. |
SIGMETRICS |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte |
Comparative Performance Analysis of Single Bus Multiprocessor Architectures. |
IEEE Trans. Computers |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Balbo, Steven C. Bruell |
Aggregation in Multiclass Queueing Networks. |
Int. CMG Conference |
1981 |
DBLP BibTeX RDF |
|
| 1 | Gianfranco Balbo, Peter J. Denning |
Homogeneous Approximations of General Queueing Networks. |
Performance |
1979 |
DBLP BibTeX RDF |
|
| 1 | Gianfranco Balbo, Steven C. Bruell, Herbert D. Schwetman |
Customer Classes and Closed Network Models-A Solution Technique. |
IFIP Congress |
1977 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")