S.Balsamo, V. De Nitto Personè, R. Onvural "Analysis of Queueing Networks with Blocking"
Kluwer Academic Publishers, 2001.
Index, cover,
errata corrige.
Editions
S.Balsamo, D. Kouvatsos
Special Issue "Queueing Networks with Blocking"
Performance Evaluation Journal, 2003, 51/2-4
[link]
Proceedings of ACM WOSP 2002, Third International workshop on Software and Performance
(July 24-26, 2002, Rome, I), 318 Series-Proceeding,
S. Balsamo, P. Inverardi, B. Selic (Program co-chairs)
[link]
M. Wirsing, S. Balsamo, A. Knapp (eds.)
Proceedings of Monterey Workshop 2002: Radical Innovations of Software
and Systems Engineering in the future, Venice, Italy, October 7-11, 2002,
Rapporto di Ricerca CS-2002-10, Settembre 2002.
M. Wirsing, S. Balsamo, A. Knapp (eds.), RISSEF 2002,
Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, Revised Papers. Lecture Notes in Computer Science 2941 Springer 2004, ISBN 3-540-21179-9
Papers
S. Balsamo and A. Marin "On representing multiclass M/M/k queues by generalized stochastic Petri nets", Proc. Int. Conf. on Analytical and Stochastic Modelling Techniques and Applications (ASMTA '07), Prague CZ, pp. 121-128, 4-6 June 2007.
S. Balsamo and A. Marin "Queueing Networks" in "Formal Methods for Performance Evaluation", (Marco Bernando and Jane Hillston Eds.) LNCS 4486, Springer, 2007.
S. Balsamo and A. Marin "Representing LCFSPR BCMP service center with Coxian service time by GSPN" Valuetools 2007, Nantes FR, October 2007.
S. Balsamo, M. Marzolla, R. Mirandola "Efficient Performance models in Component-Based Software Engineering", Proc. 32nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Component-Based Software Engineering track, Cavtat/Dubrovnik (Croatia), Aug. 28-Sept. 1, 2006.
S. Balsamo "Queueing Networks with Blocking: analysis, solution algorithms and properties" Tutorial paper, Proc. HET-NETs '06, Int. Conf. on Performance Modelling and Evaluation of Heterogeneous Networks and Perform-QNMs Ph D. Course in Performance Eng. And Queue. Netw. Models, Ilkley, UK, Sept. 11-13, 2006.
S. Balsamo, M. Marzolla, Performance Evaluation of Sotware Architectures with Multiclass Queueing Network Models, Proc. ACM WOSP 2005, Palma de Mallorca, Spain, July 11-15, 2005.
[pdf]
S. Balsamo, A. Di Marco, P. Inverardi, M. Simeoni,
"Model-based performance prediction in software development: a survey"
IEEE Transactions on Software Engineering, Vol 30, N.5 May 2004, 295-310.
M. Marzolla, S. Balsamo 'UML-PSI, The UML-Performance Simulator', Proc. First Int. Conf. on Quatitative Eval. Of Systems, QUEST'04, Enschede, The Nederlands, Sept. 23-25, 2004, 222-227.
S. Balsamo, M. Mamprin, M. Marzolla 'Performance Evaluation of Software Architectures with Queueing Network Models' Proc. ESMc'04, Paris, France, Oct 25-27, 2004.
[pdf]
S. Balsamo, A. Di Marco, P. Inverardi and M. Marzolla "Experimenting different Software Architectures Performance Techniques: A Case Study", Proc. ACM WOSP 2004, Int. Work. on Software and Performance, Jan 14-16, 2004, San Francisco, CA, USA, 115-119.
Balsamo, F. De Riz, A. Marin Product form Queueing Networks and product form Stochastic Petri Nets: relations and transformation algorithms Res. Rep., Dip. Informatica, Univ. CA' Foscari di Venezia, CS-2004-12, Nov. 2004.
S. Balsamo, A. Di Marco, P. Inverardi, M. Simeoni,
"Software performance modeling: state of the art and perspectives"
Research Report, CS-2003-1,
Dipartimento di Informatica, Università Ca' Foscari di Venezia, January 2003, and
MIUR Sahara Project TR SAH/001.
[pdf]
S.Balsamo, V. De Nitto Personè, P.Inverardi
"On using Queueing Network Models with finite
capacity queues for Software Architectures performance prediction"
Performance Evaluation Journal, 2002, 51/2-3 pp. 269-288.
[pdf]
S. Balsamo, M. Marzolla, Simulation Modeling of UML Software Architectures, TR SAH/43, 26 Feb 2003, to appear at ESM 2003, European Simulation Muticonference 2003, Nottingham, UK, 9-11 June 2003.
[pdf]
S. Balsamo, M. Marzolla, A Simulation-based approach to Software Performance Modeling, Proc. ESEC 2003, Europ. Software Eng. Conf. and ACM SIGSOFT Symp. on the Foundations of Soft. Eng. , and preliminary version: TR SAH/44, March 2003.[pdf]
S. Balsamo, M. Marzolla, Towards Performance Evaluation of Mobile Systems in UML, Proc. of ESMc'03, European Simulation and Modelling Conference 2003, Eurosis (B. Di Martino, L. Tianruo Yang, C. Bobenau, Eds) Naples, Italy, Oct. 27-29, 2003, pp. 61-68, EUROSIS-ETI.
[pdf]
S. Balsamo, M. Bernardo, M. Simeoni, "Perfomance Evaluation at a Software Architecture Level" in 'Formal Methods for Software Architectures', M. Bernardo and P. Inverardi eds., Lecture Notes in Computer Science 2804:209-260, September 2003.
[ps]
S. Balsamo "Performance analysis of queueing networks with blocking" Tutorial paper, Proc. HET-NETs '03, First Int. Work. Conf. on Performance Modelling and Evaluation of Heterogeneous Networks, Ilkley, UK, July, 21-23, 2003, pp. T6/1-35.
S.Balsamo, D. Kouvatsos
"Queueing Networks with Blocking"
Performance Evaluation Journal, 2003, 51/2-4, 79-81.
S. Balsamo, M. Simeoni,
"Integrating performance modeling in the software development process"
Radical Innovations of
Software and Systems Engineering in the Future,
Monterey 2002, Venice, 7-11 October 2002.
[pdf]
S. Balsamo, M. Bernardo and V. Grassi
"Quantitative analysis of software architectures"
Research Report, CS-2002-13,
Dipartimento di Informatica, Università Ca' Foscari di Venezia, September 2002.
[pdf]
S. Balsamo, M. Bernardo "Heterogeneous Queueing Networks
with Blocking: An Architectural Approach based on SPA"
Research Report, CS-2002-4,
Dipartimento di Informatica, Università Ca' Foscari di Venezia, April 2002.
[pdf]
S. Balsamo, M. Bernardo, M. Simeoni "Combining Stochastic Process
Algebras and Queueing Networks for
Software Architecture Analysis"
Research Report, CS-2002-2, March 2002, presented at
ACM WOSP 2002, Int. Workshop on Software and Performance, July 24-26, 2002, Rome.
[ps.gzip]
F. Aquilani, S. Balsamo, P.Inverardi "Performance Analysis at the Software
Architectural Design level" Performance Evaluation, 2001, no.45, 147-178.
[ps]
S.Balsamo, M.Simeoni "Deriving Performance Models from Software Architecture
Specifications" Research Report, CS-2001-04, Dipartimento di
Informatica Università Ca' Foscari di Venezia,
February 2001, ESM 2001,SCS, European Simulation Muticonference 2001, Prague, 6-9 June 2001.
[pdf]
S. Balsamo, M. Simeoni "On Transforming UML models into performance models"
Technical Report Saladin Project R-SAL-51,
WTUML: Workshop on Transformations in UML, ETAPS 2001 Satellite Event
Genova, Italy, April 7th, 2001.
S.Balsamo "Product Form Queueing Networks" in "Perfomance Evaluation: Origins and Directions"
(C. Lindemann, G. Haring and M. Reiser, Eds.) Lectures Notes in Computer Science 1769,
Springer, 2000, 377-401.
[pdf]
S.Balsamo "Closed Queueing Networks with Finite Capacity Queues: Approximate analysis" Proc. ESM'2000,
SCS, European Simulation Muticonference 2000, Ghent, 23-26 May 2000.
[ps]
F. Andolfi, F. Aquilani, S. Balsamo, P.Inverardi "On using Queueing Network Models with finite capacity
queues for Software Architectures performance prediction" Proc. Fourth International Workshop on
Queueing Networks with Finite Capacity (QNETs 2000), 20-21 July, 2000, Ilkley, West Yorkshire, U.K.
[pdf]
F. Andolfi, F. Aquilani, S. Balsamo, P.Inverardi "Deriving QNM from MSCs for Performance Evaluation of SA"
Proc. WOSP'2000, Second Int. Workshop on Software and Performance, Ottawa, Canada, 17-20 Sept. 2000.
[ps]
F. Aquilani, S. Balsamo, P.Inverardi "An Approach to Performance Evaluation of Software
Architectures" Research Report, CS-2000-3, Dipartimento di Informatica Università Ca' Foscari
di Venezia,
March 2000.
S.Balsamo, L.Donatiello, N. van Dijk "Bounded performance analysis of
parallel processing systems, IEEE Transactions on Parallel and Distributed Systems, Oct. 1998.
[pdf]
S. Balsamo, P. Inverardi, C. Mangano "On Performance Analysis of Software Architectures"
Submitted, March 1999.
S. Balsamo, P. Inverardi, C. Mangano "An Approach to Performance Evaluation of S
oftware Architectures" Workshop on Software and Performance, WOSP 98, Santa Fe,
New Mexico, Oct 12-16, 1998.
S.Balsamo "Approximate Analysis of Queueing Networks with Blocking" Proc.
Tutorials TOOLS'98, Palma de Mallorca, Sp, 14-18 Sept. 1998.
S.Balsamo, C.Clo' "A Convolution Algorithm for Product Form Queueing Networks
with Blocking" Annals of Operations Research, Baltzer, 79, 1998, 97-117.
[pdf]
S. Balsamo, C. Manconi "Rollback overhead reduction methods for time warp distri
buted simulation" Journal Simulation Practice and Experience, 6, July 1998, 698-702.
[pdf]
S. Balsamo, A. Rainero "Approximate Performance Analysis of Queueing Networks wi
th Blocking: A Comparison", Research Report RR/05/98, Dept. Math. and Comp. Scie
nce, University of Udine, March 1998.
S. Balsamo, I.Mura "On queue length moments in fork and join queuing networks wi
th general service times" Proc. Int. Conf. TOOLS'97, Saint Malo' (France), June
3-6, 1997, Lecture Notes on Computer Science.
S. Balsamo, P.Inverardi, C. Mangano, F. Russo "Performance Evaluation of a Softw
are Architecture: A Case Study", Ninth IEEE International Workshop on Software
Specification and Design (IWSSD-9), Ise-shima, Japan April 16-18, 1998.
S.Balsamo "Queueing Networks with Finite Capacity Queues and Blocking", Proc.
Tutorials, Performance'96, Losanna, Ottobre 7-11, 1996.
S. Balsamo, I.Mura "Approximate job response time ditribution in fork and
join systems" Proc. ACM Sigmetrics'95 and Performance '95, Ottawa (Canada),
May, 15-19, 1995.
S.Balsamo, C.Manconi "Rollback Overhead Reduction Techniques in Distributed
Time-Warp Simulation", Proc. European Simulation Conference Eurosim '95,
Vienna, September 11-15, 1995.
S. Balsamo, I.Mura "Synchronisation delay in hardware fault tolerance techniques"
Proc. IEEE International Computer Performance and Dependability Symposium (IPDS'
96), September 4-6, 1996, Urbana-Champaign, Illinois, USA.
S. Balsamo, R.Mirandola "Hierarchical Modelling and Hybrid Simulation for
System Performance Evaluation" Research Report, RR-12/95, Dipartimento di
Matematica e Informatica, Universita' di Udine, July 1995.
S.Balsamo, C.Clo' "Convolution Algorithm for Product Form Queueing Networks
with Blocking" Proc. Third International Workshop on Queueing Networks with
Finite Capacity, Bradford, UK, 6th-7th July, 1995.
S. Balsamo, I.Mura "Bonded response time of homogeneous parallel processing
systems" Research Report, RR-03/96, Dipartimento di Matematica e
Informatica, Universita' di Udine, January 1996.
S. Balsamo, C.Canovaro "Exact aggregation in discrete-time product-form
queueing networks" Research Report, RR-04/95, Dipartimento di Matematica e
Informatica, Universita' di Udine, January 1996.
S.Balsamo, V.De Nitto "A survey of Product-form Queueing Networks with
Blocking and their Equivalences" Annals of Operations Research, vol. 48,
Jan 1994.
S.Balsamo, C.Manconi "Parallel Discrete Event Simulation in a Distributed
Memory System", Proc. European Simulation Conference Eurosim '94,
Barcellona, June 1-3, 1994.
S.Balsamo "Properties and analysis of queueing network models with finite
capacities", in 'Performance Evaluation of Computer and Communication
Systems', Lecture Notes in Computer Science, 729, Springer-Verlag,
(L.Donatiello and R.Nelson Eds.) 1994.
S.Balsamo, V.De Nitto. V.Grassi "Performance Comparison and Monotonicity
Properties of Blocking Types in Symmetrical Queueing Networks" Technical
Report, Ricerche di Informatica, RI-94.02, Dip. di Ingegneria Elettronica,
II Universita' di Roma, March 1994.
S.Balsamo, L.Donatiello, N. van Dijk "Bounded performance analysis of
parallel processing systems", Technical Report TR-10/94, Dipartimento di
Informatica, Universita' di Pisa, July 1994.
S.Balsamo, R.Mirandola, L.Donatiello "Hierarchical Modelling for Performance
Evaluation of Computer and Communication Systems", Workshop on Performance
Modeling and Evaluation of ATM Networks, University of Bradford, UK, 28-29
June 1993.
S.Balsamo, M.C. Clo' L.Donatiello "Cycle Time Distribution of Cyclic
Queueing Network with Blocking" Performance Evaluation, North Holland,
vol.14, n.3, 1993.
S.Balsamo, G.Cambini, L.Donatiello, L.Guidi, M.Mattia, S.Del Turco "Un
modello di simulazione per la valutazione delle prestazioni di un elaboratore
Cray", Proc. CMG, Computer Measurement Group-Italia, Convegno Annuale,
Milano, Oct.27-28,1992.
S.Balsamo, L.Donatiello, R.Martina "Interconnection of Networks : Performance
Evaluation of Internet Nodes", in Teletraffic and Datatraffic in a Period of Change, ITC-13
(A.Jensen, V.B.Iversen Eds.) North-Holland, 1991.
S.Balsamo, L.Donatiello "Approximate performance analysis of parallel processing
systems", in Decentralized Systems, (M.Consard, C.Girault Eds.), North-Holland 1990.
R.Linzitto, S.Balsamo, L.Donatiello "Simulazione Distribuita nella Valutazione d
elle Prestazioni di Sistemi", Scientific Monograph SM-2-90, Dipartimento di Informatica,
Università di Pisa, 1990.
S.Balsamo, R.Mirandola, L.Donatiello "Simulation and Analytical Techniques in
Hierarchical System Performance Modeling", Rapporto di Ricerca TR-13/92,
Dipartimento di Informatica, Universitý di Pisa, 1992.
S.Balsamo, R.Mirandola "Hierarchical Modelling and HybridSimulation for
System Performance Evaluation", Research ReportUDMI/12/95/RR, Department of Mathematics and
Computer Science, University of Udine, 1995.
Some other papers 1980-1989
S.Balsamo "Approximate Solution of Queuing Networks based on Exact and
Bounded Aggregation Technique", in Teletraffic Science, ITC-12 (M.Bonatti Ed.), North-Holland 1989.
S.Balsamo, L.Donatiello "On the Cycle Time Distribution in a Two-stage
Queueing Network with Blocking", IEEE Transactions on Software Engineering,
vol.13, n.10, Oct.1989.
S.Balsamo, A.A. Bertossi, L.Donatiello "On the Average Complexity of Dijkstra's
Shortest Path Algorithm", 13th Internat. Symposium on Mathematical Programming,
Tokyo, Japan, Aug. 29 - Sept.2, 1988.
S.Balsamo, Y.H.Lee, P.S.Yu, "Dynamic Load Sharing in Partitioned Data Base
Systems", IEEE Transactions on Software Engineering, vol.12, n.9, Sept.1988.
S.Balsamo, L.Donatiello "Two-stage Queueing Networks with Blocking:
Cycle Time Distribution and Equivalence Properties", in Modelling
Techniques and Tools for Computer Performance Evaluation,
(R. Puigjaner, D.Potier Eds.), Plenum Press, 1989.
S.Balsamo, G.Iazeolla "Product-Form Synthesis of Queueing Networks",
IEEE Transactions on Software Engineering, vol.11, n.1, February 1985.
S.Balsamo, G.Iazeolla, "Synthesis of Queueing Networks with Block and
State-dependent Routing", Computer Systems Science and Engineering, vol.1, n.2, January 1986.
S.Balsamo, G.Iazeolla "An Extension of Norton's Theorem for Queueing Networks",
IEEE Transactions on Software Engineering, vol.8, n.4, July 1982.
S.Balsamo, G.Iazeolla "Some Equivalence Properties for Queueing Networks
with and without Blocking", in Performance '83 (A.K.Agrawala, S.K.Tripathi Eds.), North Holland.
S.Balsamo "Decomposability for General Markovian Networks", in Mathematical
Computer Performance and Reliability, (G.Iazeolla, P.J.Courtois, A.Hordijk Eds.), North Holland, 1984.
S.Balsamo, G.Iazeolla "Aggregation and Disaggregation in Queueing Networks:
the Principle of Product-Form Synthesis" in Mathematical Computer Performance
and Reliability, (G.Iazeolla, P.J.Courtois, A.Hordijk Eds.), North Holland, 1984.
S.Balsamo, V.De Nitto, G.Iazeolla "Identity and Reducibility Properties of
Some Blocking and Non-Blocking Mechanisms in Congested Networks", in Flow Control of
Congested Networks, (A.R.Odoni, L.Bianco, G Szego Eds.), NATO ASI Series, Comp. and
System Science, Vol.F38, Springer-Verlag,1987.
S.Balsamo, B.Pandolfi "Bounded Aggregation in Markovian Networks" in Computer
Performance and Reliability, (G.Iazeolla, P.J.Courtois, O.Boxma Eds.), North Holland, 1988.
S.Balsamo "Decomponibilita' in Sistemi Distribuiti a routing non-deterministico
e servizi generali", Nota Scientifica S-82-15, Ist. di Scienze dell'Informazione,
Universitý di Pisa, Dicembre 1982.
P.S.Yu, S.Balsamo, Y.H.Lee, "Notes on Dynamic Load Sharing in a Partitioned
Data Base Environment", IBM Research Report RC11505,
Yorktown Heigths, New York, Oct.1985.
M.Bagalˇ, S.Balsamo, G.Biagini, C.Bongiorno, S.DĽAmico, L.Donatiello, G.Iazeolla,
S.Tucci , "Un Ambiente Simula per la Valutazione delle Prestazioni dei Sistemi Distribuiti",
Nota Scientifica S-18-85, Dipartimento di Informatica, Universitý di Pisa, Dicembre 1985.
P.S.Yu, S.Balsamo, Y.H.Lee, "Dynamic Load Sharing in a Partitioned Data Base Environment",
IBM Research Report RC11537, Yorktown Heigths, New York, March.1986.
L.Donatiello, S.Balsamo, G.Biagini, G.Iazeolla, S.Tucci "A Simula-based Software Tool
for Computer Performance", Nota Scientifica S-86, Dipartimento di Informatica,
Universitý di Pisa, 1986.
