An Extension of Nortons's Theorem for Queueing Networks. - Simonetta Balsamo; Giuseppe Iazeolla (IEEE Trans. Software Eng., 1982)

Decomposability in General Markovian Networks. - Simonetta Balsamo (Computer Performance and Reliability, 1983)

Aggregation and Disaggregation in Queueing Networks: The Principle of Product-Form Synthesis. - Simonetta Balsamo; Giuseppe Iazeolla (Computer Performance and Reliability, 1983)

Some Equivalence Properties for Queueing Networks with and without Blocking. - Simonetta Balsamo; Giuseppe Iazeolla (Performance, 1983)

Product-Form Synthesis of Queueing Networks. - Simonetta Balsamo; Giuseppe Iazeolla (IEEE Trans. Software Eng., 1985)

Dynamic Load Sharing in Distributed Database Systems. - Philip S. Yu; Simonetta Balsamo; Yann-Hang Lee (FJCC, 1986)

Synthesis of Queueing Networks with Block and State-Dependent Routing. - Simonetta Balsamo; Giuseppe Iazeolla (Comput. Syst. Sci. Eng., 1986)

Bounded Aggregation in Markovian Networks. - Simonetta Balsamo; B. Pandolfi (Computer Performance and Reliability, 1987)

Dynamic Transaction Routing in Distributed Database Systems. - Philip S. Yu; Simonetta Balsamo; Yann-Hang Lee (IEEE Trans. Software Eng., 1988)

On the Cycle Time Distribution in a Two-Stage Cyclic Network with Blocking. - Simonetta Balsamo; Lorenzo Donatiello (IEEE Trans. Software Eng., 1989)

Closed Queueing Networks with Finite Capacities: Blocking Types, Product-Form Solution and Performance Indices. - Simonetta Balsamo; Vittoria De Nitto Persone (Perform. Evaluation, 1991)

Statistical Analysis and Termination Condition in Asynchronous Distributed. - Simonetta Balsamo; Lorenzo Donatiello; R. Linzitto (EUROSIM, 1992)

Properties and Analysis of Queueing Network Models with Finite Capacities. - Simonetta Balsamo (Performance/SIGMETRICS Tutorials, 1993)

Cycle Time Distribution of Cyclic Networks with Blocking. - Simonetta Balsamo; M. Claudia Clò; Lorenzo Donatiello (Perform. Evaluation, 1993)

A survey of product form queueing networks with blocking and their equivalences. - Simonetta Balsamo; Vittoria de Nitto Persone (Ann. Oper. Res., 1994)

Approximate Response Time Distribution in Fork and Join Systems. - Simonetta Balsamo; Ivan Mura (SIGMETRICS, 1995)

On Queue Length Moments in Fork and Join Queuing Networks with General Service Times. - Simonetta Balsamo; Ivan Mura (Computer Performance Evaluation, 1997)

Performance Evaluation of a Software Architecture: A Case Study. - Paola Inverardi; Calogero Mangano; Fabrizio Russo 004; Simonetta Balsamo (IWSSD, 1998)

An approach to performance evaluation of software architectures. - Simonetta Balsamo; Paola Inverardi; Calogero Mangano (WOSP, 1998)

A convolution algorithm for product-form queueing networks with blocking. - Simonetta Balsamo; M. Claudia Clò (Ann. Oper. Res., 1998)

Rollback overhead reduction methods for time warp distributed simulation. - Simonetta Balsamo; C. Manconi (Simul. Pract. Theory, 1998)

Bound Performance Models of Heterogeneous Parallel Processing Systems. - Simonetta Balsamo; Lorenzo Donatiello; Nico M. van Dijk (IEEE Trans. Parallel Distributed Syst., 1998)

Product Form Queueing Networks. - Simonetta Balsamo (Performance Evaluation, 2000)

Closed queueing networks with finite capacity queues: approximate analysis. - Simonetta Balsamo (ESM, 2000)

Deriving performance models of software architectures from message sequence charts. - F. Andolfi; Federica Aquilani; Simonetta Balsamo; Paola Inverardi (Workshop on Software and Performance, 2000)

Performance analysis at the software architectural design level. - Federica Aquilani; Simonetta Balsamo; Paola Inverardi (Perform. Evaluation, 2001)

Integrating Performance Modeling in the Software Development Process. - Simonetta Balsamo; Marta Simeoni (RISSEF, 2002)

Combining stochastic process algebras and queueing networks for software architecture analysis. - Simonetta Balsamo; Marco Bernardo 001; Marta Simeoni (Workshop on Software and Performance, 2002)

Performance Evaluation at the Software Architecture Level. - Simonetta Balsamo; Marco Bernardo 001; Marta Simeoni (SFM, 2003)

A simulation-based approach to software performance modeling. - Simonetta Balsamo; Moreno Marzolla (ESEC / SIGSOFT FSE, 2003)

A review on queueing network models with finite capacity queues for software architectures performance prediction. - Simonetta Balsamo; Vittoria De Nitto Persone; Paola Inverardi (Perform. Evaluation, 2003)

Queueing networks with blocking. - Demetres D. Kouvatsos; Simonetta Balsamo (Perform. Evaluation, 2003)

UML-PSI: The UML Performance Simulator. - Moreno Marzolla; Simonetta Balsamo (QEST, 2004)

Experimenting different software architectures performance techniques: a case study. - Simonetta Balsamo; Moreno Marzolla; Antinisca Di Marco; Paola Inverardi (WOSP, 2004)

Model-Based Performance Prediction in Software Development: A Survey. - Simonetta Balsamo; Antinisca Di Marco; Paola Inverardi; Marta Simeoni (IEEE Trans. Software Eng., 2004)

On Relationships Between Stochastic Process Algebras with Æmilia and Queueing Network Models. - Simonetta Balsamo; Marta Simeoni (FIRB-Perf, 2005)

Performance evaluation of UML software architectures with multiclass Queueing Network models. - Simonetta Balsamo; Moreno Marzolla (WOSP, 2005)

Efficient Performance Models in Component-Based Software Engineering. - Simonetta Balsamo; Moreno Marzolla; Raffaela Mirandola (EUROMICRO-SEAA, 2006)

Queueing Networks. - Simonetta Balsamo; Andrea Marin (SFM, 2007)

Representing LCFSPR BCMP service center with Coxian service time by GSPN. - Simonetta Balsamo; Andrea Marin (VALUETOOLS, 2007)

Determining product-form steady-state solutions of Generalized Stochastic Petri Nets by the analysis of the reversed process. - Simonetta Balsamo; Andrea Marin (AICCSA, 2009)

On the Characterization of Product-Form Multiclass Queueing Models with Probabilistic Disciplines. - Simonetta Balsamo; Andrea Marin (ASMTA, 2009)

Product-Form Solutions for Models with Joint-State Dependent Transition Rates. - Simonetta Balsamo; Andrea Marin (ASMTA, 2010)

A Numerical Algorithm for the Solution of Product-Form Models with Infinite State Spaces. - Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin (EPEW, 2010)

A unifying approach to product-forms in networks with finite capacity constraints. - Simonetta Balsamo; Peter G. Harrison; Andrea Marin (SIGMETRICS, 2010)

Separable equilibrium distributions for systems with unreliable wireless links. - Simonetta Balsamo; Andrea Marin (Wireless Days, 2010)

Optimisation of Virtual Machine Garbage Collection Policies. - Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin (ASMTA, 2011)

A queueing model with batch arrivals for studying the impact of fragmentation in wireless protocols. - Gian-Luca Dei Rossi; Andrea Marin; Simonetta Balsamo (Wireless Days, 2011)

Performance engineering with product-form models: efficient solutions and applications. - Simonetta Balsamo; Andrea Marin (ICPE, 2011)

Queueing Networks with Blocking: Analysis, Solution Algorithms and Properties. - Simonetta Balsamo (Network Performance Engineering, 2011)

Cooperating Stochastic Automata: Approximate Lumping an Reversed Process. - Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin (ISCIS, 2012)

A Numerical Algorithm for the Decomposition of Cooperating Structured Markov Processes. - Andrea Marin; Samuel Rota Bulò; Simonetta Balsamo (MASCOTS, 2012)

Methodological construction of product-form stochastic Petri nets for performance evaluation. - Simonetta Balsamo; Peter G. Harrison; Andrea Marin (J. Syst. Softw., 2012)

Analysis of stochastic Petri nets with signals. - Andrea Marin; Simonetta Balsamo; Peter G. Harrison (Perform. Evaluation, 2012)

Modelling Retrial-Upon-Conflict Systems with Product-Form Stochastic Petri Nets. - Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin (ASMTA, 2013)

Queueing networks and conditional product-forms. - Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin (VALUETOOLS, 2013)

Separable solutions for Markov processes in random environments. - Simonetta Balsamo; Andrea Marin (Eur. J. Oper. Res., 2013)

Optimisation of Servers with Different Quality of Services. - Simonetta Balsamo; Andrea Marin; Ivan Stojic (MASCOTS, 2014)

Perfect Sampling in Stochastic Petri Nets Using Decision Diagrams. - Simonetta Balsamo; Andrea Marin; Ivan Stojic (MASCOTS, 2015)

Applying BCMP multi-class queueing networks for the performance evaluation of hierarchical and modular software systems. - Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin (Int. J. Comput. Aided Eng. Technol., 2015)

Applying Reversibility Theory for the Performance Evaluation of Reversible Computations. - Simonetta Balsamo; Filippo Cavallin; Andrea Marin; Sabina Rossi (ASMTA, 2016)

Modeling Energy Packets Networks in the Presence of Failures. - Jean-Michel Fourneau; Andrea Marin; Simonetta Balsamo (MASCOTS, 2016)

Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets. - Simonetta Balsamo; Andrea Marin; Ivan Stojic (QEST, 2016)

Testing spnps perfect sampling tool on fork-join queueing networks (tool paper). - Simonetta Balsamo; Andrea Marin; Ivan Stojic (VALUETOOLS, 2016)

Lumping and reversed processes in cooperating automata. - Simonetta Balsamo; Gian-Luca Dei Rossi; Andrea Marin (Ann. Oper. Res., 2016)

Analysis of Performance in Depth Based Routing for Underwater Wireless Sensor Networks. - Simonetta Balsamo; Dieter Fiems; Mohsin Raza Jafri; Andrea Marin (InfQ@VALUETOOLS, 2017)

LB-networks: A model for dynamic load balancing in queueing networks. - Andrea Marin; Simonetta Balsamo; Jean-Michel Fourneau (Perform. Evaluation, 2017)

Implementation of depth-based routing and its enhancement in AquaSim-Next Generation for underwater wireless sensor networks. - Mohsin Raza Jafri; Simonetta Balsamo; Andrea Marin; Robert Martin (Int. J. Commun. Syst., 2018)

Computation of the normalising constant for product-form models of distributed systems with synchronisation. - Simonetta Balsamo; Andrea Marin; Ivan Stojic (Future Gener. Comput. Syst., 2020)

Prediction of the Consolidation Delay in Blockchain-based Applications. - Simonetta Balsamo; Andrea Marin; Isi Mitrani; Nicola Rebagliati (ICPE, 2021)

Transaction confirmation in proof-of-work blockchains: auctions, delays and droppings. - Simonetta Balsamo; Ivan Malakhov; Andrea Marin; Isi Mitrani (MedComNet, 2022)

A Mixed PS-FCFS Policy for CPU Intensive Workloads. - Simonetta Balsamo; Andrea Marin; Isi Mitrani (ICPE, 2022)

The saturated Multiserver Job Queuing Model with two classes of jobs: Exact and approximate results. - Diletta Olliaro; Marco Ajmone Marsan; Simonetta Balsamo; Andrea Marin (Perform. Evaluation, 2023)

The Impact of Service Demand Variability on Data Center Performance. - Diletta Olliaro; Adityo Anggraito; Marco Ajmone Marsan; Simonetta Balsamo; Andrea Marin (IEEE Trans. Parallel Distributed Syst., 2025)