Jane Hillston

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Information Flow Security for Stochastic Processes.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 15th European Workshop, 2018

2017

Availability Modeling of Generalized k-Out-of-n: G Warm Standby Systems With PEPA.

[BibT_eX]

[DOI]

Xiaoyue Wu

IEEE Trans. Syst. Man Cybern. Syst., 2017

Replicated Computations Results (RCR) Report for "Semantics and Efficient Simulation Algorithms for an Expressive Multi-Level Modeling Language".

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2017

Unbiased Bayesian inference for population Markov jump processes via random truncations.

[BibT_eX]

[DOI]

Anastasis Georgoulas

Guido Sanguinetti

Stat. Comput., 2017

Moment-based availability prediction for bike-sharing systems.

[BibT_eX]

[DOI]

Daniël Reijsbergen

Perform. Evaluation, 2017

Goals and Resource Constraints in CARMA.

[BibT_eX]

[DOI]

Paul Piho

Anastasis Georgoulas

Proceedings of the Ninth International Workshop on the Practical Application of Stochastic Modelling, 2017

Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic.

[BibT_eX]

[DOI]

Ludovica Luisa Vissat

Laura Nenzi

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic Systems.

[BibT_eX]

[DOI]

Ludovica Luisa Vissat

Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

2016

Automatic Moment-Closure Approximation of Spatially Distributed Collective Adaptive Systems.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2016

MELA: Modelling in Ecology with Location Attributes.

[BibT_eX]

[DOI]

Ludovica Luisa Vissat

Glenn Marion

Matthew J. Smith

Proceedings of the Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, 2016

Stochastic and Spatial Equivalences for PALOMA.

[BibT_eX]

[DOI]

Paul Piho

Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016

Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

Property-Driven State-Space Coarsening for Continuous Time Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems.

[BibT_eX]

[DOI]

Daniël Reijsbergen

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Rigorous Graphical Modelling of Movement in Collective Adaptive Systems.

[BibT_eX]

[DOI]

Natalia Zon

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Abstract Interpretation of PEPA Models.

[BibT_eX]

[DOI]

Natalia Zon

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

Mission reliability of semi-Markov systems under generalized operational time requirements.

[BibT_eX]

[DOI]

Xiaoyue Wu

Reliab. Eng. Syst. Saf., 2015

Model checking single agent behaviours by fluid approximation.

[BibT_eX]

[DOI]

Inf. Comput., 2015

CARMA: Collective Adaptive Resource-sharing Markovian Agents.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Efficient Checking of Individual Rewards Properties in Markov Population Models.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, 2015

Quantitative Analysis of Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2015

Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

Service Composition for Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software, 2015

2014

A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities.

[BibT_eX]

[DOI]

ERCIM News, 2014

Patch-based Modelling of City-centre Bus Movement with Phase-type Distributions.

[BibT_eX]

[DOI]

Daniël Reijsbergen

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

Fluid Performability Analysis of Nested Automata Models.

[BibT_eX]

[DOI]

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

Performance Analysis of Collective Adaptive Behaviour in Time and Space.

[BibT_eX]

[DOI]

Marco Gribaudo

Proceedings of the Twenty-ninth and thirtieth Annual UK Performance Engineering Workshops, 2014

Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2014

Stochastic HYPE: Flow-based modelling of stochastic hybrid systems.

[BibT_eX]

[DOI]

CoRR, 2014

Probabilistic Programming Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

PALOMA: A Process Algebra for Located Markovian Agents.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Automated Capacity Planning for PEPA Models.

[BibT_eX]

[DOI]

Christopher D. Williams

Proceedings of the Computer Performance Engineering - 11th European Workshop, 2014

Specification and Analysis of Open-Ended Systems with CARMA.

[BibT_eX]

[DOI]

Proceedings of the Agent Environments for Multi-Agent Systems IV, 2014

The Benefits of Sometimes Not Being Discrete.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

A General Performance Evaluation Framework for Network Selection Strategies in 3G-WLAN Interworking Networks.

[BibT_eX]

[DOI]

IEEE Trans. Mob. Comput., 2013

Continuous approximation of collective system behaviour: A tutorial.

[BibT_eX]

[DOI]

Perform. Evaluation, 2013

HYPE: Hybrid modelling by composition of flows.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2013

An aggregation technique for large-scale PEPA models with non-uniform populations.

[BibT_eX]

[DOI]

Alireza Pourranjbar

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

Contextual lumpability.

[BibT_eX]

[DOI]

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

Challenges for Quantitative Analysis of Collective Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Dynamical Systems, 2013

ABC-Fun: A Probabilistic Programming Language for Biology.

[BibT_eX]

[DOI]

Anastasis Georgoulas

Guido Sanguinetti

Proceedings of the Computational Methods in Systems Biology, 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

Bio-PEPAd: A non-Markovian extension of Bio-PEPA.

[BibT_eX]

[DOI]

Giulio Caravagna

Theor. Comput. Sci., 2012

Scalable context-dependent analysis of emergency egress models.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2012

Conservation of Mass Analysis for Bio-PEPA.

[BibT_eX]

[DOI]

Allan Clark

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Stochastic Modelling of the Kai-based Circadian Clock.

[BibT_eX]

[DOI]

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Hybrid performance modelling of opportunistic networks

[BibT_eX]

[DOI]

Proceedings of the Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, 2012

Stochastic Process Algebras: From Individuals to Populations.

[BibT_eX]

[DOI]

Comput. J., 2012

Numerically Representing Stochastic Process Algebra Models.

[BibT_eX]

[DOI]

Comput. J., 2012

Fluid Approximation of CTMC with Deterministic Delays.

[BibT_eX]

[DOI]

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

Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation.

[BibT_eX]

[DOI]

Alireza Pourranjbar

Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

Fluid Model Checking.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway.

[BibT_eX]

[DOI]

Trans. Comp. Sys. Biology, 2011

A semantic equivalence for Bio-PEPA based on discretisation of continuous values.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

A semi-quantitative equivalence for abstracting from fast reactions

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

HYPE with stochastic events

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, 2011

Modelling Non-linear Crowd Dynamics in Bio-PEPA.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

A Reservation Optimised Advance Resource Reservation Scheme for Deploying RSVP in Mobile Environments.

[BibT_eX]

[DOI]

Wirel. Pers. Commun., 2010

On the Quality of Service of Crash-Recovery Failure Detectors.

[BibT_eX]

[DOI]

Tiejun Ma

Stuart Anderson

IEEE Trans. Dependable Secur. Comput., 2010

Modelling and Analysis of the NF-<i>kappa</i>B Pathway in Bio-PEPA.

[BibT_eX]

[DOI]

Trans. Comp. Sys. Biology, 2010

Numerically Representing A Stochastic Process Algebra

[BibT_eX]

[DOI]

CoRR, 2010

Modeling biological systems with delays in Bio-PEPA

[BibT_eX]

[DOI]

Giulio Caravagna

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

Fundamental Results on Fluid Approximations of Stochastic Process Algebra Models

[BibT_eX]

[DOI]

CoRR, 2010

Investigating modularity in the analysis of process algebra models of biochemical systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010

VERIFICATION AND TESTING OF BIOLOGICAL MODELS.

[BibT_eX]

[DOI]

Proceedings of the 2010 Winter Simulation Conference, 2010

Hybrid Semantics for PEPA.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

Process Algebras for Collective Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Reconciling Population and Agent Models for Crowd Dynamics.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility, 2010

Evaluating the Response Time of Large Scale Content Adaptation Systems Using Performance Evaluation Process Algebra.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2010

Structural Analysis for Stochastic Process Algebra Models.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2010

2009

Performance Modelling of Content Adaptation for a Personal Distributed Environment.

[BibT_eX]

[DOI]

Wirel. Pers. Commun., 2009

Guest Editors' Introduction to the Special Issue on Quantitative Evaluation of Computer Systems.

[BibT_eX]

[DOI]

Marta Z. Kwiatkowska

Miklós Telek

IEEE Trans. Software Eng., 2009

Process Algebra Modelling Styles for Biomolecular Processes.

[BibT_eX]

[DOI]

Muffy Calder

Trans. Comp. Sys. Biology, 2009

Bio-PEPA: A framework for the modelling and analysis of biological systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

Bio-PEPA for Epidemiological Models.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, 2009

Cost-based admission control for Internet Commerce QoS enhancement.

[BibT_eX]

[DOI]

Yussuf Abu-Shaaban

Electron. Commer. Res. Appl., 2009

Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA

[BibT_eX]

[DOI]

Stuart L. Moodie

Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

Design and Development of Software Tools for Bio-PEPA.

[BibT_eX]

[DOI]

Adam Duguid

Stephen T. Gilmore

Proceedings of the 2009 Winter Simulation Conference, 2009

The Bio-PEPA Tool Suite.

[BibT_eX]

[DOI]

Adam Duguid

Proceedings of the QEST 2009, 2009

Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009

HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Equivalence and Discretisation in Bio-PEPA.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

Deriving Differential Equations from Process Algebra Models in Reagent-Centric Style.

[BibT_eX]

[DOI]

Adam Duguid

Proceedings of the Algorithmic Bioprocesses, 2009

2008

Relating continuous and discrete PEPA models of signalling pathways.

[BibT_eX]

[DOI]

Nil Geisweiller

Marco Stenico

Theor. Comput. Sci., 2008

Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

Performance evaluation comes to life: quantitative methods applied to biological systems.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2008

Foreword.

[BibT_eX]

[DOI]

SIGMETRICS Perform. Evaluation Rev., 2008

Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models.

[BibT_eX]

[DOI]

Jeremy T. Bradley

Stephen T. Gilmore

J. Comput. Syst. Sci., 2008

HYPE Applied to the Modelling of Hybrid Biological Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, 2008

Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

Improved Continuous Approximation of PEPA Models through Epidemiological Examples.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

Process Algebras in Systems Biology.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Computational Systems Biology, 2008

An SMR based advance resource reservation scheme for combined mobility and QoS Provisioning.

[BibT_eX]

[DOI]

Proceedings of the IEEE 19th International Symposium on Personal, 2008

Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra.

[BibT_eX]

[DOI]

Proceedings of IEEE International Conference on Communications, 2008

The Distribution of Mutational Effects on Fitness in a Simple Circadian Clock.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

Integrated Analysis from Abstract Stochastic Process Algebra Models.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

2007

Formal techniques for performance analysis: blending SAN and PEPA.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2007

A Structural Approach for Modelling Performance of Systems Using Skeletons.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks.

[BibT_eX]

[DOI]

Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

Quantitative analysis of biochemical signalling pathways.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

Stochastic Process Algebras.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Performance Evaluation, 2007

Evaluation of the QoS of crash-recovery failure detection.

[BibT_eX]

[DOI]

Tiejun Ma

Stuart Anderson

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Modeling, 2007

Modelling Yeast Pre-rRNA Processing.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

2006

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA.

[BibT_eX]

[DOI]

Muffy Calder

Trans. Comp. Sys. Biology, 2006

A design environment for mobile applications.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

A Function-Equivalent Components Based Simplification Technique for PEPA Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Stochastic Models for Performance Evaluation, 2006

Population models from PEPA descriptions.

[BibT_eX]

[DOI]

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.

[BibT_eX]

[DOI]

Adelinde M. Uhrmacher

Proceedings of the Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006, 2006

Stronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, International Conference, 2006

2005

Evaluating the performance of pipeline-structured parallel programs with skeletons and process algebra.

[BibT_eX]

[DOI]

Scalable Comput. Pract. Exp., 2005

Tuning Systems: From Composition to Performance (The Needham Lecture).

[BibT_eX]

[DOI]

Comput. J., 2005

Scheduling Skeleton-Based Grid Applications Using PEPA and NWS.

[BibT_eX]

[DOI]

Comput. J., 2005

Fluid Flow Approximation of PEPA models.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 2005

Using eSkel to Implement the Multiple Baseline Stereo Application.

[BibT_eX]

Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005

Process Algebras for Quantitative Analysis.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

Flexible Skeletal Programming with eSkel.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30, 2005

Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

2004

Towards a Feasible Active Networking Scenario.

[BibT_eX]

[DOI]

Amdjed Mokhtari

Telecommun. Syst., 2004

Securing Statically-verified Communications Protocols Against Timing Attacks.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Practical Applications of Stochastic Modelling, 2004

Software performance modelling using PEPA nets.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Software and Performance, 2004

Analysing UML 2.0 activity diagrams in the software performance engineering process.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Software and Performance, 2004

Modelling Mobility with PEPA Nets.

[BibT_eX]

[DOI]

Proceedings of the Computer and Information Sciences, 2004

Evaluating the Performance of Skeleton-Based High Level Parallel Programs.

[BibT_eX]

[DOI]

Proceedings of the Computational Science, 2004

PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application.

[BibT_eX]

[DOI]

Proceedings of the Applying Formal Methods: Testing, Performance and M/ECommerce, 2004

2003

PEPA nets: a structured performance modelling formalism.

[BibT_eX]

[DOI]

Perform. Evaluation, 2003

PEPA Nets.

[BibT_eX]

[DOI]

Proceedings of the Performance Tools and Applications to Networked Systems, 2003

Performance Evaluation for Global Computation.

[BibT_eX]

[DOI]

Proceedings of the Global Computing. Programming Environments, 2003

2002

Unified specification and performance evaluation using stochastic process algebras.

[BibT_eX]

[DOI]

Roberto Gorrieri

Ulrich Herzog

Perform. Evaluation, 2002

Product form solution for an insensitive stochastic process algebra structure.

[BibT_eX]

[DOI]

Graham Clark

Perform. Evaluation, 2002

PEPA Nets: A Structured Performance Modelling Formalism.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation, 2002

2001

An Efficient Algorithm for Aggregating PEPA Models.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2001

Performance investigation of an on-line auction system.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2001

A Comparison of the Expressiveness of SPA and Bounded SPN Models.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

An Efficient Kronecker Representation for PEPA Models.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2001

2000

Amalgamation of Transition Sequences in the PEPA Formalism.

[BibT_eX]

J. Tomasik

Proceedings of the ICALP Workshops 2000, 2000

The PEPA Feature Construct.

[BibT_eX]

[DOI]

Proceedings of the Language Constructs for Describing Features, 2000

Exploiting Structure in Solution: Decomposing Compositional Models.

[BibT_eX]

[DOI]

Proceedings of the Lectures on Formal Methods and Performance Analysis, 2000

Exploiting Modal Logic to Express Performance Measures.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 2000

1999

Product Form Solution for a Class of PEPA Models.

[BibT_eX]

[DOI]

Nigel Thomas

Perform. Evaluation, 1999

Experiences with the PEPA performance modelling.

[BibT_eX]

[DOI]

IEE Proc. Softw., 1999

Specifying Performance Measures for PEPA.

[BibT_eX]

[DOI]

Graham Clark

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1995

A Tool to Enhance Model Exploitation.

[BibT_eX]

[DOI]

Perform. Evaluation, 1995

A Simple Time Scale Decomposition Technique for Stochastic Process Algebras.

[BibT_eX]

[DOI]

Vassilis Mertsiotakis

Comput. J., 1995

Exploiting Quasi-reversible Structures in Markovian Process Algebra Models.

[BibT_eX]

[DOI]

Peter G. Harrison

Comput. J., 1995

Process Algebras and their Application to Performance Modelling: Proceedings of the Third Workshop on Process Algebra and Performance Modelling Edinburgh, Scotland.

[BibT_eX]

[DOI]

Comput. J., 1995

A comparison of performance evaluation process algebra and generalized stochastic Petri nets.

[BibT_eX]

[DOI]

Susanna Donatelli