Mirco Tribastone

Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Differential Bisimulation for a Markovian Process Algebra.

[BibT_eX]

[DOI]

Giulio Iacobelli

Andrea Vandin

Proceedings of the Mathematical Foundations of Computer Science 2015, 2015

Scaling Size and Parameter Spaces in Variability-Aware Software Performance Models (T).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Forward and Backward Bisimulations for Chemical Reaction Networks.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Concurrency Theory, 2015

Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM International Conference on Information and Knowledge Management, 2015

Service Composition for Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

2014

Exact fluid lumpability in Markovian process algebra.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Tackling continuous state-space explosion in a Markovian process algebra.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

Blending randomness in closed queueing network models.

[BibT_eX]

[DOI]

Giuliano Casale

Peter G. Harrison

Perform. Evaluation, 2014

Fluid Performability Analysis of Nested Automata Models.

[BibT_eX]

[DOI]

Luca Bortolussi

Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

Extended Differential Aggregations in Process Algebra for Performance and Biology.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, 2014

Model-based Development and Performance Analysis for Evolving Manufacturing Systems.

[BibT_eX]

[DOI]

Autom., 2014

Efficient optimization of software performance models via parameter-space pruning.

[BibT_eX]

[DOI]

Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014

A Partial-differential Approximation for Spatial Stochastic Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, 2014

Behavioral relations in a process algebra for variants.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Line Conference, 2014

An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems.

[BibT_eX]

[DOI]

Andrea Vandin

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction.

[BibT_eX]

[DOI]

Rocco De Nicola

Giulio Iacobelli

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

2013

A Fluid Model for Layered Queueing Networks.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Modelling exogenous variability in cloud deployments.

[BibT_eX]

[DOI]

Giuliano Casale

SIGMETRICS Perform. Evaluation Rev., 2013

Insensitivity to service-time distributions for fluid queueing models.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Differential analysis of interacting automata with immediate actions.

[BibT_eX]

[DOI]

Luca Bortolussi

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Lumpability of fluid models with heterogeneous agent types.

[BibT_eX]

[DOI]

Giulio Iacobelli

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012

Scalable Differential Analysis of Process Algebra Models.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

Fluid Rewards for a Stochastic Process Algebra.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

Stochastic Process Algebras: From Individuals to Populations.

[BibT_eX]

[DOI]

Comput. J., 2012

Fluid limits of queueing networks with batches.

[BibT_eX]

[DOI]

Luca Bortolussi

Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

Generalised Communication for Interacting Agents.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quantitative Evaluation of Systems, 2012

Performance Modeling of Design Patterns for Distributed Computation.

[BibT_eX]

[DOI]

Ronald Strebelow

Christian Prehofer

Proceedings of the 20th IEEE International Symposium on Modeling, 2012

2011

Scalable Performance Evaluation of Computer Systems.

[BibT_eX]

[DOI]

Softwaretechnik-Trends, 2011

Non-functional properties in the model-driven development of service-oriented systems.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2011

Modular performance modelling for mobile applications (abstracts only).

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2011

Modular performance modelling for mobile applications.

[BibT_eX]

[DOI]

Proceedings of the ICPE'11, 2011

Fluid Analysis of Queueing in Two-Stage Random Environments.

[BibT_eX]

[DOI]

Giuliano Casale

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Approximate Mean Value Analysis of Process Algebra Models.

[BibT_eX]

[DOI]

Proceedings of the MASCOTS 2011, 2011

ASCENS: Engineering Autonomic Service-Component Ensembles.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Scaling Performance Analysis Using Fluid-Flow Approximation.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Relating layered queueing networks and process algebra models.

[BibT_eX]

[DOI]

Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010

Scalable Differential Analysis of Large Process Algebra Models.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

Hybrid Semantics for PEPA.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

Large-Scale Modelling with the PEPA Eclipse Plug-In.

[BibT_eX]

[DOI]

Proceedings of the Operations Research Proceedings 2010, 2010

Performance Prediction of Service-Oriented Systems with Layered Queueing Networks.

[BibT_eX]

[DOI]

Philip Mayer

Martin Wirsing

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

The PEPA eclipse plugin.

[BibT_eX]

[DOI]

Adam Duguid

SIGMETRICS Perform. Evaluation Rev., 2009

Quantitative Analysis of Web Services Using SRMC.

[BibT_eX]

[DOI]

Allan Clark

Proceedings of the Formal Methods for Web Services, 2009

Scalable Analysis of Scalable Systems.

[BibT_eX]

[DOI]

Allan Clark

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Software and Performance, 2008

Service-Level Agreements for Service-Oriented Computing.

[BibT_eX]

[DOI]

Allan Clark

Proceedings of the Recent Trends in Algebraic Development Techniques, 2008

Automatic Translation of UML Sequence Diagrams into PEPA Models.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2008

Safety and Response-Time Analysis of an Automotive Accident Assistance Service.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2008

Partial Evaluation of PEPA Models for Fluid-Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering, 2008

2007

Replicating Web Services for Scalability.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Stochastic Process Algebras.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Performance Evaluation, 2007

The PEPA Plug-in Project.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

An Analytical Model of a BitTorrent Peer.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro International Conference on Parallel, 2007

2006

Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System.

[BibT_eX]

[DOI]

Stephen T. Gilmore