Simonetta Balsamo

Affiliations:
  • Ca' Foscari University of Venice, Italy


According to our database1, Simonetta Balsamo authored at least 73 papers between 1982 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
The saturated Multiserver Job Queuing Model with two classes of jobs: Exact and approximate results.
Perform. Evaluation, November, 2023

2022
A Mixed PS-FCFS Policy for CPU Intensive Workloads.
Proceedings of the ICPE '22: ACM/SPEC International Conference on Performance Engineering, Bejing, China, April 9, 2022

Transaction confirmation in proof-of-work blockchains: auctions, delays and droppings.
Proceedings of the 20th Mediterranean Communication and Computer Networking Conference, 2022

2021
Prediction of the Consolidation Delay in Blockchain-based Applications.
Proceedings of the ICPE '21: ACM/SPEC International Conference on Performance Engineering, 2021

2020
Computation of the normalising constant for product-form models of distributed systems with synchronisation.
Future Gener. Comput. Syst., 2020

2018
Implementation of depth-based routing and its enhancement in AquaSim-Next Generation for underwater wireless sensor networks.
Int. J. Commun. Syst., 2018

2017
LB-networks: A model for dynamic load balancing in queueing networks.
Perform. Evaluation, 2017

Analysis of Performance in Depth Based Routing for Underwater Wireless Sensor Networks.
Proceedings of the New Frontiers in Quantitative Methods in Informatics, 2017

2016
Lumping and reversed processes in cooperating automata.
Ann. Oper. Res., 2016

Testing spnps perfect sampling tool on fork-join queueing networks (tool paper).
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Modeling Energy Packets Networks in the Presence of Failures.
Proceedings of the 24th IEEE International Symposium on Modeling, 2016

Applying Reversibility Theory for the Performance Evaluation of Reversible Computations.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2016

2015
Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems.
Int. J. Comput. Aided Eng. Technol., 2015

Perfect Sampling in Stochastic Petri Nets Using Decision Diagrams.
Proceedings of the 23rd IEEE International Symposium on Modeling, 2015

2014
Optimisation of Servers with Different Quality of Services.
Proceedings of the IEEE 22nd International Symposium on Modelling, 2014

2013
Separable solutions for Markov processes in random environments.
Eur. J. Oper. Res., 2013

Queueing networks and conditional product-forms.
Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets.
Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2013

2012
Analysis of stochastic Petri nets with signals.
Perform. Evaluation, 2012

Methodological construction of product-form stochastic Petri nets for performance evaluation.
J. Syst. Softw., 2012

A Numerical Algorithm for the Decomposition of Cooperating Structured Markov Processes.
Proceedings of the 20th IEEE International Symposium on Modeling, 2012

Cooperating Stochastic Automata: Approximate Lumping an Reversed Process.
Proceedings of the Computer and Information Sciences III, 2012

2011
Queueing Networks with Blocking: Analysis, Solution Algorithms and Properties.
Proceedings of the Network Performance Engineering, 2011

Performance engineering with product-form models: efficient solutions and applications.
Proceedings of the ICPE'11, 2011

A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols.
Proceedings of the IFIP Wireless Days Conference 2011, 2011

Optimisation of Virtual Machine Garbage Collection Policies.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2011

2010
Separable equilibrium distributions for systems with unreliable wireless links.
Proceedings of the 3rd IFIP Wireless Days Conference 2010, 2010

A unifying approach to product-forms in networks with finite capacity constraints.
Proceedings of the SIGMETRICS 2010, 2010

A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces.
Proceedings of the Computer Performance Engineering, 2010

Product-Form Solutions for Models with Joint-State Dependent Transition Rates.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2010

2009
On the Characterization of Product-Form Multiclass Queueing Models with Probabilistic Disciplines.
Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2009

Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process.
Proceedings of the 7th IEEE/ACS International Conference on Computer Systems and Applications, 2009

2007
Representing LCFSPR BCMP service center with Coxian service time by GSPN.
Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

Queueing Networks.
Proceedings of the Formal Methods for Performance Evaluation, 2007

2006
Efficient Performance Models in Component-Based Software Engineering.
Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

2005
Performance evaluation of UML software architectures with multiclass Queueing Network models.
Proceedings of the Fifth International Workshop on Software and Performance, 2005

On Relationships Between Stochastic Process Algebras with Æmilia and Queueing Network Models.
Proceedings of the FIRB-Perf Workshop on Techniques, 2005

2004
Model-Based Performance Prediction in Software Development: A Survey.
IEEE Trans. Software Eng., 2004

Experimenting different software architectures performance techniques: a case study.
Proceedings of the Fourth International Workshop on Software and Performance, 2004

UML-PSI: The UML Performance Simulator.
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004

2003
Queueing networks with blocking.
Perform. Evaluation, 2003

A review on queueing network models with finite capacity queues for software architectures performance prediction.
Perform. Evaluation, 2003

A simulation-based approach to software performance modeling.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Performance Evaluation at the Software Architecture Level.
Proceedings of the Formal Methods for Software Architectures, 2003

2002
Combining stochastic process algebras and queueing networks for software architecture analysis.
Proceedings of the Third International Workshop on Software and Performance, 2002

Integrating Performance Modeling in the Software Development Process.
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

2001
Performance analysis at the software architectural design level.
Perform. Evaluation, 2001

2000
Deriving performance models of software architectures from message sequence charts.
Proceedings of the Second International Workshop on Software and Performance, 2000

Closed queueing networks with finite capacity queues: approximate analysis.
Proceedings of the 14<sup>th</sup> European Simulation Multiconference, 2000

Product Form Queueing Networks.
Proceedings of the Performance Evaluation: Origins and Directions, 2000

1998
Bound Performance Models of Heterogeneous Parallel Processing Systems.
IEEE Trans. Parallel Distributed Syst., 1998

Rollback overhead reduction methods for time warp distributed simulation.
Simul. Pract. Theory, 1998

A convolution algorithm for product-form queueing networks with blocking.
Ann. Oper. Res., 1998

An approach to performance evaluation of software architectures.
Proceedings of the First International Workshop on Software and Performance, 1998

Performance Evaluation of a Software Architecture: A Case Study.
Proceedings of the 9th International Workshop on Software Specification and Design, 1998

1997
On Queue Length Moments in Fork and Join Queuing Networks with General Service Times.
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1997

1995
Approximate Response Time Distribution in Fork and Join Systems.
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995

1994
A survey of product form queueing networks with blocking and their equivalences.
Ann. Oper. Res., 1994

1993
Cycle Time Distribution of Cyclic Networks with Blocking.
Perform. Evaluation, 1993

Properties and Analysis of Queueing Network Models with Finite Capacities.
Proceedings of the Performance Evaluation of Computer and Communication Systems, 1993

1992
Statistical Analysis and Termination Condition in Asynchronous Distributed.
Proceedings of the Eurosim 1992, Simulation Congress, Proceedings of the 1992 EUROSIM Conference, Capri, Italy, September 28, 1992

1991
Closed Queueing Networks with Finite Capacities: Blocking Types, Product-Form Solution and Performance Indices.
Perform. Evaluation, 1991

1989
On the Cycle Time Distribution in a Two-Stage Cyclic Network with Blocking.
IEEE Trans. Software Eng., 1989

1988
Dynamic Transaction Routing in Distributed Database Systems.
IEEE Trans. Software Eng., 1988

1987
Bounded Aggregation in Markovian Networks.
Proceedings of the Computer Performance and Reliability, 1987

1986
Synthesis of Queueing Networks with Block and State-Dependent Routing.
Comput. Syst. Sci. Eng., 1986

Dynamic Load Sharing in Distributed Database Systems.
Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA, 1986

1985
Product-Form Synthesis of Queueing Networks.
IEEE Trans. Software Eng., 1985

1983
Some Equivalence Properties for Queueing Networks with and without Blocking.
Proceedings of the Performance '83, 1983

Aggregation and Disaggregation in Queueing Networks: The Principle of Product-Form Synthesis.
Proceedings of the Computer Performance and Reliability, 1983

Decomposability in General Markovian Networks.
Proceedings of the Computer Performance and Reliability, 1983

1982
An Extension of Nortons's Theorem for Queueing Networks.
IEEE Trans. Software Eng., 1982


  Loading...